有限存儲的計算機等價於有限自動機（DFA、NFA）

B={0n1n|n≥0} B = { 0 n 1 n | n ≥ 0 } Michael Sipser 的 Introduction to the Theory of Computation 的1.4提到一個非正則語言的例子， B={0n1n|n≥0} B = { 0 n 1 n | n ≥ 0 } ，並用Pumping lemma證明了其是非正則的，無法被DFA識別 但是我們的計算機似乎可以識別

>>阅读原文<<