迈希尔同构定理

（计算机科学技术）

迈希尔同构定理（Myhill isomorphism theorem），计算机科学技术名词，定理如下：给定自然数集合 A，B，A 可计算同构于 B 当且仅当 AB 而且 BA 同时成立。