Modelo

Mquina

Lenguaje

En desarrollo

En Desarrollo

Natural

Gramticas no
restringidas

Turing

Estructurado

Gramticas sensibles

Turing

Desidibles por maquina Turing

Gramaticales
independientes en
contexto

Autmatas de
pila

Independientes del contexto

Independientes del
contexto tipo 2

Autmata de
Pila Determinista

Independientes del contexto

deterministas

Expresion regular
gramtica regular

Autmatas
finitos

Regular

Q= conjunto de estados
= alfabeto de entrada
r= alfabeto de pila
= es una transformacin
0 ,= Que esta en Q estado inicial
0 ,= Esta en r smbolo inicial de pila
F= Es subconjunto de Q, conjunto de estados finales

De estado finito se
describe como
M=<Q, ,r, 0 , 0 ,
0 F>,

Conceptos Bsicos

En el contexto de la
teora de
compiladores. Los
autmatas finitos son
las mquinas

Jerarqua de Lenguajes

Para facilitar el estudio de los

diferentes lenguajes que existen,
modelos que los formalizan y mquinas
que los reconocen, es conveniente
establecer una jerarqua de lenguajes
que los esquematice

Autmatas de Pila

Paso 1

Reconocimiento de
un autmata de pila
1. Estado actual del
autmata
2. Smbolo actual de
entrada
3. Smbolo actual en
Pila
4. Estado Siguiente
en la transicin
5. Cadena a insertar
en pila

Seguimiento en
forma de corrida de
escritorio

Se designa el alfabeto de
entrada M como los
smbolos terminales G

Paso 2

Paso 3

Se designa los estados M

como los 0, 1, 2, 3
donde 0 es el estado
inicial y 3 es el nico
estado de aceptacin

Se genera la transicin
( 0, , ; 1, $)

Gramticas
Independientes de
Contexto
Paso 5
Paso 4

Se genera la transicin
( 1, , ; 2, S) donde S
es el smbolo inicial de G

Se genera la transicin ( 2,
, N; 2, w) para cada

produccin N

w de G

Teorema

Por cada Gramtica

G independiente del
contexto, existe un
autmata de pila M
al que L(G)= L(M)