turing-machines
-
用确定性图灵机模拟非确定性图灵机[JFLAP]
-
图灵机可判定性模棱两可的情况
-
图灵机中的宏究竟是如何工作的？
-
证明一种语言在 RE/R/coRE
-
1^3^n 对于 n>=1 图灵机
-
图灵机找出磁带上出现次数最多的字符
-
图灵机算法
-
AmodB函数图灵机
-
图灵机方程与模
-
图灵机可以处理十进制数吗？
-
什么都不接受的图灵机如何不是递归可枚举的？
-
如何找到以下语言的补语？
-
为什么 lambda 转换不在图灵机中？
-
检查2种语言是否是图灵可识别的或co-Turing可识别的
-
将语言分类为图灵可识别或协同图灵可识别
-
图灵可识别语言是否可判定？
-
按字典序枚举图灵可识别语言
-
如何将 CFG 转换为图灵机
-
证明半可判定语言
-
什么是逮捕定理？