The set of codes of even length is not an index set because code length is syntactic rather than a property of . By the padding lemma, every computably enumerable language has equivalent machine descriptions of arbitrarily many lengths, in particular descriptions of both parities. Hence equal recognized languages need not give equal membership.
Articles by others on the same topic
There are currently no matching articles.