Está en la página 1de 137

# La Mquina Universal de Turing

## 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)

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

( X )

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

( X )

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E (

( X )

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E ( X X )

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E ( X X )

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E ( X X X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E ( X X X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X ( X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X ( X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X (

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X (

( X )

) E

HALT E/0 (/X START (/0 E/E HALT

L
)/X

L
E/1 HALT

E X X X X X X (

( X )

) E

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

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

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

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

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

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

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

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

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

FINAL
Escritura
Movimiento

Sj

D
(izq der)

## La mquina de Turing Universal (V)

Cinta de entrada de la MUT
Descripcin 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

X/X

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

X/X

L
Y/Y

R
X/X

0,1/B HALT

X/X Y/Y HALT

L
0/A

0,1/A

R

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