turing-machines
-
证明我们可以决定图灵机是否对某些输入至少采取 100 步
-
为什么 NP 问题不能用确定性图灵机解决，但是每个 NTM 都有 TM
-
图灵机中的递归和递归可枚举语言？
-
图灵机算法
-
使用上下文无关语法指定的编程语言如何能够表达图灵机？
-
具有将二进制转换为十进制的一种状态的图灵机
-
是否递归设置
-
纯 Prolog 图灵完备吗？如果是，为什么它不能实现列表交集？
-
图灵机和算法有什么区别？
-
从方程设计图灵机
-
冯诺依曼模型和图灵模型实际上不是一回事吗？
-
在不使用循环的情况下使用 JavaScript 生成语言字符串 anbcn 的最简洁方法是什么？
-
图灵机和密码
-
如何从字母表创建一台机器
-
图灵机和可判定性
-
在图灵机中将两个二进制数相乘
-
是否存在一种不是图灵可识别的常规语言？
-
通过构建枚举器证明 L∈RE
-
如何设计除以两个数的图灵机？
-
建立一个确定性的磁带图灵机