面向程序员的原始递归函数

本文讨论了图灵完备性的概念，并指出在实践中，非图灵完备性并不像人们通常认为的那样重要。作者通过介绍有限状态机、图灵机和原始递归函数，证明了任何在图灵机上运行并在原始递归函数时间内终止的算法都可以用原始递归函数实现。文章还探讨了良好配置语言的特性，包括确定性、定义明确、纯洁性、安全性、沙盒化和简单性，并指出非图灵完备性本身并不能保证这些特性。