可以通过PDA模拟每个DFA吗？

Question

鉴于确定性有限自动机（DFA）M_1，是否始终存在与M_1接受相同语言的下推自动机（PDA）M_2？即可以通过PDA模拟任何DFA吗？直观地说，PDA更有意义，因为它具有任意数量的内存，因此可以接受比DFA更多的语言，但是怎么可能这是正式证明的吗？

Answer 1

有限自动机只不过是不使用其内存的图灵机。 PDA只不过是图灵机，它将对内存的访问限制为LIFO。

因此，有限自动机 是PDA。