有限存储的计算机等价于有限自动机（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识别 但是我们的计算机似乎可以识别

>>阅读原文<<