turing-machines
-
证明这种语言是否可判定和可识别
-
在 Python 中表示图灵机的无限磁带的最有效方法是什么?
-
提高 TM 模拟器的性能
-
一个不属于输入语言的字符串怎么能让图灵机陷入死循环?
-
扫描并 运行 将多个输入合二为一 运行
-
构建一个非确定性图灵机
-
有没有办法从图灵机获得可接受的输入?
-
有一个决策者决定{<M>|M是TM和|L(M)|=n},建立一个决策者决定n-1
-
如何知道图灵机是否是决策者?
-
什么是映射缩减函数
-
是否可以解决某些有限函数的停机问题?
-
回文图灵机
-
有人可以向我解释这个图灵机代码吗?
-
类 R、RE coRE 与 P、NP、coNP 之间的关系是什么
-
我们怎么知道 NP 完全问题是 NP 中最难的?
-
计算 f(x)=x/2 的马尔可夫算法
-
C图灵机无限循环
-
证明这种语言是可判定的还是不可判定的
-
递归可枚举集和图灵机
-
无法为可判定语言创建算法