AUTÓMATAS Y LENGUAJES FORMALES

UNIDAD 1: TAREA 2
ACTIVIDAD COLABORATIVA

Presentado por:
Diego Alexander Velasco
Esther Cecilia Correa
Diego Alejandro Manco Agudelo
Lina Saldarriaga Perea

Tutor:
Fernando Rojas

Grupo colaborativo:
301405_86

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería – ECBTI
Antioquía-Medellín
Octubre 2020
 DESARROLLO DEL EJERCICIO COLABORATIVO

Ejercicio grupal: construir autómata

Construir un autómata que realice lo siguiente:
ER = {(a)* + cd(ab)*b}
Deben diligenciar la siguiente información:

Registre aquí el autómata realizado, por favor agregue

imagen.

EJERCICIO A
TRABAJAR

Notación formal En este espacio agrega la notación formal del autómata.

del autómata Identifique la quíntupla del autómata creado
minimizado
Quíntupla del autómata:

A= {Q, ∑, δ, I, F)
Q: {q0, q1, q2, q3, q4, q5}
I: q5
F: q3, q4, q5
Σ: {a, b, c, d}
Donde la función δ: {q0, q1, q2, q3, q4, q5} x {a, b, c, d}
 {q0, q1, q2, q3, q4, q5} viene dada por:

δ: (q5, a) = q4
δ: (q4, a) = q4
δ: (q5, c) = q1
 δ: (q1, d) = q2
δ: (q2, a) = q0
δ: (q0, b) = q2
δ: (q2, b) = q3

Identifique los elementos (Tupla, estado final, inicial,

alfabeto, etc.). Debe explicar y describir cada elemento, la
función y significado en el autómata. Conceptos y
definiciones adicionales.

M= ({q0, q1, q2, q3, q4, q5}, {a, b, c, d} δ, q5, {q3, q4,
q5})

Tabla de transición

a b c d
q0 -------- q2 -------- --------
q1 -------- -------- -------- q2
q2 q0 q3 -------- --------
#q3 -------- -------- -------- --------
#q4 q4 -------- -------- --------
Caracterización
del autómata  #q5 q4 -------- q1 --------
parte teórica
- Identificación del Autómata Finito
Es un autómata finito determinístico, pues en cada
entrada existe uno y solo un estado al que el autómata
puede hacer transición desde el estado actual.

- Explicar las características del tipo de autómata

- El estado inicial y final q5 con símbolo a se dirige al
estado final q4.
- El estado final q4 con símbolo a se dirige al estado
final q4.
- El estado inicial y final q5 con símbolo c se dirige al
estado q1.
- El estado q1 con símbolo d se dirige al estado q2.
- El estado q2 con símbolo a se dirige al estado q0.
- El estado q0 con símbolo b se dirige al estado q2.
- El estado q2 con símbolo b se dirige al estado final q3.
- El estado final q3 no se dirige a ningún estado.
Lenguaje
regular Conociendo el autómata
 El cual dispone de la expresión regular {(a)* + cd(ab)*b}
interpretamos que su lenguaje regular es:

LR= {(cd).(ab)*.(b)} U {a}*

Validación de Identifique 5 cadenas aceptadas y cinco cadenas rechazadas.

cadenas
Practicar y Muestre en el simulador JFLAP (Anexo 1 – JFLAP) o vas
verificar lo (Anexo 2 – VAS) (gráficamente) como recorre una cadena
aprendido válida. Explique cada secuencia (No se trata solo captura de
las imágenes, estas deben ser explicadas en pie de página o
de lo contrario no tienen validez)

Inicia en el estado q5 en dirección al estado q1 con el

símbolo c.
El estado q1 recibe el símbolo c y este sale con el símbolo d
en dirección al estado q2.

Este estado q2, tiene diferentes opciones, pasar al estado

final q3 con el símbolo b o pasar al estado q0 con el símbolo
a, en nuestro caso, pasara al estado q0, con el símbolo a.
Este estado recibe el símbolo a, pero devuelve al estado q2,
con el símbolo b.

En este proceso, baja nuevamente al estado q0 con el

símbolo a.
El estado q2 recibe nuevamente el símbolo b del estado q0 y
pasamos al estado final q3.

Finalizamos la cadena de forma exitosa en el estado q3.

 REFERENCIAS BIBLIOGRÁFICAS

Amarillo, A. M. (30 de Mayo de 2016). Youtube. Obtenido de Conversion

de AFN a AFD con transiciones vacias:
https://www.youtube.com/watch?v=NF47BSorRfU
Amarillo, A. M. (30 de Mayo de 2016). Youtube. Obtenido de Conversion
de AFN a AFD: https://www.youtube.com/watch?v=29Qp_AWXFt4
Amarillo, A. M. (06 de Junio de 2016). Youtube. Obtenido de Conversion
de AFN a AFD - 2 ejemplo: https://www.youtube.com/watch?
time_continue=1155&v=uLOXjZUTYyc
LENGUAJES, A. (21 de Julio de 2016). Youtube. Obtenido de De
Autómata Finito a Expresión Regular:
https://www.youtube.com/watch?
time_continue=259&v=ycpkox09-sg
Rondon, R. (19 de Mayo de 2017). Youtube. Obtenido de automata finito
no determinista: https://www.youtube.com/watch?v=l1qAecqgEII
Universidad Pedagogica Experimental Libertador. (03 de Julio de 2012).
Blogspot. Obtenido de Matematicas discretas:
http://matematicadiscretaupel.blogspot.com.co/2012/07/automat
a-de-estado-finito.html
Zambrano, H. Y. (28 de Abril de 2015). Youtube. Obtenido de
Expresiones Regulares - (1/2): https://www.youtube.com/watch?
v=7N6K-ySja2I