图灵完备

2019独角兽企业重金招聘Python工程师标准>>> hot3.png

简单判定图灵完备的方法就是看该语言能否模拟出图灵机

图灵不完备的语言常见原因有循环或递归受限(无法写不终止的程序,如 while(true){}; ), 无法实现类似数组或列表这样的数据结构(不能模拟纸带). 这会使能写的程序有限

图灵完备可能带来坏处, 如C++的模板语言, 模板语言是在类型检查时执行, 如果编译器不加以检查,我们完全可以写出使得C++编译器陷入死循环的程序.

图灵不完备也不是没有意义, 有些场景我们需要限制语言本身. 如限制循环和递归, 可以保证该语言能写的程序一定是终止的.

作者:拿铁大
链接:https://www.zhihu.com/question/20115374/answer/14708747
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

转载于:https://my.oschina.net/wdyoschina/blog/888181

你可能感兴趣的:(图灵完备)