PROGRAMA DE INGENIERIA EN SISTEMAS

...

4. Identifique el lenguaje que genera.

Es un lenguaje regular L = {ca, caba, cbababa, cababababababa,...}

Podemos apreciar las palabras de L son solo repeticiones de "aba" donde se repiten varias veces.

5. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada secuencia. (No se trata solo de captura las imágenes, estas deben ser explicadas en pié de página o de lo contrario no tienen validez).

[pic 11] [pic 12]

Cadena caba: Comienza desde q0 con símbolo de c y va a q1.

[pic 13] [pic 14]

Con el símbolo de a q1 va a q2 y luego con símbolo de b retorna a q1.

[pic 15]

Con el símbolo de a q1 finaliza en q2.

6. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres similitudes y tres diferencias que encuentra al realizarlo en los dos simuladores. (Herramientas que ofrezcan uno u otro).

[pic 16] [pic 17]

Diferencias:

-La presentacion en Jflap se puede hacer en colores, la presentacion en Vas no se puede hacer en colores.

-En Jflap cuando se crea q0, q1, q2 se da clip en el circulo y luego clip el escritorio de Jflap y de inmediato aparece q1, si vulevo a dar clip aparece q2 y asi sucesivamente, en cambio en Vas toca se da clip en la herrdura y luego clip en el escritorio de Vas, para darle q0 hay que escribirlo por teclado y asi sucesivamente.

-En Jflap para correr simbolos se da en input, luego en step by step aparaciendo una ventana en la cual se registran y luego se da run apareciendo el automata paso a paso su recorrido o funcionamiento, en cambio en Vas se da los simbolos en la barra superior derecha el alfabeto y luego el string para luego mostrar en pantalla que el el string es aceptado para el automata.

Similitudes:

-Ambos son aplicaciones para probar automatas.

-La estructuracion se hace ambos de la misma forma.

-Ambos corren en Java.

7. Genere tres cadenas válidas y dos no válidas.

[pic 18]

3. Si el autómata inicial (el de la ER4) es un AFD, genere un AFND que reconozca el mismo lenguaje; o por lo contrario si el autómata inicial es un AFND, genere un AFD que reconozca el mismo lenguaje. 1. Describa la forma matemática del autómata 2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata del ejercicio propuesto). 3. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada secuencia. (No se trata solo de captura las imágenes, estas deben ser explicadas en pié de página o de lo contrario no tienen validez) 4. Muestre el diagrama de Moore generado en JFLAP y en VAS 5. Identifique la ER asociada al nuevo diseño y compárela con la expresión regular simplificada (es decir analícelas con dos cadenas válidas y con dos no válidas). Para ello debe identificar en una tabla la jerarquía de operadores regulares, identificando con colores las sentencias matemáticas. Para ello apóyese en el video: http://youtu.be/JZPAHHA2PnE (minuto 14 al 33). O en el video http://youtu.be/wGTxhnPXcw4

Desarrollo EJ4

El EJ4 es un AFND, se cambia a AFD.

[pic 19]

1. Forma Matemática

A=({q0,q1,q2 ) },{a,b,c,d,f,g},f,q0 {qo}

2. Elementos de la tupla

A=,{Q,qO,Σ,δ,f}

Q= {q1,q2,q3 }

Σ={a,b,c,d,f,g}

f={q0}

q0={inicial}

δ=(q0 ,b)=q1 (q0 ,d)=q2

δ=(q1 ,f)=q1 (q1 ,a)=q0

δ=(q2 ,g)=q2 (q2 ,c)=q0

3. Grafica del simulador

Secuencias:

af

[pic 20] [pic 21]

Desde q0 con símbolo af va del estado q0 a q1 por a y no retorna al estado final q0 el cual queda en color verde.

ab

[pic 22] [pic 23] [pic 24]

Desde q0 con símbolo ab va a los estados q1 pasa por f y vuelve a q1 retornando a q0.

afb

[pic 25] [pic 26] [pic 27]

Desde qo con símbolo afb va a q1 pasa por f y retorna a q0.

dgc

[pic 28] [pic 29] [pic 30]

Desde q0 con símbolo dgc va a q2 , va a g y retorna a q0.

dc

[pic 31] [pic 32] [pic 33]

Desde q0 con símbolo dc va a q2 por d y luego retorna a q0 por c.

dgcafb

[pic 34] [pic 35] [pic 36]

[pic 37] [pic 38]

Desde q0 con símbolo dgcafb va de q0 a q2 por d, retorna a q2 por g, luego retorna por c a q0, luego por a va a q1, luego retorna a q1 por f y por b retorna a q0.

4. Diagrama More generado en JFLAP

[pic 39]

4.1 Diagrama More generado en VAS

[pic 40]

5. ER asociada al nuevo diseño

(ab U c)*d

CONCLUSION

Aprendí a manejar el software Visual Autómata.

...