poster
2019-12-10, 16:49
我想知道MATLAB是否是Turing完整的 (http://en.wikipedia.org/wiki/Turing_completeness) （=计算通用，即“是否可以用来模拟任何单带式Turing机器”）？
回答：
图灵的完善对于现实世界的语言来说确实是一个很低的门槛。根据维基百科 (http://en.wikipedia.org/wiki/Turing_completeness) （重点是我的）：
为了表明某件东西是图灵完整的，足以表明它可以用来模拟某些图灵完整的系统。例如，如果命令式语言具有条件 分支 （例如，“ if”和“ goto”语句，或“分支如果为零”，请参见OISC）指令，并且具有更改任意内存 位置的能力 （例如，保持任意数量的变量的能力）。因为几乎总是这样，所以如果我们忽略有限内存的任何限制，大多数（如果不是全部）命令式语言都是图灵完备的。
除此之外，MATLAB还具有相对较现代的3GL (http://en.wikipedia.org/wiki/Third-generation_programming_language) / 4GL (http://en.wikipedia.org/wiki/Fourth-generation_programming_language)所期望的许多功能。它具有VM，I / O，用户界面构造，数学运算符（显然），数据类型，用户定义的函数等功能。您甚至可以在Matlab环境之外交付Matlab程序。
请注意，这是否是一种好语言是完全不同的问题。
更多&回答... (https://stackoverflow.com/questions/694058)
回答：
图灵的完善对于现实世界的语言来说确实是一个很低的门槛。根据维基百科 (http://en.wikipedia.org/wiki/Turing_completeness) （重点是我的）：
为了表明某件东西是图灵完整的，足以表明它可以用来模拟某些图灵完整的系统。例如，如果命令式语言具有条件 分支 （例如，“ if”和“ goto”语句，或“分支如果为零”，请参见OISC）指令，并且具有更改任意内存 位置的能力 （例如，保持任意数量的变量的能力）。因为几乎总是这样，所以如果我们忽略有限内存的任何限制，大多数（如果不是全部）命令式语言都是图灵完备的。
除此之外，MATLAB还具有相对较现代的3GL (http://en.wikipedia.org/wiki/Third-generation_programming_language) / 4GL (http://en.wikipedia.org/wiki/Fourth-generation_programming_language)所期望的许多功能。它具有VM，I / O，用户界面构造，数学运算符（显然），数据类型，用户定义的函数等功能。您甚至可以在Matlab环境之外交付Matlab程序。
请注意，这是否是一种好语言是完全不同的问题。
更多&回答... (https://stackoverflow.com/questions/694058)