C++是一种图灵完备的语言吗



C++是图灵完备的语言吗?

显然是这样,但如何在实践中证明这一点呢?

是否有一个可重复性最低的例子表明情况确实如此?

是的,来自维基百科图灵完整性

要证明某些东西是图灵完备的,就足以证明它可以用来模拟一些图灵完备系统。例如如果命令式语言有条件,那么它就是图灵完备的分支(例如,"if"one_answers"goto"语句,或者"branch if zero";指示参见一台指令集计算机(以及更改任意数量的内存(例如,保持任意数量的数据项(。

然后命令式语言将C++列为这样。

我不是计算理论专家,但作为经验定律,如果一种语言支持条件分支,即它必须支持if语句并转到指令,那么它就被宣布为图灵完备。因此,大多数语言都是"完成"。

参考。https://en.m.wikipedia.org/wiki/Turing_completeness

最新更新