如何为 N 的所有有限子集定义编码函数？
为了处理可数集，我必须定义 N（自然数）的所有有限...
如何用 lambda 项中的 Church 数字定义函数？
如何用 lambda 项表达以下函数？ f(n) = T 如果 n !...
从通用语言L_u的补语到非空语言图灵机语言L_ne的“还原”
我有一个来自理论计算机科学领域的问题。 所谓的通用...
如何模拟一个while循环？
我遇到了问题。假设我有一种语言，只分配给变量，一...
如何证明如果 A 是简单的，那么 $A\times N$ 是 r.e.，但既不是递归的、创造性的，也不是简单的？
这是一个可计算性问题。这对我来说太复杂了，我不知...
如何知道语言是 conp 还是 np？
我前几天考试没通过，我有一个我不明白的问题。 问题...
如何知道问题是否属于 conp？
几天前我有一次考试，但没有通过。 有一个问题我没有...