Teoría de Autómatas I

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

2. 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

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

4. 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

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

11. 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

12. 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