turing-machines
-
用于二进制数加法和比较的图灵机
-
设计计算二进制数奇偶校验的图灵机
-
设计接受语言 L= {a^n+1 b^2n c^3n: n>=0} 的图灵机
-
使用图灵可判定语言的闭包结果
-
可计算性——图灵机可以计算输入的长度吗？
-
图灵机接受来自 3 个字符字母表的字符串
-
图灵论可计算数字 - 我无法理解如何重现示例
-
有些东西是不可计算的，它可以共同递归枚举吗？
-
Link 在计算模型、计算机系统架构和编程范例之间
-
"Is n divisible with 23?" 的可判定性
-
运行 自身的 UTM 及其描述
-
如何正式描述图灵机的这个算法？
-
擦除其输入的图灵机
-
让 T = {<M> | M 是一个 TM，只要它接受 w} 就接受 $w^R$。证明 T 是不可判定的
-
Python 中的图灵自动机
-
语言 {⟨A⟩∩A 是 NFA 并且 L(A)={0,1}∗} 是可判定的吗？可决定的？
-
L = { <M> : TM 不接受任何东西 }
-
图灵机什么时候有最终状态？
-
设计接受语言 L= {a^2 b^2n: n>=1} 的图灵机
-
图灵机：取两个数字的mod？