Suppose is an alphabet of size Take such that Then there is an injection which can be extended to an injection We say that codes . We can now extend our definitions of Computable, Computably Enumerable…