Practica 9: Autmatas de pila con JFLAP

El enunciado en este enlace Practica 9:Autmatas de pila 1. Dada la siguiente gramtica libre de contexto S S xAy A A xAy S xByy B xByy

B
a. Crea un autmata de pila que acepte el lenguaje generado por dicha gramtica Seleccionamos la opcin grammar en JFlap e introducimos la gramtica

una vez introducida la gramtica seleccionamos el men Convert y seleccionamos la opcin Convert CFG to PDA (LL) nos mostrara una nueva pestaa para realizar la conversin

Pinchamos en el botn Show all para seleccionar todas las producciones y seguidamente en export con lo que obtendremos nuestro autmata de pila.

b. Transfrmala a forma normal de Chomsky. Sobre la gramtica anterior seleccionamos la opcin Transform Grammar en el men Convert nos mostrara un mensaje de que la nueva gramtica no generara la palabra

aceptamos el mensaje y aparecer una nueva pestaa indicndonos las acciones a realizar para transformar la gramtica.

paso 1 seleccionar smbolos que generen para eliminarlos

Paso 2. Conversin a Chomsky

Al pinchar en el botn export obtendremos nuestra gramtica en forma normal de Chomsky.

c. Comprueba la equivalencia de los autmatas al menos con las siguientes palabras, e indica la traza en cada caso para obtener las trazas para palabras que deseamos probar seleccionamos la opcin Step by State en el men input xyyy para el AFP generado a partir de la gramtica libre de contexto : Rechaza la palabra. para el AFP generado a partir de la gramtica en forma normal de Chomsky: Rechaza la palabra. xy para el AFP generado a partir de la gramtica libre de contexto :

para el AFP generado a partir de la gramtica en forma normal de Chomsky:

xxxyyyyyy para el AFP generado a partir de la gramtica libre de contexto :

para el AFP generado a partir de la gramtica en forma normal de Chomsky:

xyxy para el AFP generado a partir de la gramtica libre de contexto : Rechaza la palabra para el AFP generado a partir de la gramtica en forma normal de Chomsky: Rechaza la palabra para el AFP generado a partir de la gramtica libre de contexto :

para el AFP generado a partir de la gramtica en forma normal de Chomsky: Rechaza la palabra d. Intenta describir que lenguaje genera el lenguaje esta formado por la palabra vacio, o por un conjunto de caracteres x seguidos de un conjunto de caracteres y. 2. Prueba cadenas reconocidas por el siguiente autmata de pila para insertar el autmata de pila en JFlap seleccionamos Pusdown Automaton

seleccionamos la opcin Single Character Input y modelamos el autmata en JFlap

para obtener las trazas para palabras que deseamos probar seleccionamos la opcin Step by State en el men input aabb

opci aabbbb

ab

abb

http://luzem.dyndns.org/2010/03/29/practica-3-talf/