computability
-
如何用 lambda 术语定义带有教会数字的函数？
-
证明函数在给定语言中的不可表达性
-
证明一种语言是语法的一部分，反之亦然
-
您如何证明一个简单的无意义代码是否可计算？
-
在不使用循环的情况下使用 JavaScript 生成语言字符串 anbcn 的最简洁方法是什么？
-
图灵机和可判定性
-
通过以位为单位的长度确定程序的执行时间？
-
有些东西是不可计算的，它可以共同递归枚举吗？
-
为什么假设乘以 n 的时间复杂度是常数？
-
让 T = {<M> | M 是一个 TM，只要它接受 w} 就接受 $w^R$。证明 T 是不可判定的
-
子集大小为`k`的子集和是NPC？
-
为什么国际象棋、西洋跳棋、围棋等在EXP里，却被猜想在NP里？
-
程序能否决定任意程序是否因某些输入而停止？
-
是否存在可以解决 Vim 高尔夫问题的算法
-
Reduction函数是对应关系吗？
-
测量位序列复杂度的方法