teoría de autómatas i 2º curso ingeniería técnica en informática de sistemas uned
TRANSCRIPT
Teoría de Autómatas I
2º cursoIngeniería Técnica en Informática de SistemasUNED
Teoría de Autómatas I 2º Ing. Tec. Informática Sistemas Josep Silva Galiana
Profesor
Josep Silva Galiana
E-mail: [email protected]
. Profesor Universidad Politécnica de Valencia
E-mail: [email protected]
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