UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

FACULTAD DE CIENCIAS BASICAS TECNOLOGÍA E INGENIERÍA

AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 1 FASE 1 – DEBATIR Y DESARROLLAR LOS EJERCICIOS

PLANTEADOS SOBRE LENGUAJES Y EXPRESIONES REGULARES

TUTOR:
CESAR JIMENEZ

PRESENTADO POR:
Oscar Javier Delgado - Código: 80217860
Javier Alexander Anaya Moreno - Código: 80188959

301405_14

INGENIERIA DE SISTEMAS
CEAD JOSE ACEVEDO Y GOMEZ
BOGOTA D.C septiembre de 2018
 DESARROLLO DE LA ACTIVIDAD

Actividad 3:

Teniendo en cuenta los ejercicios desarrollados por los estudiantes el Grupo,

selecciona uno de los autómatas finitos deterministas (AFD). Con base en ese
autómata desarrollan:

1. Describa la forma matemática del autómata.

M= ({A, B, C, D, E, F, G, H}, {1, 0}, δ, A, {A, B, D, H, G})

2. Plasme la tabla de transición.

0 1 0 1
A = {0} U {3} B = {0,2} U {3} C = {1} U {--} #-> A B C
B = {0,2} U {3} B = {0,2} U {3} C = {1} U {--} #B B C
C = {1} U {--} D = {3} U {--} E = {0} U {--} C D E
D = {3} U {--} F = {2} U {--} G = {0} U {3} #D F G
E = {0} U {--} B = {0,2} U {3} C = {1} U {--} E B C
F = {2} U {--} G = {0} U {3} D = {3} U {--} F G D
G = {0} U {3} H= {2} U {3} C = {1} U {--} #G H C
H= {2} U {3} F= {0} U {--} C= {3} U {--} #H F C

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.
M = ({A, B, C, D, E, F, G, H}, {1, 0}, δ, A, {A, B, D, H, G})

Los estados del autómata son los siguientes K = {A, B, C, D, E, F, G, H}

El alfabeto que se está utilizando es el siguiente Σ = {1, 0}

El estado inicial del autómata es s = A

Los estados finales del autómata son los siguientes F = {A, B, D, H, G}

𝛾 = ∑ 𝑋 𝐾 = 𝑘 es la función de transición indica a qué estado se va a pasar, sabiendo cuál

es el estado actual y el símbolo que está leyendo.

Donde la función es 𝛾: (𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹, 𝐺, 𝐻)𝑋(0, 1) = (𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹, 𝐺, 𝐻), la cual viene

dada por:

𝛾(𝐴, 0) = 𝐵 𝛾(𝐴, 1) = 𝐶
𝛾(𝐵, 0) = 𝐵 𝛾(𝐵, 1) = 𝐶
𝛾(𝐶, 0) = 𝐷 𝛾(𝐶, 1) = 𝐸
𝛾(𝐷, 0) = 𝐹 𝛾(𝐷, 1) = 𝐺
𝛾(𝐸, 0) = 𝐵 𝛾(𝐸, 1) = 𝐶
𝛾(𝐹, 0) = 𝐺 𝛾(𝐹, 1) = 𝐷
𝛾(𝐺, 0) = 𝐻 𝛾(𝐺, 1) = 𝐶
𝛾(𝐻, 0) = 𝐹 𝛾(𝐻, 1) = 𝐶
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)

Secuencia 11110

Desde A se pasa a C con valor 1 aceptando el parámetro y continuando con la

transición.
 Desde C se pasa a E con valor 1 aceptando el parámetro y continuando con la
transición.

La secuencia sigue su camino de E retornando a C con valor de 1

Nuevamente Desde C se pasa a E con valor 1 aceptando el para continuar la secuencia

 Finalmente la secuencia llega a B con valor de 0 y colocando el fin de la
secuencia en verde para notificar que la cadena ingresada ha sido aceptada.

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

JFLAP
 VAS

En ambos simuladores se pueden elaborar los diagramas de Moore y recorrer sin

inconvenientes las cadenas que acepta el autómata. En el simulador VAS nos permite
generar la tabla de transiciones y pasar un autómata finito no determinísticos (AFND) a un
autómata finito determinísticos (AFD), mientras que el simulador JFLAP, se puede
considerar más completo, permitiendo generar AFND a AFD, incluyendo otras opciones
como obtener la Expresión Regular ER, seguir el proceso de una cadena, generar la
gramática, minimizar, comparar equivalencias entre otras funcionalidades.
 REFENCIAS BIBLIOGRAFICAS

 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318
032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover
 Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1
-124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114
&ppg=10
 Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes
formales. (pp. 7-797). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456
&ppg=6
 Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-
62). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351
 Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 207-232).
Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=260&docID=
10751543&tm=1481476339478
 González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video].
Recuperado de http://hdl.handle.net/10596/10470
 CK-12, (2015). Operations with Sets. [OVA]. Recuperado de
http://www.ck12.org/probability/Operations-with-Sets/plix/Lets-Roll-the-Dice-
56e1fc1f8e0e0813d4b14128/?referrer=concept_details.
 CK-12, (2015). Operations with Sets Practice. [OVA]. Recuperado de
http://www.ck12.org/probability/Operations-with-Sets/asmtpractice/Operations-with-
Sets-Practice/?referrer=concept_details
 González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web].
Recuperado de http://hdl.handle.net/10596/18315