UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

FASE 2
CONOCER FORMALIZMOS USADOS PARA DEFINIR LENGUAJES FORMALES

TRABAJO COLABORATIVO

POR
CRISTIAN DAVID GARCIA RESTREPO
1026133650
CRISTYAN GUARNIZO LIZ
93235774
DANIEL ALEXANDER RIVERA
1234645157
EDDY JOHAN ARISTIZABAL
1017187189

GRUPO
301405_71

TUTOR
ANGELA MARIA GONZALEZ

2020
Contenido
Actividad 3...................................................................................................................................3
Describa la forma matemática del autómata.................................................................................3
Plasme la tabla de transición........................................................................................................3
Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar y describir
cada elemento y la función y significado en el autómata. Conceptos y definiciones adicionales. 4
Elementos.................................................................................................................................4
El conjunto de estados del autómata.....................................................................................4
Alfabeto del autómata..........................................................................................................4
Explicación...........................................................................................................................4
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)..............................................................................................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)..............................................................................................................................................9
Referencias Bibliográficas.........................................................................................................12
Actividad 3
Teniendo en cuenta el siguiente autómata realice:

Describa la forma matemática del autómata

Identificamos la 5-tupla
A = (Q, Σ, q0, δ, F)
A = [{q0, q1, q3, q4}, {a,b,c}, {q0}, δ, {q4}
Q= {q0, q1, q3, q4}
q0 = Estado Inicial
Σ={a,b}
F={q4}
δ =Función de transición

Plasme la tabla de transición.

a b
q0 q4 q0,q3
q1 q1 q4
q3 q4 q1
q4 q0 q4
Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar y
describir cada elemento y la función y significado en el autómata. Conceptos y
definiciones adicionales.
Elementos
El conjunto de estados del autómata
Q= {q0, q1, q3, q4}

Alfabeto del autómata

Σ={a,b,c}
S=q0
F=q4
δ =(q0, a) = q4
δ =(q0, b) = q0,q3
δ =(q1, a) = q1
δ =(q1, b) = q4
δ =(q3, a) = q4
δ =(q3, b) = q1
δ =(q4, a) = q0
δ =(q4, b) = q4

Explicación
Se identifica que es un Autómata Finito NO Determinista AFND, debido a que a
diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈
Q, tal que para un símbolo a ∈ Σ del alfabeto, existe más de una transición δ(q,a)
posible.

El autómata cuenta con 4 estados {q0,q1,q3,14} siendo q0 el estado inicial y q4 el

estado final
El alfabeto del autómata es: Σ={a,b,c}
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)

1. Una vez ingresamos al simulador, vamos a la opción “input” y se

selecciona la opción “step by state…”,

2. Se digita la cadena a validar y se presiona OK

3. El simulador muestra abre una ventana en la parte inferior izquierda en la
que se puede observar: el estado en el que se encuentra, para nuestro caso
q0:

4. Para que el simulador inicie el recorrido presionamos el botón “step”,

ubicado en la esquina inferior izquierda
5. Observamos que el simulador descoloriza la primera letra de la cadena (para
el caso la b) y a la vez observamos el estado en el que queda que es q3.

6. Para seguir, presionamos nuevamente “step”, inmediatamente el simulador

descoloriza la letra “b” y vemos como queda en el estado q1 (esto se puede
observar tanto en el cuadro de abajo como en el autómata.
7. Presionamos nuevamente “step”, el simulador descoloriza la consonante “a”
y se puede observar como cambia al estado final q4.
 8. Vemos como el cuadro de abajo cambia el fondo al color morado, esto nos
indica que la cadena que estamos validando “bba” es una cadena válida para
ese autómata.

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).

SIMILITUDES:
En los dos simuladores se pueden realizar la conversión de AFND a AFD.
El diagrama de Moor Tanto en JFLAP y en VAS, presentan un análisis dando como
respuesta de ejecución: aceptación o rechazo.
E n J F L A P y e n V A S , s e p u e d e o b s e r v a r e l recorrido progresivamente de un
autómata (JFLAP: input/ step by step y enVAS: debug one step).

DIFERENCIAS:

VAS posee algunas limitaciones (Ejemplo: no es posible efectuar la conversión

de AF a ER.) en las simulaciones y en las limitaciones de conversiones mientras
que JFLAP y sin lugar a dudas tiene muchas más herramientas de uso, JFLAP permite
correr varias cadenas de entrada al tiempo y evaluar su grado de aceptabilidad.
En JFLAP los diagramas no se puede observar la transición de los
símbolos. en JFLAP se eligen los botones; se mantiene la selección y se p u e d e
seguir insertando estados o transacciones, en VAS hay que volver a
seleccionar el botón del elemento a insertar, el primero los gráficos son a color, en el
segundo muestra las transacciones continuas, el primero las muestra paso a paso.

Podemos indicar que en el VAS no se requiere colocar las expresiones 1 a 1 como en

el JFLAP
 Conclusiones

Mediante el desarrollo de esta actividad se apropiaron los conceptos para la creación de

Autómatas y Lenguajes Formales, tales como Alfabetos, cadenas y Lenguajes.

Se evidencio a través de ejercicios prácticos la diferencia entre Autómatas Finitos

Determinísticos y No determinísticos, sus transiciones.

Conocimos el uso de herramientas como JFLAP y Visual Autómata Simulator mediante

ejercicios prácticos.
Referencias Bibliográficas

Expresiones Regulares: Una forma diferente de expresar un lenguaje

http://ocw.unican.es/ensenanzas-tecnicas/teoria-de-automatas-y-lenguajes-
formales/materialde-clase-nuevo/nuevo/1-5_Expresiones_regulares.pdf

Expresiones Regulares
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo7.pdf
Máquinas Secuenciales Autómatas y Lenguajes. Tema 4: Expresiones regulares.
http://www.ia.urjc.es/cms/sites/default/files/userfiles/file/GICMSAL/Tema4_Expresion
esRegulares.pdf

Expresiones Regulares http://users.dsic.upv.es/asignaturas/eui/alc/ER.pdf

Expresiones Regulares
https://ccc.inaoep.mx/~emorales/Cursos/Automatas/ExpRegulares.pdf

Expresiones Regulares. Introducción a la lógica

http://www.cs.famaf.unc.edu.ar/wiki/lib/exe/fetch.php?media=intrologica:2014:class-3-
handout-last.pdf

Lenguajes y algebra de eventos regulares

http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Summer_Research_files/Algeb
ra_regularPablo.pdf