En consecuencia, toda máquina de Turing puede codificarse como una cadena sobre el alfabeto {0, 1}.