递归可枚举的语言是否相等是可以决定的？
如果L1和L2都可以递归枚举，那么问题L1 = L2在算法上...
如何在Agda中定义归纳定义类型的子公式？
我正在尝试定义一个简单的谓词，以确定一个公式是否...
在AGDA中为泛型归纳类型定义可确定的相等性
下面，我有一些公式的普通归纳数据类型，并且想知道...
从通用语言L_u的补语到非空语言图灵机语言L_ne的“还原”
我有一个来自理论计算机科学领域的问题。 所谓的通用...
寻找包含列表可判定相等性的 Agda 模块
给定两个列表 xs 和 ys，我想获得 Dec(xs ≡ ys) 的...
无法确定 TM 是否覆盖其输入？
我遇到了一个声明，它假设 TM 是否覆盖了它自己的任...
图灵机中的递归与递归可枚举语言？
我们说语言<strong>L</strong>是<em...
一个集合的大小界限的可识别性
试图自学计算理论，偶然发现了这个问题： 假设我们有...
如何证明 cfg 是 T 可识别但不可判定的？
我正在练习 Sipser 书中的练习，而这让我很难受： 如...