4 为什么线性有界自动机不如其他自动机流行？ 以我的经验，在可计算性理论课程中，上下文相关的语言和线性有界自动机经常被跳过或轻描淡写，甚至在一些著名的教科书中也没有涉及到，尽管有限自动下推自动机受到了很多关注。当然，为什么LBA的关注重点要比同业少呢？ 9 computability fl.formal-languages automata-theory
5 编写通用递归函数 关闭。这个问题是题外话。它当前不接受答案。 想改善这个问题吗？ 更新问题，使它成为理论计算机科学堆栈交换的主题。 3年前关闭。 通用递归函数是否有简短的显式构造？我所看到的所有定义都以某种方式涉及对Turing机器进行编号，这可能是可行的，但似乎很难且难以用高级编程语言（如Python，Haskell等）编写。 9 lo.logic computability pl.programming-languages