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

我想知道MATLAB是否是[URL="http://en.wikipedia.org/wiki/Turing_completeness"]Turing完整的[/URL] （=计算通用，即“是否可以用来模拟任何单带式Turing机器”）？


回答：
图灵的完善对于现实世界的语言来说确实是一个很低的门槛。根据[URL="http://en.wikipedia.org/wiki/Turing_completeness"]维基百科[/URL] （重点是我的）：
[INDENT]为了表明某件东西是图灵完整的，足以表明它可以用来模拟某些图灵完整的系统。例如，如果命令式语言具有[B]条件[/B] [B]分支[/B] （例如，“ if”和“ goto”语句，或“分支如果为零”，请参见OISC）指令，并且[B]具有更改任意内存[/B] [B]位置[/B]的[B]能力[/B] （例如，保持任意数量的变量的能力）。因为几乎总是这样，所以如果我们忽略有限内存的任何限制，大多数（如果不是全部）命令式语言都是图灵完备的。

[/INDENT]除此之外，MATLAB还具有相对较现代的[URL="http://en.wikipedia.org/wiki/Third-generation_programming_language"]3GL[/URL] / [URL="http://en.wikipedia.org/wiki/Fourth-generation_programming_language"]4GL[/URL]所期望的许多功能。它具有VM，I / O，用户界面构造，数学运算符（显然），数据类型，用户定义的函数等功能。您甚至可以在Matlab环境之外交付Matlab程序。

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



[url=https://stackoverflow.com/questions/694058]更多&回答...[/url]