¡Descarga practica voluntaria 10 y más Ejercicios en PDF de Informática solo en Docsity!
Teoría de Autómatas y Lenguajes Formales
Ejercicio Práctico Número 10
Autómatas con Pila en JFLAP
1. Autómatas con Pila en JFLAP
JFLAP incorpora la capacidad de trabajar con autómatas de pila mediante el botón
Trabajo con Autómatas de Pila Una vez activado el modo, obtenemos una ventana de edición del autómata de pila cuyo aspecto y funcionalidad son enteramente similares a los que usted ya conoce para el caso de los autómatas finitos. Por tanto, la creación de estados, su carácter de inicial o finales^1 , y la edición de transiciones funcionan de la forma que usted ya conoce. El único matiz es a la hora de etiquetar una transición deberemos indicar tres datos:
símbolo de cinta leído. símbolo tope de la pila leído y extraído.
cadena de símbolos de pila insertados. En la figura siguiente puede observar como la edición de una transición exige introducir los tres campos citados:
Editando una transición
- (^) ©cAntonio Tomeu (^1) JFLAP únicamente admite el reconocimiento mediante estados finales. Sin embargo, dado que éste es equivalente al reconocimiento por pila vacía, esto realmente no es un inconveniente serio.
Una vez editada la transición, el aspecto final es
Transición editada Como puede apreciar, la lectura de la transición introducida es la siguiente: el autómata con pila se encuentra en q 0 , leyendo en la cinta 0 , y leyendo en el tope de la pila A. La función de transición establece que se pasa a q 1 , se elimina A de la pila, y se inserta la cadena DCA en la misma. Considere ahora el siguiente APND, y edítelo con JFLAP:
APND con estados finales Observe que disponemos de un APND M =< {q 0 , q 1 , q 2 }, { 0 , 1 }, { 0 , 1 , Z}, δ, q 0 , Z{q 2 } > cuya función de transición viene descrita por la figura anterior. Procese varias cadenas de entrada, pertenecientes al alfabeto {a, b}, de forma tanto manual como a través de JFLAP^2. ¿Qué lenguaje reconoce mediante estados finales?
2. Ejercicios
- Utilizando el selector de ficheros de prácticas, abra con JFLAP el fichero etiquetado ex6.3b.jff. Sométalo a prueba con diferentes cadenas de entrada, y concluya qué lenguaje acepta (mediante estados finales).
- Haga lo propio con el fichero etiquetado ex6.3a.jff.
- Utilizando JFLAP, construya un APND que acepte el siguiente lenguaje mediante estados finales. Guarde el resultado en un fichero llamado prac8_3.jff.
L = {x^2 mym^ : m > 0 }
- Utilizando JFLAP, construya un APND que acepte el siguiente lenguaje sobre Σ = {x, y, z} mediante estados finales. Guarde el resultado en un fichero
(^2) El procesamiento de cadenas con el programa sigue el mismo método, ya conocido por usted, que se aplicó para autómatas finitos.
