Similarmente, nuestra construcción asocia a cada cadena binaria "α", una máquina de Turing "Mα".