为什么这是一个无效的图灵机？
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 这个问题似乎与帮助中心中定义的范围内…
计算理论中的重要主题
Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题？更新问题，以便可以通过编辑这篇文章用事实和…
其结果仅取决于其参数的函数的名称是什么？
我正在编写一个玩具编译器，如果结果仅取决于参数的值，它可以优化函数调用。因此，像 xor 和 concatenate 这样的函数仅依赖于它们的输入，使用相同的…
如何编写所有可计算函数的枚举？
动机：我希望能够通过使用自然数而不是函数，在没有一阶函数的语言中使用玩具函数式编程。 通用函数是函数 f : N → (N -> N)，相当于 f : N * N -&…
