27

TAREA 2 DISEÑO DE AUTÓMATAS
PARTICIPANTES:
CC: 1144087814 - FRANCY ANGELLY LISCANO MONTENEGRO
GRUPO No. 27
Tutor:
RAFAEL PÉREZ HOLGUÍN (TUTOR VIRTUAL)
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
AUTÓMATAS Y LENGUAJES FORMALES - 301405
COLOMBIA
2022
EJERCICIOS A DESARROLLAR
A continuación, se definen los ejercicios a desarrollar:

Ejercicios 1: Autómata a Expresión regular
EJERCICIO POR Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen
TRABAJAR
Caracterización del En este espacio se realiza:

autómata - Identificación de la quíntupla del autómata
- 5−tupla(k , ∑ , δ , s , f )
- M =( { q 0 , q 1 , q 2 , q 3 } , { 0 ,1 } , δ ,q 0 , { q 1 })
k ={q 0 , q 1 ,q 2, q 3 }
∑={0 , 1 }
s=q 0
f =q 1
Donde la función δ ={ q 0 ,q 1 , q 2 , q 3 }∗{ 0 , 1 } → { q 1 , q 2 , q 2 , q 3 } viene dada por :

δ ( q 0 , 0 )=q 2
δ ( q 0 , 1 )=q 1
δ ( q 2 ,0 )=q 2
δ ( q 2 ,1 ) ={q 1 , q 3 ¿
δ ( q 3 ,1 )=q 1
- Plasme la tabla de transición
0 1
q0 q2 q1
q2 q2 q1, q3
q3 ∅ q1
q1 q1 ∅
- Identificación del Autómata Finito Determinista o Autómata Finito No

Determinista.
R//: El ejercicio a) es un autómata finito determinista No determinista
- Explicar las características del tipo de autómata
 El autómata puede responder de diferentes maneras diferentes antes el

símbolo de entrada.
 Definida mediante una quíntupla
 Existe más de una transición(aristas), a partir de diferentes estados no como
los finitos que son a partir de un estado único
 K= número de conjunto de estados
 Σ es un alfabeto finito de símbolos de entrada;
s es el estado inicial en K;
 F es el conjunto de estados finales o de aceptación y (evidentemente)
 subconjunto de K.
δ es la relación de transiciones, que a partir de un estado y un símbolo del
 Cada combinación o símbolo de entrada pueden estar en varios estados de
manera simultanea
Ejemplo
El estado q2 con 1 va para q3 y q1
Procedimiento de Realice de manera detallada el procedimiento paso a paso de la conversión del

conversión de autómata a expresión regular y según ejemplo revisado.
Autómata Finito a
Expresión Regular - Paso 1: Eliminación de estados
paso a paso Analizar transiciones
Se realiza la conversión por medio de la eliminación de q2

- Eliminar q2
¿
0+ 0 +1+1
- Paso 3…
-
Eliminación q3
¿
0+ 0 +1+1+1
Eliminación q0
¿
0+ 0 +1+1+1+1
Autómata Final En este espacio se presenta la expresión correspondiente al

convertido autómata trabajado.
¿
ER=0+0 + 1+1+1+1
Lenguaje En este espacio agrega el lenguaje regular correspondiente a

regular la expresión regular.
¿
0+ 0 +1+1+1+1
En la expresión regular inicia en 0 y finaliza en 1
Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No

deterministas (AFD a AFND) y viceversa
Con el ejercicio seleccionado debe diligenciar la siguiente tabla:
EJERCICIO
POR
TRABAJAR
Caracterización En este espacio se realiza:

del autómata - Identificación de la quíntupla del autómata
- 5−tupla(k , ∑ , δ , s , f )
- M =( { q 0 , q 1 , q 2 , q 3 } , { 0 ,1 } , δ ,q 0 , { q 1, q 3 })
k ={q 0 , q 1 ,q 2, q 3 }
∑={0 , 1 }
s=q 0
f ={q 1 ,q 3}
δ ( q 0 , 0 )=q 2
δ ( q 0 , 1 )=q 1
δ ( q 2 ,0 )=q 1 , q 3
δ ( q 3 ,1 )=q 2 , q 2
δ ( q 1 ,0 )=q 3
- Plasme la tabla de transición
0 1
q0 q2 q1
q2 q1, q3 ∅
q3 ∅ q2, q1
q1 q3 ∅
- Identificación del Autómata Finito Determinista o Autómata
Finito No Determinista
R// es un autómata finito No determinista
- Explicar las características del tipo de autómata
 El autómata puede responder de diferentes maneras diferentes

antes el símbolo de entrada.
 Definida mediante una quíntupla
 Existe más de una transición(aristas), a partir de diferentes
estados no como los finitos que son a partir de un estado
único
 K= numero de conjunto de estados
 F es el conjunto de estados finales o de aceptación y
(evidentemente)
δ es la relación de transiciones, que a partir de un estado y un
símbolo del
 Cada combinación o símbolo de entrada pueden estar en
varios estados de manera simultanea
Ejemplo
El estado q2 con 0 va para q3 y q1
Procedimiento Realice de manera detallada el procedimiento paso a paso de la

de conversión conversión del autómata según corresponda y según ejemplo
paso a paso revisado.
Conversión de Autómatas Finitos Deterministas a
Autómatas Finitos No deterministas (AFD a AFND)
- Paso 1…
Sustituimos con la formula
0 1
q0 Q2 Q1
q1 Q3 --------
q2 Q1, Q3 -----
q3 -- Q2,Q1
- Paso 2…
0 1
q0 q1 q2
q1 q3 q4
q4 q3 -----
q3 -- q4
q2 q3 q4
- Paso 3…
Una vez queda lista las transiciones se procede a realizar el
autómata en base a la tabla de transiciones.
Autómata Final
convertido
Practicar y Apoyándose en el simulador JFlap JFLAP (Anexo 1 - JFLAP) o

verificar lo VAS (Anexo 2- VAS) ejecutar los dos autómatas, el original y el
aprendido autómata resultado final de la conversión y validar por lo menos
tres cadenas válidas y tres cadenas rechazadas.
Imagen 1 Cadena rechazada
Imagen 2Cadena rechazada
Imagen 3Cadena Rechazada

Imagen 4 Cadena aceptada
Imagen 5 Cadena aceptada
Imagen 6 Cadena Aceptada

Ejercicio Grupal: Construir autómata
Construir un autómata que realice lo siguiente:
ER = (a+bb(ab)*a)(b(ab)*a)*
Deben diligenciar la siguiente información:
EJERCICIO Registre aquí el Autómata realizado. Por favor agregue la imagen

POR
TRABAJAR
Notación En este espacio agrega la notación formal del autómata. Identifique la quíntupla
formal del del autómata creado.
autómata
minimizado - Identificación de la quíntupla del autómata
- 5−tupla(k , ∑ , δ , s , f )
- M =( { q 0 , q 1 , q 2 , q 3 , q 4 } , { a , b } , δ , q 0 , { q 1 , q 4 } )
k ={q 0 , q 1 ,q 2, q 3 , q 4 }
∑={a ,b }
s=q 0
f ={q 1 ,q 4 }
δ : Relación de transiciones
a b ab bb
q0 q1 q2
q1 q2 q1, q3
q2 q1 -----
q3 q4 --- q3
q4 ------ ------ ------ ------
Caracterizaci Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar
ón del y describir cada elemento y la función y significado en el autómata. Conceptos y
autómata definiciones adicionales.
parte teórica
 K= número de conjunto de estados

 F es el conjunto de estados finales o de aceptación y (evidentemente)
δ es la relación de transiciones, que a partir de un estado y un símbolo del
Cada combinación o símbolo de entrada pueden estar en varios estados de manera
simultánea.
- Identificación de la quíntupla del autómata

- 5−tupla(k , ∑ , δ , s , f )
- M =( { q 0 , q 1 , q 2 , q 3 , q 4 } , { a , b } , δ , q 0 , { q 1 , q 4 } )
k ={q 0 , q 1 ,q 2, q 3 , q 4 }
∑={a ,b }
s=q 0
f ={q 1 ,q 4 }
Lenguaje lenguaje regular ={ a , b , bb , ab }

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

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

ab Esta cadena está
compuesta por 2
dígitos en el estado q0
con a llega a q1(se
dirige nuevamente a
q1 con b ) el cual es
uno de los estados de
aceptación, debido a
que termino en el
estado final
bba Esta cadena está
compuesta por 3
con bb llega a q2(se
dirige con a q1) el
cual es uno de los
estados de aceptación,
debido a que termino
en el estado final.
ababa Esta cadena está
compuesta por 4
con a llega a q1,
cumple el ciclo
(aab) En esta imagen se
muestra que el
estado inicial es q0
por lo tanto inicie
desde este punto y
al pasar por la
cadena a llega al
estado q1 y luego a
q2 llegando un
estado de rechazo,
puesto que no es el
estado de
finalización
b En esta imagen se
muestra que el
estado inicial es q0 y
se queda ahí por lo
tando no se cumple
el ciclo y es
rechazada la
respuesta.
Referencias bibliográficas
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).
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).
https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.aspx?
direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site
OVI Unidad 1 - Autómatas Finitos
González, A. (2017). Autómatas Finitos. Repositorio Institucional UNAD.

