La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.

Presentaciones similares


Presentación del tema: "Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED."— Transcripción de la presentación:

1 Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED

2 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Sesión 8 Construcción Modular de Máquinas de Turing

3 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Bloques de construcción básicos – Máquinas R, L y x (Página 153) – Máquinas R x, L x, R ¬x, R ¬y (Página 154) – Máquinas S R, S L (Página 155) Los bloques de construcción básicos se pueden combinar: – Figura 3.4 (Página 153) – Ejemplos: Figuras 3.8, 3.9, 3.10 (Página 156)

4 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Las máquinas de Turing se pueden combinar: 2 Ejercicios: – Construir una máquina 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 – Componer las máquinas A, B y C siguiendo el esquema Solución página 151 A C B x y

5 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Ejercicios: – Ejercicio 1 (Página 157) – Ejercicio 3 (Página 157) – Ejercicio 4 (Página 158)

6 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Máquinas de Turing como aceptadores de lenguajes: – Una máquina 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, página 159) – Ejemplo: La máquina de la figura 3.12, página 159 acepta x n y n z n

7 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Cuando una máquina reconoce un lenguaje puede terminar de dos formas: – Simplemente parando – Devolviendo un resultado, por ejemplo: Y … – Ejemplo: Dibujo página 161 – Cualquier máquina que termine parando puede convertirse en una que devuelva Y y viceversa

8 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Máquinas de Turing de varias cintas – Tienen un cabezal por cada cinta – La transición la determina el estado de las cintas, y la acción solo afecta a una de ellas. – Teorema 3.1 (Página 162) – Para cada máquina de varias cintas existe una máquina equivalente de una cinta que acepta el mismo lenguaje Las máquinas de varias cintas NO son más potentes

9 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Ejercicios – Ejercicio 1 (Página 171) /R x / R y / R / /R /

10 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Lenguajes Estructurados por Frases – Generados por Gramáticas Estructuradas por Frases Gramáticas sin restricciones Al menos deben tener un no-terminal en el lado izquierdo de las reglas Ejemplo: Figura 3.16 (Figura 172) genera x n y n z n – Equivalentes a los generados por las máquinas de Turing Máquina de Turing Gramática Estructurada por Frases

11 Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Ejercicio: – Ejercicio 5 (Página 197) Solución: Modificación trivial Figura 3.12 (página 159)


Descargar ppt "Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED."

Presentaciones similares


Anuncios Google