computation-theory
-
如果 A 在 RP 中，并且存在从 B 到 A 的多项式时间减少，那么 B 在 RP 中？
-
numpy.linalg.eig 创建的特征向量有点而不是数据
-
是否可以编写一个避免无限递归的序言解释器？
-
ROM可以叫SAM(Sequential Access Memory)吗？
-
线性有界自动机中的标记定位
-
证明我们可以决定图灵机是否对某些输入至少采取 100 步
-
在非确定性有限自动机（NFA）中，当有两个或多个转换时，如何选择下一个branch/transition？
-
NFA 不接受以“101”结尾的字符串
-
如何将此描述翻译成一种语言？
-
具有将二进制转换为十进制的一种状态的图灵机
-
是否递归设置
-
如何用 lambda 术语定义带有教会数字的函数？
-
阿姆达尔定律的负加速？
-
带括号的逻辑运算符的上下文无关文法的实现
-
使用 python 中的对称差异从两个字符串制作 Anagrams 的计算成本
-
您如何证明一个简单的无意义代码是否可计算？
-
如何得到这个例子中的第二个最左边的推导？
-
一堆下推自动机如何接受无限大的字符串？
-
冯诺依曼模型和图灵模型实际上不是一回事吗？
-
给定的语言是有效的 CFG 吗？