Teora de Autmatas I

2 curso Ingeniera Tcnica en Informtica de Sistemas UNED

Sesin 8

Construccin Modular de Mquinas de Turing

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Mquinas de Turing

Bloques de construccin bsicos

Mquinas R, L y x (Pgina 153) Mquinas Rx, Lx, Rx, Ry (Pgina 154) Mquinas SR, SL (Pgina 155)

Los bloques de construccin bsicos se pueden combinar:

Figura 3.4 (Pgina 153) Ejemplos: Figuras 3.8, 3.9, 3.10 (Pgina 156)
2 Ing. Tec. Informtica Sistemas Josep Silva Galiana

Teora de Autmatas I

Mquinas de Turing

Las mquinas de Turing se pueden combinar:

x
A y C

2 Ejercicios:

Construir una mquina de Turing para:

A = Mover la cabeza una celda hacia la izquierda B = Encontrar la primera x a la derecha de la celda actual C = Encontrar la primera y a la derecha de la celda actual Solucin pgina 151

Componer las mquinas A, B y C siguiendo el esquema

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Mquinas de Turing

Ejercicios:

Ejercicio 1 (Pgina 157) Ejercicio 3 (Pgina 157) Ejercicio 4 (Pgina 158)

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Mquinas de Turing
Mquinas de Turing como aceptadores de lenguajes:

Una mquina acepta un lenguaje si desde su estado inicial encuentra el estado de parada Las cadenas a analizar empiezan con un blanco:

x x y y

(Figura 3.11, pgina 159)

Ejemplo:

La mquina de la figura 3.12, pgina 159 acepta xnynzn

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Mquinas de Turing
Cuando una mquina reconoce un lenguaje puede terminar de dos formas:

Simplemente parando Devolviendo un resultado, por ejemplo:

Ejemplo:

Dibujo pgina 161

Cualquier mquina que termine parando puede convertirse en una que devuelva Y y viceversa
2 Ing. Tec. Informtica Sistemas Josep Silva Galiana

Teora de Autmatas I

Mquinas de Turing
Mquinas de Turing de varias cintas

Tienen un cabezal por cada cinta La transicin la determina el estado de las cintas, y la accin solo afecta a una de ellas. Teorema 3.1 (Pgina 162) Para cada mquina de varias cintas existe una mquina equivalente de una cinta que acepta el mismo lenguaje

Las mquinas de varias cintas NO son ms potentes

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Mquinas de Turing
Ejercicios

Ejercicio 1 (Pgina 171)

x/R /R

y/R /R /

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Mquinas de Turing
Lenguajes Estructurados por Frases

Generados por Gramticas Estructuradas por Frases

Gramticas sin restricciones Al menos deben tener un no-terminal en el lado izquierdo de las reglas Ejemplo: Figura 3.16 (Figura 172) genera xnynzn

Equivalentes a los generados por las mquinas de Turing

Mquina de Turing Gramtica Estructurada por Frases

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana

Mquinas de Turing

Ejercicio:

Ejercicio 5 (Pgina 197)

Solucin: Modificacin trivial Figura 3.12 (pgina 159)

Teora de Autmatas I

2 Ing. Tec. Informtica Sistemas

Josep Silva Galiana