MT Universal

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
L
)/X
L
E/1 HALT
E (
) E
L
)/X
L
E/1 HALT
E (
) E
L
)/X
L
E/1 HALT
E (
) E
L
)/X
L
E/1 HALT
E (
) E
L
)/X
L
E/1 HALT
E (
( X )
) E
L
)/X
L
E/1 HALT
E (
( X )
) E
L
)/X
L
E/1 HALT
E (
( X )
) E
L
)/X
L
E/1 HALT
E ( X X )
) E
L
)/X
L
E/1 HALT
E ( X X )
) E
L
)/X
L
E/1 HALT
E ( X X X (
) E
L
)/X
L
E/1 HALT
E ( X X X (
) E
L
)/X
L
E/1 HALT
E X X X X (
) E
L
)/X
L
E/1 HALT
E X X X X (
) E
L
)/X
L
E/1 HALT
E X X X X (
) E
L
)/X
L
E/1 HALT
E X X X X ( X (
) E
L
)/X
L
E/1 HALT
E X X X X ( X (
) E
L
)/X
L
E/1 HALT
E X X X X X X (
) E
L
)/X
L
E/1 HALT
E X X X X X X (
) E
L
)/X
L
E/1 HALT
E X X X X X X (
( X )
) E
L
)/X
L
E/1 HALT
E X X X X X X (
( X )
) E
L
)/X
L
E/1 HALT
E X X X X X X ( X X )
) E
L
)/X
L
E/1 HALT
E X X X X X X ( X X )
) E
L
)/X
L
E/1 HALT
E X X X X X X ( X X X )
) E
L
)/X
L
E/1 HALT
E X X X X X X ( X X X )
) E
L
)/X
L
E/1 HALT
E X X X X X X X X X X )
) E
L
)/X
L
E/1 HALT
E X X X X X X X X X X )
) E
L
)/X
L
E/1 HALT
E X X X X X X X X X X X (
) E
L
)/X
L
E/1 HALT
E X X X X X X X X X X X (
) E
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
X/X
L
Y/Y
R
X/X
0,1/B HALT
Mquina Copiadora
X/X Y/Y HALT
L
0/A
0,1/A
R
X/X
L
Y/Y
R
X/X
0,1/B HALT

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

MT Universal

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

MT Universal

Enviado por

Direitos autorais:

Formatos disponíveis

La Mquina Universal de Turing

Roberto Freijo Herraiz Alfonso de Lucas David

La mquina de Turing Universal (I)

La mquina de Turing Universal (II)

CINTA DE PAPEL INFINTA (divida en celdas)

La mquina de Turing Universal (III)

DATOS DE ENTRADA DE LA MAQUINA T

TUPLAS QUE DEFINEN LA MQUINA T

La mquina de Turing Universal (IV)

INICIAL Estado Qi Lectura Si Estado Qj

La mquina de Turing Universal (V)

posicin inicial de la cinta

Mquina de Turing Universal

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

Localizador de tuplas Copiador Desplazamiento de cabezal

A COPIA nombre a localizar

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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