TRABAJÓ GRUPAL FASE 2

GRUPO: 301405_28

CRISTIAN DAVID CASTAÑEDA

CRISTIAN ANDRES PRIETO

JORGE JONATHAN FIQUE

JULIE MARCELA GUTIERREZ

TUTOR
VERMEN RAINER AYALA

UNIVERISAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

OCTUBRE 2020
 PRIMER APORTE SIGNIFICATIVO DE LA SOLUCIÓN

EJERCICIO A TRABAJAR

Identificación de la quíntupla

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

{q3,q4,q5}) K = {q0, q1, q2,q3,q4,q5}
NOTACIÓN FORMAL S = {a, b,
DEL AUTÓMATA c,d} S = q5
MINIMIZADO F = q4,q3

Tabla de transición
q a b c d
q0 ----- ---- ---- q2
q1 ----- q2 ---- ----
CARACTERIZACIÓN DEL q2 q1 q3 ----- ---
AUTÓMATA PARTE q3 ---- ----- ---- -----
TEÓRICA q4 q4 --- --- --
q5 q4 ----- q0 -----

LENGUAJE REGULAR {(a)*+cd(ab)*b}

5 cadenas
aceptadas

VALIDACIÓN
DE CADENAS
5 cadenas rechazadas
PRACTICAR Y APLICAR IMÁGENES DEL SIMULADOR JFLAP
LO APRENDIDO
SEGUNDO APORTE SIGNIFICATIVO AL EJERCICIO

Ejercicio Grupal: Construir autómata Construir un autómata que realice lo

siguiente: ER = {(a)*+cd(ab)*b}

Deben diligenciar la siguiente información:

EJERCICIO A Registre aquí el Autómata realizado. Por favor agregue la imagen.

TRABAJAR
ER = {(a)*+cd(ab)*b}
r =r 1+ r 2 donde r 1= ( a )¿ y r 2=cd ( ab )¿ b
¿
Obtención de r 1= ( a )

r 2 se puede expresar como r 3 . r 4 .r 5 donde r 3=cd , r 4 =( ab )¿ y r 5=b

El autómata para r 3 es:

El autómata para r 4 es:

El autómata para r 5 es:

Acorde a lo anterior r 2queda de la siguiente forma:

 El autómata final r =r 1+ r 2 queda de la siguiente forma:

Notación formal del En este espacio agrega la notación formal del autómata. Identifique la quíntupla del autómata
autómata minimizado creado.

AFD1 = ( ∑, Q, qi, F, f ), donde: ∑ ¿{a , b . c }(Conjunto de símbolos de entrada del AFD)

Q={q 0 , q 1 , q 2 , q 3 , q 4 , q5 , q6 , q7 , q 8 , q 9 , q 10 , q 11 , q12 , q 13 , q14 , q 15 , q16 }(Conjunto de estados
del AFD) 

qi = q 0(estado inicial del AFD  (q 0 Є Q))

F= {q 16}

f: función de transición de estados del AFD 

Caracterización del Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar y describir
autómata parte teórica cada elemento y la función y significado en el autómata. Conceptos y definiciones adicionales.

AFD1 = ( ∑, Q, qi, F, f ), donde: ∑ ¿{a , b . c }(Conjunto de símbolos de entrada del AFD)

Q={q 0 , q 1 , q 2 , q 3 , q 4 , q5 , q6 , q7 , q 8 , q 9 , q 10 , q 11 , q12 , q 13 , q14 , q 15 , q16 }(Conjunto de estados
 del AFD) 

qi = q 0(estado inicial del AFD  (q 0 Є Q))

F= {q 16}

f: función de transición de estados del AFD 

AFND-λ =<{q0 , q1 , q2 , q3 , q4 , q 5 , q 6 ,q 7 , q8 , q9 , q10 , q11 , q 12 , q13 , q14 , q15 ,q 16 } , {a,b,c}, δ,q 0

,{q 16 }>, con δ definida por el siguiente diagrama de transición de estados

Lenguaje Regular En este espacio agrega el lenguaje regular del autómata.

ER = {(a)*+cd(ab)*b}

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

Cadenas aceptadas
1. a
 2. cdb

3.aaaa
4.aa

5. cdababb
Cadenas rechazadas

1.ac

2.cb
3.cda

4.cbb

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

Cadena valida cdabb

El autómata inicia su proceso en q0 pasa a q4 donde se encuentra el valor c, de ahí empieza
a buscar el valor d llegando a q6, busca el siguiente valor de la cadena que es a el cual se
encuentra en q9, pasa a buscar el siguiente valor que es b que se encuentra en q11 y por
ultimo busca el valor b que se encuentra en q14 y finaliza el proceso en q16.
 BIBLIOGRAFIA

 Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de
lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 127 - 142).
Recuperado de https://bibliotecavirtual.unad.edu.co/login?url=https://search-
ebscohost-com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=ehost-
live&ebv=EB&ppid=pp_Cover

 Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Universidad de

Extremadura. Servicio de Publicaciones. (pp. 39 - 70). Recuperado de
https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.aspx?
direct=true&db=edsbas&AN=edsbas.621614