Automata Pushdown

Alumno: González Camacho Diego Grupo: 4CM6

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

Automata Pushdown P ! .

entonces la pila se desborda.. Xm una pila de simbolos.X m ) p _ qk . a. F : El aceptar estados. Xm  + y la salida es un conjunto finito de pares: qk el nuevo estado.Q . H: La función de transición con entrada: qi es un estado en Q. H ( qi . X0 : Inicialmente.X n ). F ( ... Si Xn = I. 7. a es un simbolo de 7 or a = I. .el automata no cuenta con ningún valor. +.a q0 . Q: Un conjunto finito de estados. Xn es la cadena de simbolos que reemplaza Xm en el tope de una pila. q0: El estado inicial. X 0 . +: Una pila de alfabeto. 7 Un conjunto finito de simbolos de entrada.

..siendo el alfabeto {0. es el palíndrome de mayor longitud. . Lwwr. Lwwr es un Lenguaje Libre de Contexto generado por la gramática: R * S p 0S 0 | 1S1 | I Un Automata Pushdown para Lwwr se da de la siguiente manera.1}.Ejemplo: Lwwr ! {ww | w  (0  1) } El lenguaje.

!.

1) p ( q1 .0. I .0.0) p ( q0 .01) H ( q0 .1) p ( q1 .00) H ( q0 .1. .X 0 ) H ( q0 .1) p ( q0 . X 0 ) .X 0 ) p ( q2 . X 0 ) p ( q3 . q3} 7 ! {0. I .0X 0 ) H ( q0 . q2 .0.0. .10) H ( q0 . q0 . I . H .1} + ! {0. F Q ! {q0 .0) p ( q0 .1.X 0 ) p ( q0 .1X 0 ) H ( q0 .0) p ( q1 .X 0 ) p ( q0 . I .X 0 ) p ( q1 . q1 . I ) H ( q1 .11) H ( q0 .1) p ( q0 .0) H ( q0 .1) H! 3) 4) 5) 6) H ( q1 .1. .1. X 0 .1. I ) H ( q1 .X 0 } F ! {q3} 1) 2) H ( q0 .0) p ( q1 .X 0 ) H ( q 2 .

Los bordes corresponden a las transiciones en de la siguiente manera : Una esquina con la etiqueta(ai. Una flecha con la etiqueta de inicio. Los nodos corresponden a los estados del automata. Estados con dobles círculos son estados de aceptación. 2. Xn). . Xm) contiene el par (p. ai.La Notación Gráfica de un Automata 1. Xm)/Xn del estado q al estado p =H(q. 5. 3. 4.

0)/ (1. q3 .la máquina lo acepta. X0)/0X0 (1.1)/ q0 ( . X 0) / X 0 ( . 0)/10 (1. 1) / 1 q1 ( .X 0 ) / X 0 q2 (EOF. X0)/1X0 start (0.X0) / X0 ‡ ‡ ‡ ‡ Es una máquina indetermidada. La máquina sigue un posible camino. Mata un camino si este lleva a un esta de rechazo. 1)/01 (1. ) /  ( .(0. 1)/11 (0. Si algún camino lleva a un estado de aceptación. 0)/00 (0.

Sign up to vote on this title
UsefulNot useful