Maquina de turing

E={#x1#x2#,…#xl | cada xi pertence {0,1}*e xi != xj para cada i != j}.

a maquina funciona comparando x1 com x2 até xl, e então comparando x2 com x3 até xl, e assim por diante.