非回文的上下文无关语法
我需要一个 CFG 来生成回文以外的字符串。解决方案已经提供，如下所示。（计算理论简介 - Sipser） R -> XRX | S S -> aTb | bTa T -> XTX | X | X ->…
基于PAC-learning框架的计算学习理论
考虑一种从训练集进行训练的机器学习算法，在 PAC 学习模型的帮助下，我们得到了所需训练样本大小的界限，因此误差受限的概率（通过 epsilon）是有界…
计算数组的所有子集，其中最大数字是剩余数字的总和
我一直在努力应对 Greplin 挑战的第 3 级。对于那些不熟悉的人来说，问题如下： 您必须找到数组的所有子集，其中最大数字是其余数字的总和。例如，对…
0,1 上的双字补码的上下文无关语法是什么？
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 这个问题似乎与帮助中心中定义的范围内…
理解计算理论中的识别器和决策器
我在理解机器识别和决定语言的含义时遇到了一些困难。我认为我接近定义但不正确。 当有人说图灵机 T 识别语言 L where L = { | A is a DFA } 其中 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 问题和找到分解 α 问题的…
