邱池-杜林論題
中 文 邱池-杜林論題
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 邱池-杜林論題 | Church-Turing thesis | 【電子計算機名詞】 |
| 多項式定時邱池-杜林論題 | polynomial-time Church-Turing thesis | 【電子計算機名詞】 |
| 邱池論題 | Church thesis | 【電子計算機名詞】 |
| 杜林理論 | Turing's thesis | 【資訊與通信術語辭典】 |
| 杜林機停機問題 | halting problem of turing machine | 【資訊與通信術語辭典】 |
| 杜林理論 | Turing's thesis | 【電子計算機名詞】 |
| 杜林機停機問題 | halting problem of Turing machine | 【電子計算機名詞】 |
| 杜林，安東 | Dolin, Sir Anton (1904-1983) | 【舞蹈辭典】 |
| 邱池整數 | Church integer | 【資訊與通信術語辭典】 |
| 通用杜林機 | universal Turing machine | 【資訊與通信術語辭典】 |
| 二維杜林機 | two-dimensional Turing machine | 【資訊與通信術語辭典】 |
| 杜林機 | Turing machine | 【資訊與通信術語辭典】 |
| 編碼杜林機 | encoded Turing machine | 【資訊與通信術語辭典】 |
| 有界反向杜林計算機 | bounded reversal Turing machine | 【電子計算機名詞】 |
| 邱池整數 | Church integer | 【電子計算機名詞】 |
| 基本杜林機 | basic Turing machine | 【電子計算機名詞】 |
| 替用杜林機 | alternating Turing machine | 【電子計算機名詞】 |
| 通用杜林機 | universal Turing machine | 【電子計算機名詞】 |
| 帶限制杜林機 | tape bounded Turing machine | 【電子計算機名詞】 |
| 空間有界杜林機 | space-bounded Turing machine | 【電子計算機名詞】 |