|
 

 

2º curso
Ingeniería Técnica en
Informática de Sistemas
UNED
O 


À ×ímites de las Máquinas de Turing

Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

î
 |

À ©odificación de Máquinas de Turing

± Una máquina de Turing tiene una representación
binaria (x

 


Estado Inicial = 0 ×=0 ¨ = (cadena vacía

Estado de Parada = 00 R = 00 Separador = 1
Estado 2 = 000 Símbolo 1 = 000
Estado 3 = 0000 Símbolo 2 = 0000
Etc. Etc.

˜(i,x=(h,r ĺ 01000100100 X/R

i h
Representación Decimal = 548
Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana
î
 |

À ©odificación de Máquinas de Turing

± Representación de datos:
± XYXZ ĺ 000100001000100000

± Representación de máquinas de Turing:

¨/x
± 1transición11transición21transiciónn11datos1
i h
± Ejemplo:
˜(i,¨=(h,x ˜(i,x=(h,R X/R
Y X Z
10110010001010001001001 1000010001000001 Decimal:
Transición 1 Transición 2 Datos 382592451649

Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

î
 |

À Máquinas de Turing Universales

± Reciben una máquina de Turing y la ejecutan:
± Tienen 3 cintas:
1. Almacena programa de entrada y datos
2. Área de trabajo
3. Representación del estado actual de la máquina simulada
± ©ualquier máquina de 3 cintas tiene una equivalente de 1
cinta
± Es el antecesor de los computadores actuales
± Figura 3.24 (páginas 187,188 y 189

Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

î
 |

À ×enguajes aceptables vs. ×enguajes decidibles

± ×enguaje aceptable
À ×a máquina se para al reconocer una cadena del lenguaje
± ×enguaje decidible
À ×a máquina dice si una cadena pertenece al lenguaje o no
À Implica reconocer el complemento del lenguaje

± ¡¡Existen lenguajes aceptables que no son decidibles!!

± Un lenguaje es aceptable pero su complemento no
± Ejemplo de lenguaje no decidible: PROB×EMA DE ×A PARADA

Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

î
 |

Problema de la parada:
± Ejercicio 2 (Página 195
À *©ocina el cocinero para sí mismo?

± El lenguaje × = {˜(M: M es autoterminante} es

no decidible
À Autoterminante: ×a máquina se detiene si se recibe a
ella misma como entrada (en binario (página 193
À Supongamos que M× decide × (1 sí, 0 no

1
Máquina M0 = M× ĺ R ĺ R *Es M0 autoterminante?
Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana
î
 |

Ejercicios:
± Ejercicio 1 (Página 195
aceptar
0 0 0 0 ¨ 0
1 0 1 1 0 1 1 0
ĺRĺRĺRĺRĺRĺRĺR1
ĺRĺRĺR
0 1

± Ejercicio 3 (Página 195

x y ¨ ¨ ¨
ĺ R ĺ R ĺ R ĺ ¨× ĺ RY× ¨× ĺ RN×
x
Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana