Universidad Nacional Abierta y a Distancia TRABAJO COLABORATIVO 1

Cdigo curso: 301405 Grupo: 08

AUTOMATAS Y LENGUAJES FORMALES

Tutor: CARLOS ALBERTO AMAYA TARAZONA

Presentado por:

CESAR ENRIQUE MORAN FERNANDEZ COD 12990690

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CEAD PASTO INGENIERIA DE SISTEMAS MARZO DE 2013

Universidad Nacional Abierta y a Distancia EJERCICIO A DESARROLLAR: PARTE 1: Dada la siguiente tabla de transicin: X q1 q1 q3 Y q2 q3 q2 Z q1 q2

q0 q1 q2 q3

(Ntese que hay interacciones con smbolo vaco, diferente a cadena vaca) 1. Exprese el autmata en notacin matemtica. Identifique que tipo de autmata es (AFD o AFND) y justifique su respuesta. (No se trata de dar el concepto de determinismo). Es un Autmata Finito No Determinstico AFND. Un Autmata Finito es No Determinstico cuando se permite que el AF tenga 0 o ms estados siguientes para cada par estado-entrada. El no determinismo del autmata proviene del hecho de que en cada momento (para cada smbolo de entrada y cada estado) pueden existir varias posibilidades de transicin (o ninguna).

2. Identifique los elementos (tupla que es). Debe explicar y describir cada elemento y la funcin y significado en el autmata. Conceptos y definiciones adicionales. Un Autmata Finito se representa como la quntupla: A = (, Q, , q0, F). Donde: es un alfabeto de smbolos de entrada (x, y, z) Q es un conjunto finito de estados (q0, q1, q2, q3) es una funcin de transicin. q0 es el estado inicial/de comienzo (q0) F representa cero o ms estados finales/de aceptacin. (q3)

Universidad Nacional Abierta y a Distancia 3. Identifique el lenguaje que genera.

L = { {x,y,z}* = {xy,zy,zyx,zzx,xyx,xzx} 4. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada secuencia.

Universidad Nacional Abierta y a Distancia 5. Muestre el diagrama de Moore generado en JFLAp y en VAS y comente que similitudes o diferencias encuentra al realizarlo en los dos simuladores. (Herramientas que ofrezcan uno u otro).

Universidad Nacional Abierta y a Distancia

JFLAP es una herramienta Java que facilita la experimentacin con autmatas finitos, y su equivalencia con expresiones regulares y gramticas. JFLAP permite experimentar con las pruebas de la construccin de una forma a otra, como la conversin de un AFND a un AFD, de un estado mnimo de AFD a una expresin regular o gramtica regular. VAS es herramienta que trata de una aplicacin escrita en Java y de cdigo abierto que permite editar y simular AFD, AFND. La interfaz de JFLAP es ms agradable que la de VAS, toda vez que en la construccin de autmatas estas me aparecen en color. En la construccin del autmata con JFLAP es ms intuitivo que con VAS. Una de las ventajas de VAS con respecto a JFLAP es que, en VAS me despliega la Tabla de transicin, en JFLAP no.