Professional Documents
Culture Documents
UNIDAD 2: FASE 2
Los Autómatas con Pila son una extensión de los AFD a los
que se les añade una memoria (pila).
En la pila se almacenan símbolos de la cadena de entrada y de
la gramática, así como caracteres especiales (#) para indicar el
estado de pila vacía.
AUTÓMATA A PILA POR VACIADO
El lenguaje aceptado todas por un autómata finito
determinista es el lenguaje de todas las palabras
aceptadas,por el autómata formalmente.
Sea M un autómata finito determinista con alfabeto de
entrada Σ , se define el lenguaje aceptado por M , notado
como L(M) ,
como { 𝑤 ∈ Σ ∗ | 𝑤 𝑒𝑠 𝑢𝑛𝑎 𝑝𝑎𝑙𝑎𝑏𝑟𝑎 𝑎𝑐𝑒𝑝𝑡𝑎𝑑𝑎 𝑝𝑜𝑟 𝑀.
CARACTERÍSTICAS
• Los autómatas de pila pueden aceptar lenguajes que no pueden aceptar los
autómatas finitos.
• A diferencia de los autómatas finitos, los autómatas de pila cuentan con una
memoria auxiliar llamada pila.
• Las transiciones entre los estados que ejecutan los autómatas de pila dependen de
los símbolos de entrada y de los símbolos de la pila.
QUÉ ES UNA GRAMATICA?
Una gramática describe la estructura de las frases y de las
palabras de un lenguaje y se aplica por igual a:
•Las lenguas naturales humanas
•Lenguajes de programación.