如何证明一门编程语言是图灵完备的?是否图灵完备,对语言来说会产生哪些影响?
对于函数式语言呢,更简单:已知 lambda 演算和图灵机等价,而函数式语言一般显然(我特别喜欢这个显然,XD)是 lambda 演算的超集,也完事了。熟悉图灵机的话就会知道,这是特别简单的一个模型,常见的编程语言要证明图灵完备,也就是模拟一个图灵机,那是特别简单的一件事。图灵完备这个事情的价值体现在计算机理论科学研究领域里,那里有一些看上去差异很大的计算模型,却可以通过模型之间互相模拟规约来证明它们在可计算性上等价,比如之前提到过的图灵机和 lambda 演算之间的等价性。4 = 同样每个状态编个号。
转载
2022-09-25 01:08:52 ·
973 阅读 ·
0 评论