遞迴可枚舉語言
中 文 遞迴可枚舉語言
英 文 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 | 【數學名詞】 |