看板 [ PLT ]
討論串[問題] 程式語言大部分是 Turing Complete 的嗎？
共 6 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#6
Re: [問題] 程式語言大部分是 Turing Complete 的嗎？
推噓2(2推 0噓 4→)留言6則，0人參與, 最新作者xcycl (XOO)時間15年前 (2009/07/06 23:24), 編輯資訊
0
0
0
內容預覽:
根據 Pierce 書上的定義，或是 wikipedia 上的解釋，. 都是在 typing rule 上加上這條 subsumption：. Γ├ t : S , S ≦ T. -------------------. Γ├ t : T. 以及滿足. S ≦ S (reflexive). S ≦
(還有154個字)
首頁
上一頁
1
2
下一頁
尾頁