Automata Pushdown

Alumno: Gonzlez Camacho Diego Grupo: 4CM6

Un Automata Pushdown es un estado automata indeterminado que permiten -transiciones y una pila.

Automata Pushdown
P ! Q , 7, +, H ( qi , a,X m ) p _ qk ,X n ),...a q0 , X 0 , F ( ,
Q: Un conjunto finito de estados.
7 Un conjunto finito de simbolos de entrada. +: Una pila de alfabeto. H: La funcin de transicin con entrada:

qi es un estado en Q. a es un simbolo de 7 or a = I. Xm una pila de simbolos, Xm + y la salida es un conjunto finito de pares: qk el nuevo estado.
Xn es la cadena de simbolos que reemplaza Xm en el tope de una pila. Si Xn = I, entonces la pila se desborda.

q0: El estado inicial.

X0 : Inicialmente,el automata no cuenta con ningn valor.

F : El aceptar estados.

Ejemplo: Lwwr ! {ww | w (0  1) }

El lenguaje, Lwwr, es el palndrome de mayor longitud,siendo el alfabeto {0,1}. Lwwr es un Lenguaje Libre de Contexto generado por la gramtica:

S p 0S 0 | 1S1 | I

Un Automata Pushdown para Lwwr se da de la siguiente manera...

! ,

, H , q0 , X 0 , F

Q ! {q0 , q1 , q2 , q3} 7 ! {0,1} + ! {0,1,X 0 } F ! {q3}

1) 2)

H ( q0 ,0,X 0 ) p ( q0 ,0X 0 ) H ( q0 ,1,X 0 ) p ( q0 ,1X 0 ) H ( q0 ,0,0) p ( q0 ,00) H ( q0 ,0,1) p ( q0 ,01) H ( q0 ,1,0) p ( q0 ,10) H ( q0 ,1,1) p ( q0 ,11)
H ( q0 , I ,X 0 ) p ( q1 ,X 0 ) H ( q0 , I ,0) p ( q1 ,0) H ( q0 , I ,1) p ( q1 ,1)

H!
3)

4) 5)
6)

H ( q1 ,0,0) p ( q1 , I ) H ( q1 ,1,1) p ( q1 , I ) H ( q1 , I ,X 0 ) p ( q2 ,X 0 )
H ( q 2 , X 0 ) p ( q3 , X 0 )

La Notacin Grfica de un Automata

1. 2. 3. 4. 5.

Los nodos corresponden a los estados del automata. Una flecha con la etiqueta de inicio. Estados con dobles crculos son estados de aceptacin. Los bordes corresponden a las transiciones en de la siguiente manera : Una esquina con la etiqueta(ai, Xm)/Xn del estado q al estado p =H(q, ai, Xm) contiene el par (p, Xn).

(0, X0)/0X0 (1, X0)/1X0 start

(0, 0)/00 (0, 1)/01 (1, 0)/10 (1, 1)/11

(0,0)/ (1,1)/

q0

( , X 0) / X 0 ( , ) /  ( , 1) / 1

q1

( ,X 0 ) / X 0

q2

(EOF,X0) / X0

Es una mquina indetermidada. La mquina sigue un posible camino. Mata un camino si este lleva a un esta de rechazo. Si algn camino lleva a un estado de aceptacin,la mquina lo acepta.

q3