ACTIVIDAD INDIVIDUAL

ACTIVIDAD 2
JHON FRANKLIN DOMINGUEZ BONILLA
AUTOMATA A 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 captacin de dichos smbolos.
El smbolo superior de una memoria en pila (LIFO)
Un autmata a pila se encuentra en cada momento en un estado
determinado y el estado siguiente depende de los tres elementos
siguientes:
estado actual
smbolo de entrada
smbolo superior de la pila
Generalmente, el autmata a pila es no determinista en el
sentido de que se permite que haya varias acciones posibles en
cada momento.
AUTOMATA A PILA

Definicin formal de un AP
Un autmata a pila es una sptupla:
AP= (, , Q, A0, q0, f, F)
donde :
1. es el alfabeto de entrada
2. es el alfabeto de la pila
3. Q es un conjunto finito de estados
4. A0 es el smbolo inicial de la pila
5. q0 Q el estado inicial del autmata
6. F Q es el subconjunto de estados finales
7. f es una aplicacin denominada funcin de transicin
de ternas (estado, smbolo de entrada o , smbolo de
pila) en el conjunto de las partes Q*
AUTOMATA A PILA
Ejemplo:
Autmata a pila para el lenguaje L={an
bn | n > 0}
APV=({a,b},{S,A},{p,q},S,p,f,)
f(p,a,S)={(p,A)}
f(p,a,A)={(p,AA)}
f(p,b,A)={(q, )}
f(q,b,A)={(q, )}
APF=({a,b},{S,A},{p,q,r},S,p,f,{r})
f(p,a,S)={(p,AS)}
f(p,a,A)={(p,AA)}
f(p,b,A)={(q,)}
f(q,b,A)={(q,)}
f(q,,S)={(r,S)}
Movimientos para (p,aabb,S) (p,abb,S) (p,aab,S)
AUTOMATA A PILA POR VACIADO

Para todo AP P = (Q, , , ,q0,Z0) se define el lenguaje que acepta como:

N(P) = {w | (q0, w, Z0)* (q,,)} para cualquier estado q
Ejemplo: modificar el AP de la figura para que reconozca
tambin por vaciado de pila
se cambia (q1, , Z0) = {(q2, Z0)} por(q1, , Z0) = {(q2, )}
AUTOMATA A PILA POR ESTADO FINALES
Teorema: si L = N ( P N) para algn AP PN = ( Q, , , N, q 0, Z 0), existe un AP PF tal que L = L (
PF )
Prueba: PF = (Q { p 0, p F}, , {X0 }, F, p 0, X0, { p F}), donde F se define:
1. F ( p 0, , X0) = {( q 0, Z0 X0)}
2. para todo estado q de Q, entrada a de o a = , y smbolos de pila Y de , F ( q, a, Y)
contiene todos los pares de N ( q, a, Y)
3. adems, F ( q, , X0) contiene ( p F, ) para todo estado q de Q
QUE ES UNA GRAMATICA

Una gramtica ("G") desde el punto de vista de la teora de autmatas es

un conjunto finito de reglas que describen toda la secuencia de smbolos
pertenecientes a un lenguaje especfico L. Dos gramticas que describan
el mismo lenguaje se llaman gramticas equivalentes.
Una gramtica 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 Smbolo inicial de la gramtica
P es el conjunto de Reglas de Produccin
TIPO DE GRAMATICAS

Tipo 1 o "Sensible al contexto"

puede ser reemplazado por si la longitud de es menor o igual a la

longitud de , siendo un smbolo Terminal o una cadena vaca z1, seguido
de un smbolo No Terminal X, seguido de otro smbolo Terminal o una
cadena vaca z2. En el caso de , z1 debe ser el mismo smbolo z1 de
seguido de un smbolo No Terminal o Terminal sin ser la cadena vaca,
seguido del smbolo z2.
TIPO DE GRAMATICAS

Tipo 2 o "libre de contexto"

x puede ser reemplazado por y si x pertenece a los smbolos No

Terminales e y es un Terminal o No Terminal, incluyendo la cadena
vaca.
TIPO DE GRAMATICAS

Tipo 3 o "Regular

Tambin llamada "De contexto regular"

puede ser reemplazado por si pertenece a los smbolos No Terminales y es
uno de estos 3:
Un smbolo Terminal no nulo seguido de un No Terminal.
Un smbolo No Terminal seguido de un smbolo Terminal no nulo.
Un smbolo Terminal pudiendo ser la cadena vaca.
EJEMPLO DE AUTOMATA A PILA
BIBLIOGAFIA

REFERENCIA
https://es.wikipedia.org/wiki/Aut%C3%B3mata_con_pila
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/ca
pitulo11.pdf