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