1. Concepto Autmata a pila o con pila.

Un autmata a pila es un dispositivo que tiene acceso a una secuencia

de smbolos de entrada, que en general se representa por una cinta que
se desplaza frente a un mecanismo de smbolos.
2. Qu es un autmata a pila determinstico. Seale sus
elementos.
Un autmata de pila determinista es un autmata de pila.
donde se cumplen las siguientes dos propiedades:
Para cualquier pareja (estado,tope_de_la_pila) se tiene que o bien
el autmata tiene definida la transicin correspondiente a la
palabra de entrada vaca o bien la tiene definida en smbolos del
alfabeto de entrada.
para cualquier tercera (estado,s,tope_de_la_pila), la transicin
correspondiente contiene, a lo sumo, una pareja
(nuevo_estado,tope_de_la_pila).
3. Qu es un autmata a pila no determinstico. Seale sus
elementos.
Los autmatas de pila no deterministas coinciden con sus homlogos de
pila salvo en que su transicin no es propiamente una funcin.
El no determinismo del autmata est en que no se precisa en qu
momento pasar al estado de desempilar. Transita a se de manera
indeterminada.
4. Seale el funcionamiento para procesar una cadena o
palabra del autmata a pila determinstico.

5. Explique, de forma clara y concisa, un ejemplo de

autmata a pila determinstico.
APD=({a,b,c},{S,A,B,b},{p,q,r},S,p,f,{r})
f(p,a,S)={(p,SAB), (q,b)}
 f(p,,S)={(p,SAB)}
f(q,b,b)={(q,)}
f(q,b,B)={(q,)}
f(q,c,A)={(q,A),(q,)}
f(q,,B)={(r,)}

Cada estado corresponde a un nodo en el grafo y est etiquetado con el

nombre del estado (si es un estado final se marca adems con *).
Cada transicin (q, Z) f(p, a, A) corresponde a un arco del nodo p al
nodo q y tiene la etiqueta (a,A,Z).
Las etiquetas de los arcos pueden tener la forma:
(a,A,), (a,A,B), (a,A,BC...), (,A,), (,A,B), (,A,BC...) siendo (a,
A,B,C).
No hay transiciones de forma:
(..., , ...), (ab..., ..., ...) o (..., AB..., ...).