Guia 2 JFLAP

UNIVERSIDAD TECNOLOGICA DE LOS ANDES
FACULTAD DE INGENIERA
CARRERA PROFESIONAL DE INGENIERIA DE SISTEMAS E INFORMATICA

Teoria de Compiladores
UTEA - CPISEI

1. DATOS ACADEMICOS:

a. Nombre Asignatura: Teora de Compiladores
b. Unidad: Primera Unidad
c. Responsable:
Ing. Mario Aquino Cruz
2. PROCEDIMENTAL

- Conocer herramientas para el diseo de ADFs y AFNs
- Realiza pruebas de ER con ADFs y AFNs

3. SESION N (Tiempo Estimado: 02 Horas)

4. MARCO TEORICO
4.1. TRABAJANDO CON JFLAP
4.2. EJECUCIN DE JFLAP

El trabajo con AFND mediante JFLAP se realiza de forma completamente anloga a la
ya conocida por usted. La nica diferencia es que un autmata es no determinista
porque eletiquetado es "de cierta manera". En particular, porque:
Habr estados de los que no salga transicin alguna para un smbolo del alfabeto.
Habr estado de los que salga ms de una transicin para un smbolo del alfabeto.
Un ejemplo de tales autmatas es:.

AFND con JFLAP
Como se aprecia, el autmata finito es no determinista porque se han omitido ciertas
transiciones y se han colocado otras que antes no estaban permitidas. Los
mecanismos de procesamiento de cadenas disponibles en JFLAP son los mismos,
aunque lgicamente el algoritmo que los soporta es ligeramente diferente, para poder
manejar el no determinismo.


UTEA - CPISEI

4.3. HALLAR LA EXPRESION REGULAR DE UN AFD
Antes de trabajar con los AFN, haremos una prueba de cmo se halla la expresin
regular de un autmata finito determinista, como se ve a continuacin:
Encontrar la ER sobre el lenguaje = {a,b} del siguiente autmata (palabras que
contienen exactamente dos as)

Para poder encontrar la ER para el autmata que se muestre, hacemos lo siguiente:
En el men Convert seleccionamos la opcin Convert FA to RE el cual significa sirve
para poder convertir un autmata finito en su expresin regular.

Eligiendo sub men Convert FA to RE
A continuacin nos muestra la siguiente ventana con las indicaciones necesarias para
poder encontrar la ER para el autmata dado.


UTEA - CPISEI

Instrucciones que se deben hacer para encontrar la ER para el autmata

Como podemos ver la figura anterior, nos indica lo que debemos hacer (Put empty
transitions between status with no transitions. 4 more empty transitions needed
= Ponga transiciones vacas entre los estados sin transiciones. 4 o mas transiciones
vacas necesitadas)

Entonces siguiendo estas indicaciones nos quedara de la siguiente forma.(donde
hemos agregado 4 transiciones vacas entre estados que no tenian)


UTEA - CPISEI

En la figura anterior nos muestra otro paso que debemos seguir para poder hallar la
ER, en este caso (Use the collapse state tool to remove nonfinal, noninitial
status, 1 more removals hended = use la herramienta State Collapse para
eliminar los estados no finales y no iniciales, 1 o mas necesitadas)

Hacemos clic en esta herramienta como se muestra en la figura siguiente:

Luego procedemos a eliminar los estados no iniciales y no finales
Cuando eliminamos el estado que no es inicial ni final en nuestro caso el q1, nos
mostrara una ventana siguiente, al cual hacemos clic en el boton Finalize


UTEA - CPISEI

Luego nos muestra un mensaje que la generalizacin de transicin del grafico ha
terminado y a continuacin la ER que en este caso vendra a ser b*ab*ab* el cual lo
tenemos como ejemplo en nuestros cuadernos.

4.4. HALLAR LA EXPRESION REGULAR PARA UN AFN
Supongamos que nos piden hallar la ER para el ANF siguiente y como sabemos por la
parte terica se trata del lenguaje L = ab* a+ :


UTEA - CPISEI

Pero veamos como encontrar la ER anterior.
Menu Convert Convert FA to RE

Nos muestra lo siguiente:

En las observaciones nos pide que (Create a new state to make a single final state
= crea un nuevo estado para hacer un nico estado final)

UTEA - CPISEI

Luego de haber creado nos muestra la figura anterior, con el nuevo estado final 3 q ,
pero en las observaciones nos indica que debemos hacer los siguiente (Put
transitions from old final states to new = pon transiciones vacas de las antiguas
estados finales al nuevo)
Entonces nos indica que debemos poner transiciones vacas desde los antiguos
estados finales hacia el nuevo creado.


UTEA - CPISEI

Luego de haber creado las transiciones vacas, nos muestra una nueva observacin
(Put Empty transitions between status with no transitions, 10 more empty
transitions needed)

Luego de haber agregado los estados vacos, como se muestra en la figura anterior,
nos muestra una nueva observacin que debemos hacer. (Use the collapse state
tool to remove nonfinal, noninitial status. 2 more removals needed)


UTEA - CPISEI

Al eliminar el estado 1 q que nos estado inicial ni final, nos muestra las tabla de
transiciones que eliminaremos, clic en Finalize

Al eliminar el estado 2 q que nos estado inicial ni final, nos muestra la tabla de
transiciones que eliminaremos, clic en Finalize


UTEA - CPISEI

Luego como podemos ver nos nuestra ER para nuestro autmata inicialmente.


UTEA - CPISEI

5. TRABAJO PREPARATORIO
Encontrar la ER para los siguientes AFDs y ANFs
a)

b)

c)

d)

e)


UTEA - CPISEI

f)

Guardar todos los Ejercicios y las capturas de pantalla de cada paso realizado
en una carpeta con nombre y apellido luego comprimirlo y entregar al docente.

Guia 2 JFLAP

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Guia 2 JFLAP

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIDAD TECNOLOGICA DE LOS ANDES

Vous aimerez peut-être aussi