Los autómata se caracterizan por tener una

secuencia de símbolos de entrada, generalmente

es representado por una cinta que se mueve con
un arreglo que puede recibir los símbolos.
Se conoce como (LIFO) el símbolo superior de una
memoria en pila.
En cada momento el e autómata se encuentra en
un estado, que pueden ser los tres siguientes:
Estado actual
Símbolo de entrada
Símbolo superior de la pila
Dependientes de la entrada
En función de:
Estado actual (q1)
Símbolo leído por la cinta (a)
Símbolo en la parte superior de la cinta.

Independientes de la entrada
Maneja las mismas operaciones que en la
operación elemental anterior. No lee la cinta,
tampoco avanza la cabeza lectora, la pila es
manejada sin información de entrada.
Un autómata a pila es una séptupla: AP= (Σ, Γ, Q, A0, q0, f, F)
donde :
1. Σ es el alfabeto de entrada
2. 2. Γ es el alfabeto de la pila
3. 3. Q es un conjunto finito de estados
4. 4. A0 ∈ Γ es el símbolo inicial de la pila
5. 5. q0 ∈ Q el estado inicial del autómata
6. 6. F ⊆ Q es el subconjunto de estados finales
7. 7. f es una aplicación denominada función de transición
de ternas (estado, símbolo de entrada o λ, símbolo de pila)
en el conjunto de las partes Q×Γ*

f : Q×{Σ∪{λ}}× Γ → 2 Q×Γ* (subconjunto finito)

Por estado final se representa de la forma:
LF(AP) = {x | (q0, x, A0) ├* (p, λ, X), con p∈F,
X∈Γ*}

Por vaciado de pila que se representa:

LV(AP) = { x | (q0, x, A0) ├* (p, λ, λ) con p∈Q}

LF(AP) y LV(AP) representan a los lenguajes

reconocidos por el autómata AP por estado
final y por vaciado de pila respectivamente.
Se define como gramática la representación formal que
permite representar de una forma finita el conjunto de los
símbolos o cadenas que componen el lenguaje.
Se representan como una cuádrupla:
G=(VT,VN,S,P)
VT: conjunto finito de símbolos terminales
VN: conjunto finito de símbolos no terminales
S: es el símbolo inicial y pertenece al VT.
P: conjunto de producciones o de reglas de derivación.
Son conocidas como gramática no restringidas o
gramáticas con estructura de frase, α→β α∈(VN∪VT) +
β∈(VN∪VT) *.

Son conocidas como gramáticas sensibles al contexto, α

A β → A VN; αγβ α, β ∈ (VN∪VT) * γ∈(VN∪VT) +

Son conocidas como gramática gramáticas de contexto

libre o libres de contexto, A → α A VN α∈(VN∪VT) +

Son conocidas como regulares o gramáticas lineales a la

derecha comienzan sus reglas de producción por un
símbolo terminal
Hopcroft, J. E., Motwani, R., y Ullman, J. D. “Introducción a la
Teoría de Autómatas, Lenguajes y Computación”. Addison
Wesley. 2002. – capítulos 6 y 7
Sudkamp, Thomas A. “Languages and machines : an
introduction to the theory of computer science”. Addison-
Wesley Publishing Company, 1998. – capítulos 8 y 5