看板 [ CSSE ]
討論串[情報] 程式語言的定義？
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[情報] 程式語言的定義？
推噓8(8推 0噓 8→)留言16則，0人參與, 最新作者Euler (http://0rz.tw/4951Z )時間16年前 (2008/12/25 18:07), 編輯資訊
0
0
0
內容預覽:
為什麼有些一樣要寫的東西. 嚴格來說卻不被歸類為程式語言呢. ex.Matlab(我突然只想到這個). --. 同樣都是沒帥沒錢的兩種人：. 有女友的人之所以交得到女友，是因為他們喜歡有女友的人。. 沒女友的人之所以總是沒女友，是因為他們厭惡有女友的人。. 有女友的人總是樂觀，他們認為世界還是很多好
#2
Re: [情報] 程式語言的定義？
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者noctem (noctem)時間16年前 (2009/01/26 11:54), 編輯資訊
0
0
1
內容預覽:
（剛剛才看到這個討論）. 其實很多現在做程式語言的人討論的語言都不是 Turing complete 的呢。. 例如，一個語言如果是 total 的（簡單說就是所有程式對所有輸入都會. 正常終止），就不可能是 Turing complete. 不過近年來對這種語言的. 需求還不少，尤其在定理證明方面
(還有142個字)
首頁
上一頁
1
下一頁
尾頁