Kleene [13] uses a similar approach, based on Turing machine encodings over an alphabet of fifteen symbols, which are then translated into pentadecimal numbers.