decidable
-
Z3 中有理数的线性问题是否可判定？
-
Z3：是非线性整数算术不可判定或半可判定的
-
证明我们可以决定图灵机是否对某些输入至少采取 100 步
-
图灵机中的递归和递归可枚举语言？
-
无法确定 TM 是否会覆盖其输入？
-
寻找包含列表可判定相等性的 Agda 模块
-
如何在 Agda 中定义归纳定义类型的子公式？
-
图灵机和可判定性
-
在 agda 的可决策性框架内工作
-
上下文无关语言是否是确定性上下文无关语言
-
是否存在仅由 1 个元素组成的非 RE 语言？
-
有些东西是不可计算的，它可以共同递归枚举吗？
-
"Is n divisible with 23?" 的可判定性
-
语言 {⟨A⟩∩A 是 NFA 并且 L(A)={0,1}∗} 是可判定的吗？可决定的？
-
图灵机可判定性模棱两可的情况
-
SMT 究竟是针对哪些量词完成的？
-
EPR片段中prenex量化的顺序是否重要？
-
检查2种语言是否是图灵可识别的或co-Turing可识别的
-
表明语言是可判定的
-
证明这种语言是否可判定和可识别