AUTÓMATA DE PILA

UNIDAD 2: FASE 2

YINETH PAOLA LASPRILLA

LUIS ERNESTO BONILLA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

 AUTÓMATA CON PILA

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.

• Un autómata de pila cuenta con una cinta de entrada y un mecanismo de control

que puede encontrarse en uno de entre un número finito de estados.

• A diferencia de los autómatas finitos, los autómatas de pila cuentan con una
memoria auxiliar llamada pila.

• Los símbolos (llamados símbolos de pila) pueden ser insertados o extraídos de la

pila, de acuerdo con el manejo last-in-first-out (LIFO).

• 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.

En función de la forma de sus producciones, se puede

caracterizar qué tan compleja es una gramática formal. Noam
Chomsky mostró que esta caracterización clasifica
jerárquicamente a las gramáticas formales: Gramáticas en un
nivel están incluidas en los siguientes niveles y la inclusión entre
niveles es propia.
 PARA QUÉ SE UTILIZA?
Una gramática define la estructura de las frases y de las
palabras de un lenguaje.
Las gramáticas son un método para la generación de palabras
de un lenguaje a partir de un alfabeto.
Para generar estas palabras se utilizan las derivaciones.
Se denominan formales porque se centran en los estudios de
los lenguajes formales que son aquellos que están definidos a
partir de reglas preestablecidas. Para los lenguajes naturales
existen otro tipo de gramáticas.
 CÓMO SE CLASIFICA?
Tipo 1: Una gramática es tipo 1 monotónica si no contiene reglas donde el lado
izquierdo consista en más símbolos que el lado derecho.

Tipo 2: Son gramáticas libres de contexto cuando en su lado izquierdo siempre

aparece un único no-terminal.

Tipo 3: Son gramáticas regulares o de estados finitos cuando en su lado derecho

sólo se contiene un no-terminal y además se encuentra al final de la producción.

Tipo 4: Gramáticas de elección finita (FC), no se permite ningún no-terminal a la

derecha y el símbolo inicial de la gramática tiene una lista finita de alternativas.
 CLASIFICACIONES
Chomsky clasificó las gramáticas en cuatro grandes grupos: G0,G1,G2yG3. Cada
uno de estos grupos incluye las gramáticas del siguiente, de acuerdo con el
siguiente esquema:
GRAMATICA TIPO 0
GRAMATICA TIPO 1
GRAMATICA TIPO 2
GRAMATICA TIPO 3
TIPO 1
TIPO 2
 TIPO 3
 Tipo 0: Sí  Regla de producción de Tipo 0
Tipo de la regla de producción <Y>  ba
 Tipo 3: No
 Tipo 2: Sí  Regla de producción de Tipo 2
 Tipo 1: Sí
 Tipo 0: Sí
 BIBLIOGRAFIA

• Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales,

Ediciones Elizcom, 2010. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845. Created from
unadsp on 2018-03-21 12:07:03.