Teor

1
Teoría de Autómatas I

• 2º curso
• Ingeniería Técnica en Informática de Sistemas
• UNED

2
Sesión 4

• Autómatas de Pila

3
Autómatas de Pila

• Los AFD no tienen memoria no pueden representar
  el lenguaje xnyn
• Los autómatas de pila tienen memoria
• Tienen una pila
• Ver figura 2.1

4
Autómatas de Pila

• Transiciones de un autómata de pila
• Leer símbolo de entrada
• Extraer un símbolo de la pila
• Insertar un símbolo en la pila
• Pasar a un nuevo estado
• (p,x,sq,y)
• P ? Estado actual
• X ? Simbolo del alfabeto que se lee en la
  entrada
• S ? Simbolo que se extrae de la pila
• Q ? Nuevo estado
• Y ? Simbolo que se inserta en la pila

5
Autómatas de Pila

• (p,?,?q,?)
• (p,x,?q,z)
• (p,?,sq,?)
• (p,x,?q,?) ? Autómata finito!!!!!
• Representación autómata de pila (figura 2.2)
• Qué lenguaje define este autómata?

6
Autómatas de Pila

• Definición formal de autómata de pila (página 79)
• Autómatas de pila que aceptan cadenas sin vaciar
  su pila (Figura 2.3)
• Método para convertir un autómata que no vacía su
  pila en otro que la vacía.
• Ejercicios 1, 2 y 3