我想知道图灵是否完整（在计算上通用）？

[poster]

我想知道MATLAB是否是Turing完整的 （=计算通用，即“是否可以用来模拟任何单带式Turing机器”）？


回答：
图灵的完善对于现实世界的语言来说确实是一个很低的门槛。根据维基百科 （重点是我的）：

为了表明某件东西是图灵完整的，足以表明它可以用来模拟某些图灵完整的系统。例如，如果命令式语言具有条件 分支 （例如，“ if”和“ goto”语句，或“分支如果为零”，请参见OISC）指令，并且具有更改任意内存 位置的能力 （例如，保持任意数量的变量的能力）。因为几乎总是这样，所以如果我们忽略有限内存的任何限制，大多数（如果不是全部）命令式语言都是图灵完备的。

除此之外，MATLAB还具有相对较现代的3GL / 4GL所期望的许多功能。它具有VM，I / O，用户界面构造，数学运算符（显然），数据类型，用户定义的函数等功能。您甚至可以在Matlab环境之外交付Matlab程序。

请注意，这是否是一种好语言是完全不同的问题。



更多&回答...