Encoding Alphabets in Binary Words

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…