如果L1和L2都可以递归枚举，那么问题L1 = L2在算法上是否可确定？我知道检查两种常规语言是否相等是可
我正在尝试定义一个简单的谓词，以确定一个公式是否是通过简单的归纳定义语法定义的给定形式的子
下面，我有一些公式的普通归纳数据类型，并且想知道是否有任何方法可以简化此过程，以便在Agda内部
我有一个来自理论计算机科学领域的问题。
所谓的通用语言，L_u，由对 (M, w) 组成，使得 w \in L(M)
给定两个列表 xs 和 ys，我想获得 Dec(xs ≡ ys) 的值。
有谁知道包含这种操作符的标准库模块的名称吗？
我遇到了一个声明，它假设 TM 是否覆盖了它自己的任何输入是无法确定的。
什么是直觉和实际证明？
我们说语言<strong>L</strong>是<em>递归</em>，如果它是由TM<em>决定</em>。
<strong>L</strong> 是<em>递归可枚
试图自学计算理论，偶然发现了这个问题：
假设我们有两个集合：
<ol>
<li>{T | T 是图灵机，L(T)
我正在练习 Sipser 书中的练习，而这让我很难受：
如果 CFG G 中的变量 A 是必需的（即，它出现在属
