turing-machines
-
PCP 可以识别吗？
-
TM能识别但TM不能决定的语言？
-
证明语言的长度除以 2 是不可判定的
-
什么是图灵机语言？
-
创建一个特定的图灵机
-
递归和递归可枚举语言有什么区别
-
随机访问数组的时间复杂度
-
如果确定性图灵机决定了语言 L，是否意味着它也决定了 L 的补语？
-
这里写的花哨的 R 符号是什么意思？
-
我可以在图灵机中使用堆栈吗？
-
图灵机箭头定义
-
使用图灵机指定给定序列的成员
-
路径从 's' 到 't' 的有向图的多项式时间算法
-
图灵机设计
-
请解释这个用 Prolog 编写的图灵机模拟器
-
关于NP的一些推论
-
NP 和 3-SAT 以及一个事实
-
添加程序不起作用
-
为什么我们需要在图灵的停机证明中使用否定部分？
-
运行 程序在确定性和非确定性图灵机上的时间