Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
A program using O(1) space is computationally equivalent to a finite automata. 计算理论讨论区 • fa2
全排列算法是否属于NP 计算理论讨论区 •
最 “复杂” 的图灵机 计算理论讨论区 •
About Turing-complete Language 计算理论讨论区 • turing-machine1 turing-complete1
尚无回复
about inherently ambiguous 计算理论讨论区 • cfg2
关于 Problem 7.49 的证明 计算理论讨论区 •
在龙书看到这个说法 计算理论讨论区 • cfg2 fa2
为什么不认同“有限存储图灵机等价于DFA” 计算理论讨论区 •
未解决 一个关于康托对角线的构造 计算理论讨论区 •
名为One-More-State 的图灵机的构造 计算理论讨论区 •
已解决 可否如此理解“无穷bit串” 不属于$\Sigma^*$ 计算理论讨论区 •
构造竞赛游戏 计算理论讨论区 • itoc1
关于Theorem 5.3证明的一个细节 计算理论讨论区 •
已解决 习题 1.65一个反例 计算理论讨论区 •
未解决 对停机问题的证明的“错误”推广 计算理论讨论区 •
停机问题的几种证法 计算理论讨论区 •
What are your favorite books on Complexity Theory? 计算理论讨论区 •
证明正则并运算的封闭性时为什么没有证明构造出的状态机只能接受那些字符串 计算理论讨论区 •
与 图灵班论坛 的连接断开,我们正在尝试重连,请耐心等待