0,1 上的双字补码的上下文无关语法是什么？
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 这个问题似乎与帮助中心中定义的范围内…
理解计算理论中的识别器和决策器
我在理解机器识别和决定语言的含义时遇到了一些困难。我认为我接近定义但不正确。 当有人说图灵机 T 识别语言 L where L = { <A> | A is a DFA } …
最小化有限状态自动机
我正在尝试最小化此 DFA： http://img145.imageshack.us/img145/3006 /dfac.png 这是我的最小化 DFA：http://img195.imageshack。 us/img195/4131/mdf…
可以仅用两个带符号构建图灵机吗？
包含任意数量磁带符号的图灵机 M 可以通过仅包含三个磁带符号的 M' 来模拟：{0, 1, B}（B = 空白）。 M 可以用只有两个磁带符号（例如 {1, B}）的 M" …
证明有限字母表上所有语言的集合是不可数的
尝试做一些修改，但不确定这一点： 证明有限字母表上所有语言的集合是不可数的。 我有一种感觉，需要使用 Cantor Diagonalization 方法 - 但我不确定…
证明因式分解问题 α处于 NP 状态
试图温习计算理论，但不确定解决方案： Prove that the problem of factoring α is in NP. 我有一种感觉，这可能与寻找 NP 问题和找到分解 α 问题的…
示例问题不在 P 中，也不在 NP 完全中，但在 NP 中
我在大学有一门叫做算法分析的课程，我们目前正在研究不同的复杂性类别——P、NP、NP-hard 等。 我们已经讨论了 NP 完全问题作为 NP 和 NP-hard 之间…
