图灵完备适合如何定义?

本贴最后更新于 354 天前,其中的信息可能已经事过境迁

https://gitlab.com/the-language/the-language

定义为直觉上可以描述所有可计算算法?
定义为与 lambda calculus 或图灵机等价?

1 回帖
请输入回帖内容...
  • HollowMouse

    个人理解能作为图灵机的规则的语言就是图灵完备,即可实现按规则对不同情况进行特定的 读 解 写 的通用操作,即图灵机的定义。一般完整的语言都是图灵完备的

    zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E6%9C%BA

    en.wikipedia.org/wiki/Turing_completeness