http://hdl.handle.net/10596/10470
OVA Unidad 1 - Lenguajes Regulares
González, A. (2018). Lenguajes Regulares. Repositorio Institucional UNAD.

http://hdl.handle.net/10596/18315
González, A. (2020). Lenguajes Regulares. Repositorio Institucional UNAD.

https://campus113.unad.edu.co/ecbti73/mod/hvp/view.php?id=1672

27

Cargado por

Copyright:

Formatos disponibles

27

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

27

Cargado por

Copyright:

Formatos disponibles

TAREA 2 DISEÑO DE AUTÓMATAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

A continuación, se definen los ejercicios a desarrollar:

Caracterización del En este espacio se realiza:

Donde la función δ ={ q 0 ,q 1 , q 2 , q 3 }∗{ 0 , 1 } → { q 1 , q 2 , q 2 , q 3 } viene dada por :

- Plasme la tabla de transición

- Identificación del Autómata Finito Determinista o Autómata Finito No

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

 El autómata puede responder de diferentes maneras diferentes antes el

El estado q2 con 1 va para q3 y q1

Procedimiento de Realice de manera detallada el procedimiento paso a paso de la conversión del

Se realiza la conversión por medio de la eliminación de q2

Autómata Final En este espacio se presenta la expresión correspondiente al

