ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

del autómata Según la identificación inicial del ejercicio
podemos determinar que el ejercicio es
Identificación del Autómata Finito no
Determinista
- Explicar las características del tipo de autómata

Podemos concluir que el ejercicio seleccionado

en el caso es el ejercicio 2 el cual cuenta con
las siguientes características por lo cual se
hacen que sea un autómata finito, este tiene
un estado inicial y un estado final. Su
funcionamiento se puede dar por varias líneas
se basa en una función de transición de un
estado a otro para finalmente detenerse en un
estado final o de aceptación, que representa la
salida.
K ={ q0, q1, q2, }
Σ ={1,2)
s = q0
F = q2
Donde la función δ : {q0, q1, q2 } × {1, 2} →
{q0, q1, q2} viene dada por:

δ(q0, 1) = q0
δ(q0, 1) = q1
δ(q0, 2) = q2
δ(q1, 1) = q2
δ(q1, 2) = q1
δ(q1, 2) = q2
Procedimiento Realice de manera detallada el procedimiento paso
de conversión a paso de la conversión del autómata a expresión
de Autómata regular y según ejemplo revisado.
Finito a
Expresión
Regular paso a
paso

Se hará la conversión por medio de la eliminación.

- Paso 1

Eliminación q1

- Paso 2
Eliminación q0

Autómata Final ER=1*(1+2*+1+2)

convertido
1*(1+2*+1+2)
Lenguaje En esta expresión el ejercicio comienza con 1
regular y termina en 2
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas
Finitos No deterministas (AFD a AFND) y viceversa

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4
 5. Ejercicio 5

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR
Caracterizaci En este espacio se realiza:
ón del Según la identificación inicial del ejercicio podemos
autómata determinar que el ejercicio es Identificación del
Autómata Finito no Determinista

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

K ={ q0, q1, q2, q3}
Σ ={a,b)
s = q0
F = q2
Donde la función δ : {q0, q1, q2, q3 } × {a, b} →
{q0, q1, q2, q3} viene dada por:

δ(q0, a) = q1
δ(q0, a) = q3
δ(q1, b) = q2
δ(q3, b) = q3
δ(q3, b) = q2

Procedimient a b
o de q0 q1,q3 -----
conversión q1 ------ q2
paso a paso q2 ------ ------
q3 ------ q2,q3

a b
q0 q1,q3 ------
q1,q3 q2,q3
q2,q3 ------ q2,q3
Autómata
Final
convertido
Practicar y
verificar lo
aprendido

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,
A= [(q0, q1q3, q2q3), (a, b)]

Se puede apreciar que esta expresión se genera por una serie de estados inicial y final y transiciones entre
estos.

2. Plasme la tabla de transición.

a b
q0 q1,q3 -----
q1,q3 ------ q2,q3
q2,q3 ------ q2,q3

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.

Podemos decir que una autómata finito determinista (AFD) es similar a un Autómata
de estados finitos, este se puede llegar representar con una 5-tupla (K, Σ, q°, δ, F)
donde se definen de la siguiente manera:

· K un conjunto de estados = {q0,q1q3,q2q3};

· Σ es una alfabeto = {a,b};

· q° es el estado Inicial = q0;

· δ es la función de transición { q0,q1q3,q2q3}*{a,b};

· δ= Q x Σ → Q: Es una función de transición se da de la siguiente manera:

 δ(q0, a) = q1,q3
δ(q0, b) = -
δ(q1,q3, a) = -
δ(q1,q3, b) = q2,q3
δ(q2,q3, a) = -
δ(q2,q3, b) = q2,q3

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)

Procedemos a realizar varios ingresos de cadenas para ser validadas por el sistema:

Validamos la cadena aa

Se puede observar que la cadena fue aceptada ya que se pone en azul y el estado
inicial q0 toma el color oscuro que se observa en la imagen.
Se observa que la cadena llega al estado final que en este caso es q1,q3 es
acepatada esta cadena.

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

DIAGRAMA MOORE EN JFLAP

DIAGRAMA MOORE EN VSA
SIMILITUDES
Los dos manejan un estado inicial y final
El entorno es muy similar la interfaz grafica
Reconoce el alfabeto de igual manera
DIFERENCIAS
En el entorno no se ven las opciones de eliminar
y retroceder
La forma de crear los estados es diferente
Para crear una unión la línea aparece curva no
recta y se deben asignar las letras
 Bibliografía

 http://www.cimm.ucr.ac.cr/cuadernos/documentos/Normas_APA.pd
f
 Modulo Logica Matematica, Autor Georffrey Acevedo Gomez, UNAD,
Medellin, 2012
 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,
Gramáticas Y Autómatas Para Informáticos. (pp. 127 - 142).
Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true
&db=nlebk&AN=318032&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
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.actio
n?docID=10566114&ppg=10
 Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de
autómatas y lenguajes formales. (pp. 71 - 115). Recuperado
 dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.actio
n?docID=10498456&ppg=6
 Millán, J., Antonio J. (2009). Compiladores y procesadores de
lenguajes. (pp. 28-62). Recuperado
dehttp://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
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.actio
n?ppg=260&docID=10751543&tm=1481476339478