Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED
Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Sesión 4 Autómatas de Pila
Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Autómatas de Pila Los AFD no tienen memoria: no pueden representar el lenguaje x n y n Los autómatas de pila tienen memoria – Tienen una pila Ver figura 2.1
Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana 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,s;q,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
Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana Autómatas de Pila (p,λ,λ;q,λ) (p,x,λ;q,z) (p,λ,s;q,λ) (p,x,λ;q,λ) → Autómata finito!!!!! … Representación autómata de pila: (figura 2.2) ¿Qué lenguaje define este autómata?
Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana 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