AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 1: FASE 1 - DEBATIR Y DESARROLLAR LOS EJERCICIOS

PLANTEADOS SOBRE LENGUAJES Y EXPRESIONES REGULARES

PRESENTADO POR:

ASUNCION MEZA VILLANUEVA

CODIGO 18971869

GRUPO: 301405_98

TUTOR: EDGAR ANTONIO CORTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
CERES CURUMANI
SEPTIEMBRE 2017
ACTIVIDADES COLABORATIVAS

Ejercicio 1: Teniendo en cuenta el autmata realizar paso a paso el procedimiento

de:

1. Hallar la expresin regular

(aa+ab+ba+bb)*
a*(a + b)
(aa)*(bb)*b

2. Hallar el lenguaje regular

{a} y {b}
{a, b}.
{ab}
{a, ab}
3. Justificar el tipo de autmata que es
Ejercicio 2:

Realizar la conversin del siguiente autmata, si el autmata es AFD

convertirlo a AFND y si es AFND convertirlo a AFD, Se debe mostrar el
procedimiento paso a paso.

Es (NFA) y se convirti a (DFA)

a b

q0 q4 q3

q1 q4 q1

q2 q0 q3

q3 q3 q2

q4 q3 q3

q5 q3 q2, q6

q6 q1 q3
 a b

q0 q1 q2

q2 q2 q4

q4 q0 q2

q1 q3 q3

q3 q0 q2

Ejercicio 3:

Teniendo en cuenta el ejercicio anterior, seleccionar el autmata finito determinista

(AFD). Con base en ese autmata desarrolle:

1. Describa la forma matemtica del autmata,

2. Plasme la tabla de transicin.

a b

q0 q1 q2

q2 q2 q4

q4 q0 q2

q1 q3 q3

q3 q0 q2
 3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe
explicar y describir cada elemento y la funcin y significado en el
autmata. Conceptos y definiciones adicionales.
Un autmata finito es una 5-tupla (Q, , q0, , F) donde:
Q es un conjunto finito de estados.
es un alfabeto finito;
q0 Q es el estado inicial;
: Q x Q es una funcin de transicin;
es un conjunto de estados finales o de aceptacin.

Q = {q0, q2, q3, q4}

= {a, b}
= {((q0, a), q4),((q0, b), q3),((q2, a), q0),((q2, b), q3),((q3, a), q3),((q3, b), q2) ),((q4, a), q3),((q4, b),
q3) }

F = {q4}

4. Muestre en el simulador (grficamente) como recorre una cadena vlida.

Explique cada secuencia. (No se trata solo de captura las imgenes, estas
deben ser explicadas en pi de pgina o de lo contrario no tienen validez).
R/ Inicialmente empieza la secuencia en Q0

.
En q0 con la transaccin (a) cambia al estado q4 donde va estar cclicamente
aabbbaab
En q4 con la transaccin (b) cambia al estado q3

Finalmente se pasa de Q2 a q0 con a hasta finalizar la cadena valida y parar.

5. 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.
(Ventajas que ofrezca uno u otro).

Con JFLAP se pueden correr varias cadenas de entrada al tiempo y evaluar

su grado de aceptabilidad.

Con JFLAP se permite convertir a gramtica.

 si se compara el diagrama de Moore con Jflap, podemos decir que se ve
mejor con Vas pero, no permite muchas otras simulaciones.
REFERENCIAS BIBLIOGRAFICAS

Mdulo del Curso 301405 Autmatas y Lenguajes Formales Universidad Nacional

Abierta y a Distancia. Escuela de Ciencias Bsicas Tecnologa e Ingeniera.
Programa de Ingeniera de Sistemas. Duitama (ZCBOY).Versin 4 2014.

Autmatas y lenguajes formales UNAD

YouTube
URL: https://www.youtube.com/watch?v=RyH2Veiz3dU

Pagina nueva 1
Profesores.frc.utn.edu.ar
URL: http://www.profesores.frc.utn.edu.ar/sistemas/ssl/marciszack/ghd/T-M-
AFND.htm

Uso de los dos simuladores: JFLAP y VAS.