Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Presentado a:
JHEIMER JULIAN SEPULVEDA
Tutor
Entregado por:
Grupo: 301405_54
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
δ(q0, 1) = q0
δ(q0, 1) = q1
δ(q0, 2) = q2
δ(q1, 1) = q2
δ(q1, 2) = q1
δ(q1, 2) = q2
Eliminación q1
- Paso 2
Eliminación q0
1. Ejercicio 1 2. Ejercicio 2
3. Ejercicio 3 4. Ejercicio 4
5. Ejercicio 5
EJERCICIO A
TRABAJAR
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:
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
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:
δ(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.
SIMILITUDES DIFERENCIAS
Los dos manejan un estado inicial y final En el entorno no se ven las opciones de eliminar
y retroceder
El entorno es muy similar la interfaz grafica La forma de crear los estados es diferente
Reconoce el alfabeto de igual manera 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