1.

AUTOMATA A PILA
DEFINICION: Es un modelo matemático de un sistema que recibe una cadena constituida
por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el
autómata reconoce. El lenguaje que reconoce un autómata con pila pertenece al grupo de
los lenguajes libres de contexto en la clasificación de la Jerarquía de Chomsky.

CARACTERISTICAS
 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.
 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
 El autómata acepta una cadena x si la secuencia de transiciones, comenzando en
estado inicial y con pila vacía, conduce a un estado final, después de leer toda la
cadena x.

2. AUTOMATA A PILA POR VACIADO

3. AUTOMATA A PILA POR ESTADOS FINALES
DEFINICION: El conjunto de lenguajes aceptados por estado final por los autómatas a pila
LAPF es igual que el conjunto de lenguajes aceptados por vaciado por pila de los
autómatas a pila LAPV.

4. QUE ES UNA GRAMATICA

DEFINICION: Una gramática ("G") desde el punto de vista de la teoría de autómatas es un
conjunto finito de reglas que describen toda la secuencia de símbolos pertenecientes a un
lenguaje específico L. Dos gramáticas que describan el mismo lenguaje se llaman
gramáticas equivalentes.
Una gramática es una estructura algebraica formada por cuatro elementos
fundamentales:

G = {NT, T, S, P}

donde

 NT es el conjunto de elementos No Terminales

 T es el conjunto de elementos Terminales
 S es el Símbolo inicial de la gramática
 P es el conjunto de Reglas de Producción

TIPOS DE GRAMATICA
 GRAMATICA DE TIPO 0
También llamadas gramáticas no restringidas o con estructura de frase
Las reglas de la derivación son de la forma
∝→ 𝛽
Siendo ∝∈ (𝑉𝑁 ∪ 𝑉𝑇) 𝑦 𝛽 ∈ (𝑉𝑁 ∪ 𝑉𝑇)∗ , es decir que la única restricción es
+

que no puede haber reglas de la forma 𝜆 → 𝛽 donde 𝜆 es la cadena vacía.

 GRAMATICA DE TIPO 1
 También llamada gramática sensible al contexto. En ellas las reglas de producción
son:
∝ 𝐴𝛽 →∝ 𝛾𝛽
Siendo 𝐴 ∈ 𝑉𝑁; ∝, 𝛽 ∈ (𝑉𝑁 ∪ 𝑉𝑇)∗ 𝑦 𝛾 ∈ (𝑉𝑁 ∪ 𝑉𝑇)+
Esta gramática se llama así ya que se reemplaza A por 𝛾.

 GRAMATICA DE TIPO 2
También se denominan gramática de contexto libre. Sus reglas de producción tan
solo admiten tener un símbolo no terminal en su parte izquierda, es decir son de
la forma:
𝐴 →∝
La denominación contexto libre se debe a que se puede cambiar A por ∝ ,
independientemente del contexto en que aparezca A.

 GRAMATICA DE TIPO 3
Se denominan regulares o gramáticas lineales a la derecha comienzan sus reglas
de producción por un símbolo terminal, que puede ser seguido o no por un
símbolo no terminal, es decir son de la forma:
𝐴 → 𝑎𝐵
𝐴→𝑎
PROPIEDADES

 TIPO 1
Tiene forma directa o inversa, lo cual permite intercambiar dicha propiedad.

No decrecimiento

∝→ 𝛽 → |𝛽| ≥ |∝|

Es mayor o igual a la de la parte izquierda, es lenguaje tipo 1

 TIPO 2

Sensibilidad al contexto

Esta segunda propiedad combinada con la primera hace que se pueda intercambiar la
característica de no decrecimiento.

5. EJEMPLO DE AUTOMATA A PILA