Teor

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_at_valencia.uned.es
• . Profesor Universidad Politécnica de Valencia
• E-mail jsilva_at_dsic.upv.es

3
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)

4
Bibliografía

• Texto base
• Teoría de la computación Lenguajes formales,
  Autómatas y Complejidad
• BROOKSHEAR J. G.
• Addison-Wesley Iberoamericana, 1993

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

6
Sesión 1

• Introducción
• Autómatas finitos deterministas
• Autómatas finitos no-deterministas

7
Introducción

• Análisis Léxico Reconocedores de lenguajes (X25,
  Antonio, 356, etc.)
• Diagrama de transiciones, diagrama de estado, red
  de transiciones
• Estado inicial
• Transición
• Estado final (estados de aceptación)

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.

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

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

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

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