ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.

013_II UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

AUTOMATAS Y LENGUAJES FORMALES ACTIVIDAD 6 TRABAJO COLABORATIVO 1

Presentacin Mauricio Daz Garca Cdula: 93.378.232 CEAD: JAG Programa acadmico Ingeniera Electrnica Nmero Celular: 311 522 3819 e-mail: maodgsanty@hotmail.com

TUTOR JAIME JOS VALDS

BOGOT DC, COLOMBIA

FECHA: 26/11/2013

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II
EJERCICIO A DESARROLLAR: Para el siguiente Autmata Finito denotado como: A2= (E = {1, 2, 3}, Q = {q1, q2 , q3}, f, q1, F = {q2 } ) donde f vine dada por la siguiente tabla:

1. Corrija la tabla de transicin indicando el estado inicial y final. Estado inicial Estado final analizando el autmatas observamos que f, q1, es inicio analizando el autmatas observamos que F = {q2 } final

2. Construya el diagrama de Moore correspondiente.

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

3. Identifique que tipo de autmata es (AFD o AFND) y justifique su respuesta. Es un Autmata Finito Determinstico porque existe una sola va para ir de un estado inicial un estado final 4. Identifique los elementos (quntupla que es). Debe explicar y describir cada elemento y la funcin y significado en el autmata. Conceptos y definiciones adicionales. A2= (E = {1, 2, 3}, Q = {q1, q2 , q3}, f, q1, F = {q2 } ) E = {1, 2, 3}, alfabeto con elementos 1, 2, 3 Q = {q1, q2 , q3} conjunto de estados q1, q2 , q3 f, q1, estado final F = {q2 } estado final o de aceptacion

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

5. Identifique la ER que lo representa. Explique los operadores y cmo actan en la funcin.

6. Identifique el lenguaje que genera. Reconoce las cadenas que inician 1 2 y 3 y que terminen en 3 7. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada secuencia.

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II

8. 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 ofrezca uno u otro).

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA AUTOMATAS Y LENGUAJES FORMALES Cdigo 301405_3 2.013_II 9. Genere la tabla de transicin en VAS y plsmela en el documento, comprela con la plasmada en el ejercicio

10. Por ltimo, identifique las cadenas vlidas que generan las siguientes ER: muestre algunas, pero ms que las cadenas identifique el lenguaje que representa. Seleccione una ER (solo una) y exprtela o genere el autmata o el diagrama de Moore que sea vlido.

si A = {0,1}