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

Profesor Josep Silva Galiana E-mail: jfsilva@valencia.uned.es . Profesor Universidad Politécnica de Valencia E-mail: jsilva@dsic.upv.es Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Semana Tema o actividad 13-15 octubre Autómatas finitos deterministas. Autómatas finitos no deterministas 18-22 octubre Lenguajes regulares y gramáticas regulares 25-29 octubre Expresiones regulares. Repaso de ejercicios 2-5 noviembre Autómatas de pila deterministas y no deterministas 8-12 noviembre Gramáticas independientes del contexto 15-19 noviembre Analizadores sintácticos LL(k) y LR(k) 22-26 noviembre Máquinas de Turing deterministas y no deterministas y con varias cintas 29 nov.-3 dic. Construcción modular de las máquinas de Turing 9-10 diciembre Gramáticas estructuradas por frases. Lenguajes aceptables y decidibles 13-17 diciembre Codificación de máquinas de Turing. El problema de la parada 20-22 diciembre Repaso de conceptos, solución problemas exámenes años anteriores 10-14 enero Resolución de dudas, problemas y ejercicios 17-20 enero 24 –28 enero Primeras pruebas presenciales. 1ª semana (No hay tutorías) 31 enero-4 febrero Atención alumnos (dudas, consultas, etc.) 7-11 febrero Primeras pruebas presenciales. 2ª semana (No hay tutorías) Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Bibliografía Texto base: Teoría de la computación: Lenguajes formales, Autómatas y Complejidad BROOKSHEAR J. G. Addison-Wesley Iberoamericana, 1993 Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Nota de la Asignatura Examen con dos partes: Examen tipo test 16 preguntas de opción triple Respuesta correcta suma 1 (0.625 sobre 10) Respuesta errónea resta 0.5 Respuesta sin responder no cuenta Preguntas a desarrollar Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Sesión 1 Introducción Autómatas finitos deterministas Autómatas finitos no-deterministas Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Introducción Análisis Léxico: Reconocedores de lenguajes (X25, Antonio, 3+5=6, etc.) Diagrama de transiciones, diagrama de estado, red de transiciones Estado inicial Transición Estado final (estados de aceptación) Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Introducción Algoritmo equivalente a un diagrama de transiciones Tablas de transiciones Analizadores léxicos basados en tablas de transiciones EJERCICIO: Desarrolle un diagrama de transiciones que represente la sintaxis de un número real. Construya su tabla de transiciones equivalente y un analizador léxico basado en dicha tabla. Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Autómatas Finitos Deterministas Las cadenas de entrada a analizar se forman a partir de un conjunto de símbolos llamado alfabeto. Las cadenas que entran al sistema para ser analizadas son llamadas flujo de entrada. Un Autómata Finito Determinista: Finito: Nº finito de estados Determinista: No existen ambigüedades Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Autómatas Finitos Deterministas AFD como máquinas reconocedoras Definición formal de AFD. Diagramas deterministas completamente definidos vs. Parcialmente definidos. Ejemplo de AFD: Máquina vendedora Ejercicio: Complete el diagrama del ejercicio anterior Ejercicios 1 y 2 del libro Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Autómatas Finitos No-Deterministas Ejemplo Definición formal de AFND. Utilidad: Un AFND acepta una cadena si existe un camino que la acepta. Son más fáciles de especificar y claros de entender, pero un ordenador es determinista!!! Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana

Autómatas Finitos No-Deterministas Para cada AFND existe un AFD equivalente, por lo tanto ambos aceptan los mismos lenguajes. Conversión de un AFND en un AFD. Ejemplo Ejercicio: Ejercicios 1 y 2 del libro Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana