作者noctem (noctem)
看板CSSE
标题Re: [情报] 程式语言的定义？
时间Mon Jan 26 11:54:44 2009
（刚刚才看到这个讨论）
其实很多现在做程式语言的人讨论的语言都不是 Turing complete 的呢。
例如，一个语言如果是 total 的（简单说就是所有程式对所有输入都会
正常终止），就不可能是 Turing complete. 不过近年来对这种语言的
需求还不少，尤其在定理证明方面。
参考:
http://flolac.iis.sinica.edu.tw/lambdawan/zh/node/96
此外，更早之前也有「所有写出的程式都是 P-time」的程式语言。那当
然也不会是 Turing complete 的。（Well, 这种所谓的「语言」大多只
是 lambda calculus 的变形。）
以及，许多 domain specific language 都不是 Turing complete.
Matlab... 应该可以算程式语言吧？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 123.110.26.77