Está en la página 1de 137

La Mquina Universal de Turing

Roberto Freijo Herraiz Alfonso de Lucas David

La mquina de Turing Universal (I)


encontrar un procedimiento efectivo para hacer un problema es equivalente a encontrar una mquina de Turing que lo resuelva Existe alguna SuperMquina que nos pueda resolver todos los problemas?

La mquina de Turing Universal (II)


Una mquina de Turing cualquiera:
MQUINA CON UN NMERO DE ESTADOS FINITO

CINTA DE PAPEL INFINTA (divida en celdas)

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

( X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

( X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

( X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E ( X X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E ( X X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E ( X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E ( X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X ( X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X ( X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X (

( X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X (

( X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X ( X X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X ( X X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X ( X X X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X ( X X X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X X X X X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X X X X X )

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X X X X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X X X X X X (

) E

Comprobador de Parntesis
HALT E/0 (/X START (/0 E/E HALT

L
)/X
Un 0 en la cinta indicar que la cadena de parntesis no es correcta.

L
E/1 HALT

0 X X X X X X X X X X X (

) E

La mquina de Turing Universal (III)


Una mquina de mquinas:
MQUINA CON UN NMERO DE ESTADOS FINITO

DATOS DE ENTRADA DE LA MAQUINA T

TUPLAS QUE DEFINEN LA MQUINA T

La mquina de Turing Universal (IV)


Cada tupla viene definida por:

INICIAL Estado Qi Lectura Si Estado Qj

FINAL
Escritura
Movimiento

Sj

D
(izq der)

La mquina de Turing Universal (V)


Cinta de entrada de la MUT
Descripcin de T

Estado de T

Smbolo de T

posicin inicial de la cinta

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 X X X 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
Q1 S1 Q11 S11 D11 Qi Sj Qij Sij Dij

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

Localizador de tuplas Copiador Desplazamiento de cabezal

X/X

Mquina Localizadora
LOCALIZADOR DE FICHEROS TURING A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT

1/B

L
START 1/B

R
B/1

L
1/B

X/X

R
nombre

0/A contenido

A COPIA nombre a localizar

0 0 0 Y 101 X 001 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 101 X 001 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 101 101 X 001 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 10 10B X 001 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X 001 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y BAB X 001 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y BAB X 001 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X 001 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X A01 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X A01 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X A01 011 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X A01 011 011 X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X A01 01 01B X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X A01 0BB X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X A01 A01 ABB X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X A0 A0B ABB X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X AAB ABB X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y BAB X AAB ABB X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y BAB X AAB ABB X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X AAB ABB X 101 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1AB X AAB ABB X B01 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 1A 1AB X AAB ABB X B01 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 10B X AAB ABB X B0 B01 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 10B X AAB ABB X BA1 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 10B 10B X AAB ABB X BA1 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 101 X AAB ABB X BA1 BA1 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 101 X AAB ABB X BAB 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 101 X AAB ABB X BAB 110 X 111 000 Y 0 0 0

Mquina Localizadora
R
A/0 X/X 0/A 0/A Y/Y Y/Y Y/Y HALT 1/B

L
START 1/B

R
B/1

L
1/B

X/X A COPIA

0/A

0 0 0 Y 101 X AAB ABB X BAB 110 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y 101 X AAB ABB X BAB 110 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y 101 X AAB ABB X BAB 110 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y 101 X AAB ABB X BAB 110 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y 101 X AAB ABB X BAB B10 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y 101 X AAB ABB X BAB B10 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y B01 X AAB ABB X BAB B10 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y B01 X AAB ABB X BAB B1 B10 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y B01 X AAB ABB X BAB BB0 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y B0 B01 X AAB ABB X BAB BB0 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BB1 X AAB ABB X BAB BB0 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BB1 X AAB ABB X BAB BB0 BB0 X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BB1 X AAB ABB X BAB BBA X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BB1 BB1 X AAB ABB X BAB BBA X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BBA X AAB ABB X BAB BBA X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BBA X AAB ABB X BAB BBA X 111 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BBA X AAB ABB X BAB BBA X B11 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BBA X AAB ABB X BAB BBA X B11 000 Y 0 0 0

Mquina Copiadora
X/X Y/Y HALT

L
0/A

0,1/A

R
Desde la 1/B mquina localizadora

X/X

L
Y/Y

R
X/X

0,1/B HALT

0 0 0 Y BBA X AAB ABB X BAB BBA X B11 000 Y 0 0 0


copia el contenido del fichero en el bloque que contena el nombre original

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 1 X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 1 X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 10 B X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BA B X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BA B X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X A0 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X A0 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X A0 1 01 1 A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X A0 1 01 01 B A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X A0 1 0B B A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X A0 1 AB B A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X A0 A0 B AB B A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X AA B AB B A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BA B X AA B AB B A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BA B X AA B AB B A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X AA B AB B A X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A B X AA B AB B A X B0 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 1A 1A B X AA B AB B A X B0 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 B X AA B AB B A X B0 B0 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 B X AA B AB B A X BA 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 B X AA B AB B A X BA 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 1 X AA B AB B A X BA 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 1 X AA B AB B A X BA B 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 1 X AA B AB B A X BA B 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 1 X AA B AB B A X BA B 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 1 X AA B AB B A X BA B B1 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y 10 1 X AA B AB B A X BA B B1 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y B0 1 X AA B AB B A X BA B B1 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y B0 1 X AA B AB B A X BA B B1 B1 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y B0 1 X AA B AB B A X BA B BB 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y B0 1 X AA B AB B A X BA B BB 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BB 1 X AA B AB B A X BA B BB 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BB 1 X AA B AB B A X BA B BB 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 0 0 Y BB 1 X AA B AB B A X BA B BB A 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BB 1 X AA B AB B A X BA B BB A 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BB 1 X AA B AB B A X BA B BB A 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BB A X AA B AB B A X BA B BB A 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BB A X AA B AB B A X BA B BB A B X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BB A X AA B AB B A X BA B BB A B X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 M 0 Y BB A X AA B AB B A X BA B BB A B X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 B 0 Y BB A X AA B AB B A X BA B BB A B X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 B 0 Y 11 0 X AA B AB B A X BA B BB A B X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 B 0 Y 11 0 X AA B AB B A X BA B BB A B X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 B 0 Y 11 0 X AA B AB B A X BA B BB A B X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 B 0 Y 11 0 X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 B 0 Y 11 S X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 0 0 Y 11 S X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 0 M Y 11 S X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 0 M Y 11 A X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

Mquina de Turing Universal


HALT Y/Y Y/Y START S/B 0/A

1/M

L
0/M 1/M

A/1

L
B/1 A/0 A/0

1/S

X/X

1/B

L
B/1 0/S

1/B

0/A

S/A

0/M

B/0 X/X

L
0/A 1/B Y/Y

0,1/0,1 M/A A/0

R
A/0

R
B/1 X/X

0/A

Y/Y

0,1/A

R
1/B

X/X

R
B/1

R L
M/B

X/X

Y/Y

0,1/B

X/X

0 0 M Y BBA X 00 1 01 1 0 X 10 1 11 0 1 X 11 1 00 0 0 Y 0 0 0

FIN