php 发表于 2006-10-1 20:35

求一个计算机理论题解，英文的也可以。

带有两个栈的下推自动机（PDA）等价于图灵机（Turingmachine）这个论题的详细推导证明过程。谢谢

天上的一片云 发表于 2006-10-10 04:09

这个证明，去图书馆，找Theoretische Informatik方面的书，一定会找到证明的。
页: [1]
查看完整版本: 求一个计算机理论题解，英文的也可以。