遞迴可枚舉語言
中 文 遞迴可枚舉語言
英 文 recursively enumerable language
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 遞迴可枚舉語言 | recursively-enumerable language | 【電子計算機名詞】 |
| 遞迴可枚舉語言 | recursively enumerable language | 【電子計算機名詞】 |
| 遞迴可枚舉集 | recursively enumerable set | 【電子計算機名詞】 |
| 可延伸語言 | extensible language | 【資訊與通信術語辭典】 |
| 可延伸語言 | extensible language | 【電子工程】 |
| 快速可擴充語言 | rapidly extensible language | 【電子計算機名詞】 |
| 不可枚舉算法 | nonenumerative algorithm | 【電子計算機名詞】 |
| 可識別語言 | identifiable language | 【電子計算機名詞】 |
| Galaxy 可擴充語言 | Galaxy | 【電子計算機名詞】 |
| 可枚舉集 | enumerable set | 【電子計算機名詞】 |
| 可擴充語言 I | Extensible Language One | 【電子計算機名詞】 |
| 可延伸語言設施 | extensible language facility{=ELF} | 【電子計算機名詞】 |
| 可延伸語言 | extensible language | 【電子計算機名詞】 |
| 可計數的；可枚舉的 | enumerable | 【數學名詞】 |
| 可計數性；可枚舉性 | enumerability | 【數學名詞】 |
| 遞迴可數集 | recursively enumerable set | 【數學名詞-兩岸數學名詞 】 |
| 遞迴可公理化 | recursively axiomatizable | 【數學名詞-兩岸數學名詞 】 |
| 遞迴可數集 | recursively enumerable set | 【數學名詞】 |
| 遞迴可公理化 | recursively axiomatizable | 【數學名詞】 |
| 遞迴可實現性 | recursive realizability | 【數學名詞】 |