首页
标签
decidable
有一个决策者决定{<M>|M是TM和|L(M)|=n}，建立一个决策者决定n-1
精益抱怨它看不到一个陈述是可判定的
证明这种语言是可判定的还是不可判定的
无法为可判定语言创建算法
为什么知道是否需要某块内存是不可判定的？
在 Agda 中证明子集的可判定性
证明语言的长度除以 2 是不可判定的
是否可以在任何互归纳类型上确定相等性？
P 不可判定且不可半判定，Q 不可判定且半可判定且 P ⊂ Q
NP 和 3-SAT 以及一个事实
1
2