Lenguaje En este espacio agrega el lenguaje regular correspondiente a

En la expresión regular inicia en 0 y finaliza en 1

Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No

Con el ejercicio seleccionado debe diligenciar la siguiente tabla:

Caracterización En este espacio se realiza:

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

 El autómata puede responder de diferentes maneras diferentes

El estado q2 con 0 va para q3 y q1

Procedimiento Realice de manera detallada el procedimiento paso a paso de la

Practicar y Apoyándose en el simulador JFlap JFLAP (Anexo 1 - JFLAP) o

Imagen 2Cadena rechazada

Imagen 3Cadena Rechazada

Imagen 5 Cadena aceptada

Imagen 6 Cadena Aceptada

Construir un autómata que realice lo siguiente:

Deben diligenciar la siguiente información:

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

 K= número de conjunto de estados

- Identificación de la quíntupla del autómata

Lenguaje lenguaje regular ={ a , b , bb , ab }

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

Cadena Validación Captura JFLAP

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

González, A. (2017). Autómatas Finitos. Repositorio Institucional UNAD.

OVA Unidad 1 - Lenguajes Regulares

González, A. (2018). Lenguajes Regulares. Repositorio Institucional UNAD.

González, A. (2020). Lenguajes Regulares. Repositorio Institucional UNAD.

También podría gustarte