UNIDAD 1, 2 Y 3: FASE 5 - DESARROLLAR APLICACIONES CON

AUTÓMATAS.

AUTOMATAS Y LENGUAJES FORMALES

PRESENTADO:
EDITH JHOANA GUZMAN
CODIGO 1.105.781.012

PRESENTADO A: JHEIMER JULIAN SEPULVEDA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

JOSE ACEVEDO Y GÓMEZ
INGENIERIA DE SISTEMAS
MAYO 2019
BOGOTA
 DESARROLLO EJERCICIOS

1.

EJERCICIO A
TRABAJAR

Caracterización del - Identificación

autómata Autómata de tipo no determinista (AFND)

q0,q1,q2
Estado Inicial q0
Estado final q2
Lenguajes reconocidos 0 y 1
Procedimiento de Expresión(1 ∗ (0 + 001 ∗)) ∗ 1(1 ∗ (0 + 001 ∗))
conversión de
Autómata Finito a
Expresión Regular
paso a paso

5-Tupla:

𝑀 = ({𝑞0, 𝑞1, 𝑞2}, {0,1}, 𝜚, 𝑞0, 𝑞2)

𝐾 = {𝑞0, 𝑞1, 𝑞2}

Σ = {0,1}

𝑠 = 𝑞0

𝐹 = 𝑞2

2.
EJERCICIO A
TRABAJAR

Caracterización del - Identificación

autómata Autómata de tipo no determinista AFND

q0,q1,q2
Estado Inicial: q0
Estado Final: q2
Lenguajes reconocidos 0 y 1
Procedimiento de Expresión:
conversión de
Autómata Finito a (0(1 + 0) ∗ 00 ∗) ∗ (0 + 1(1 + 0)) ∗ 0(1 + 0) ∗ 00 ∗)
Expresión Regular
paso a paso

5-Tupla:

𝑀 = ({𝑞0, 𝑞1, 𝑞2}, {0,1}, 𝜚, 𝑞1, 𝑞2)

𝐾 = {𝑞0, 𝑞1, 𝑞2}

Σ = {0,1}

𝑠 = 𝑞1

𝐹 = 𝑞2
 3.

EJERCICIO A
TRABAJAR

Caracterización del  Identificación:

autómata autómata es de tipo no determinista (AFND)

q0, q1

Estado Inicial q0
Estado final q1

Lenguaje reconocido 0 y1
Procedimiento de Expresión((1 + 0) ∗ 00 ∗) ∗ (0(1 + 0) ∗ 00 ∗)
conversión de
Autómata Finito a
Expresión Regular
paso a paso

5-Tupla:

𝑀 = ({𝑞0, 𝑞1}, {0,1}, 𝜚, 𝑞1, 𝑞2)

𝐾 = {𝑞0, 𝑞1}

Σ = {0,1}

𝑠 = 𝑞0

𝐹 = 𝑞1

4.

𝑬𝒙𝒑𝒓𝒆𝒔𝒊𝒐𝒏:
El por que se utiliza una misma transicisicion conecta varios estados diferentes. Como
ejemplo la transicion con alfabeto 0 conecta el estado inicial q0 con el mismo y el estado
q2.

El lenguaje que reconocera sera el de las posibles cadenas que comience con 0 o 1 y
terminen en 0 o 1 bajo ciertas condiciones.

EJERCICIO A
TRABAJAR

Caracterización del - Identificación:

autómata Autómata es de tipo no determinista (AFND)
q0, q1, q2, q3

Estado inicial q0
Estado final q3

Lenguaje reconocido 0 y1

Procedimiento de Expresión:
conversión de 1 ∗ (0(0 + 1) + 10
Autómata Finito a
Expresión Regular
paso a paso
5-Tupla:

𝑀 = ({𝑞0, 𝑞1, 𝑞2, 𝑞3}, {0,1}, 𝜚, 𝑞0, 𝑞3)

𝐾 = {𝑞0, 𝑞1, 𝑞2, 𝑞3}

Σ = {0,1}

𝑠 = 𝑞0

𝐹 = 𝑞3
 REFERENCIAS BIBLIOGRAFICAS

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

Autómatas Para Informáticos. (pp. 127 - 142). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=3
18032&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. 71 - 115). 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
 Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de automáta [Archivo de
video]. Recuperado de https://youtu.be/zMhwYlXAHE4
 Alemán. H. [Helena]. (2018, mayo 23). Expresión Regular [Archivo de video].
Recuperado de https://youtu.be/65B5QUNHfaM
 González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No
Determinista a Autómata Finito Determinista [Archivo de video]. Recuperado de
https://youtu.be/29Qp_AWXFt4
 González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No
Determinista a Autómata Finito Determinista con transiciones vacías – Método 1.
[Archivo de video]. Recuperado de https://youtu.be/NF47BSorRfU
 González, A. [Ángela]. (2016, junio 6). Conversión de Autómata Finito No
Determinista a Autómata Finito Determinista con transiciones vacías – Método 2.
[Archivo de video]. Recuperado de https://youtu.be/KhgMam0DMmM
 González, A. [Ángela]. (2016, junio 6). Conversión de Autómata Finito No
Determinista a Autómata Finito Determinista con transiciones vacías – Ejemplo 2.
[Archivo de video]. Recuperado de https://youtu.be/uLOXjZUTYyc
 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y
Autómatas Para Informáticos. (pp. 119 - 127). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=3
18032&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, E., Alfonseca M, M., Mariyón S, R. (2009). (pp. 249 - 276). Teoría de
autómatas y lenguajes formales. 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. 73 -
126). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351
 González, A. [Ángela] (2017, mayo 16). Minimización de un autómata. [Archivo de
video]. Recuperado de https://youtu.be/eOynYG8Ibk0
 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y
Autómatas Para Informáticos. (pp. 11 - 80). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=3
18032&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, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y
lenguajes formales. (pp. 19 - 65). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456
&ppg=6
 Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificación
de programas. (pp. 7 - 27). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11201616
&ppg=12
 Bonilla, L. [Luis] (2018, mayo 23). Códigos Convolucionales Tellis y Viterbi.
[Archivo de video]. Recuperado de https://youtu.be/Oe9WEAOLeyc
 Bonilla, L. [Luis] (2018, mayo 23). Diagrama de árbol. [Archivo de video].
Recuperado de https://youtu.be/HNS4IQw64Sk
 Bonilla, L. [Luis] (2018, mayo 23). Diagrama de estados. [Archivo de video].
Recuperado de https://youtu.be/JTJkNco2tjQ
 Bonilla, L. [Luis] (2018, mayo 23). Diagrama de trellis. [Archivo de video].
Recuperado de Bonilla, L. [Luis] (2018, mayo 23). Diagrama de trellis. [Archivo de
video]. Recuperado de https://youtu.be/21JKzST2ZJY