Myhill isomorphism theorem

• abstract: In computability theory the Myhill isomorphism theorem, named after John Myhill, provides a characterization for two numberings to induce the same notion of computability on a set.

以上来源于: WordNet