（剛剛才看到這個討論）
其實很多現在做程式語言的人討論的語言都不是 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