邁希爾同構定理

邁希爾同構定理（Myhill isomorphism theorem）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：邁希爾同構定理
• 外文名：Myhill isomorphism theorem
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

定理如下：給定自然數集合 A,B,A 可計算同構於 B 若且唯若 AB 而且 BA 同時成立。

公布時間

2018年，經全國科學技術名詞審定委員會審定發布。

出處

《計算機科學技術名詞 》 (第三版)。