1

UNIDAD 1, 2, 3 – TAREA 5 - CONSOLIDACIÓN DEL APRENDIZAJE

Entregado por:

OMAR SEBASTIAN SUAREZ BARRETO

Código: 1074419358

MARÍA ALEJANDRA RUNZA

Código: 1072367597

JOSÉ ANGEL GUERRERO MONTAÑEZ

Código: 11210714

NIDIA MAYERLY VARELA

Código: 1071630246

GRUPO No. 301405_4

Tutor:

VERMEN RAINER AYALA

Universidad Nacional Abierta y a Distancia – UNAD

Escuela Ciencias básicas, tecnología e ingeniería
Programa Ingeniería de Sistemas
AUTOMATAS Y LENGUAJES FORMALES - 301405A_764
Periodo 16-02
Colombia
2020
 2

TABLA DE CONTENIDO

OBJETIVOS................................................................................................................................................5
INTRODUCCIÓN.......................................................................................................................................6
EJERCICIO GRUPAL 1.........................................................................................................................7
EJERCICIO GRUPAL 2.......................................................................................................................10
EJERCICIO GRUPAL 3.......................................................................................................................18
CONCLUSIONES.....................................................................................................................................23
BIBLIOGRAFÍA.......................................................................................................................................24
 3

TABLA DE CONTENIDO: FIGURAS

Figura 1. Ejercicio 1....................................................................................................................... 7

Figura 2. Autómata Final Ejercicio 1................................................................................................9
Figura 3. Resultado Ejercicio N°1..................................................................................................10
Figura 4. Transición 1................................................................................................................... 11
Figura 5. Transición 2................................................................................................................... 11
Figura 6. Transición 3................................................................................................................... 11
Figura 7. Transición 4................................................................................................................... 11
Figura 8. Transición 5................................................................................................................... 12
Figura 9. Transición 6................................................................................................................... 12
Figura 10. Transición 7................................................................................................................. 12
Figura 11. Transición 8................................................................................................................. 13
Figura 12. Transición 9................................................................................................................. 13
Figura 13. Transición 10............................................................................................................... 13
Figura 14. Transición 11............................................................................................................... 14
Figura 15. Transición 12............................................................................................................... 14
Figura 16. Transición 13............................................................................................................... 14
Figura 17. Transición 14............................................................................................................... 15
Figura 18. Transición 15............................................................................................................... 15
Figura 19. Transición 16............................................................................................................... 15
Figura 20. Autómata Minimizado...................................................................................................17
Figura 21. Autómata minimizado ejercicio 2...................................................................................18
Figura 22. Autómata de Pila.......................................................................................................... 18
Figura 23. Cadenas Validas........................................................................................................... 22
 4

TABLA DE CONTENIDO: TABLAS

Tabla 1. Ejercicio 1 Conversión de AFD a AFND o de AFND a AFD..................................................7

Tabla 2. Ejercicio 2 Minimización autómata....................................................................................10
Tabla 3. Ejercicio 3: Autómata de PILA..........................................................................................18
 5

OBJETIVOS

GENERAL

Realizar la conversión de AFD a AFND o de AFND a AFD, analizar y minimizar un autómata

partiendo de autómata más grande, construir un autómata de Pila a partir de la interpretación de
un ejercicio dado
ESPECÍFICOS

 Realizar la conversión de AFD a AFND o de AFND a AFD

 Realizar el análisis e identificar los elementos de un autómata minimizado y generar una
explicación.
 Construcción de un autómata de Pila a partir de la interpretación de alfabetos, cadenas,
lenguajes y expresiones regulares
 6

INTRODUCCIÓN

El siguiente trabajo tiene como finalidad dar inicio y posterior desarrollado de las temáticas de
las unidades 1, 2 y 3 del curso Autómatas y lenguajes Formales en la Tarea 5 y mediante la cual
se evidenciará nuestro aprendizaje sobre cómo solucionar, diseñar distintos tipos de autómatas en
este caso la gramática así como la conversión de AFD a AFND o de AFND a AFD, del mismo
modo analizar y minimizar un autómata partiendo de autómata más grande, y por ende construir
un autómata de Pila a partir de la interpretación de un ejercicio dado a partir de la interpretación
de alfabetos, cadenas, lenguajes y expresiones regulares mediante la solución de diferentes
ejercicios de tal forma como se ha propuesto en la guía de actividades generando el análisis,
comprensión y adquisición de nuevos conocimientos por parte del estudiante.
 7

EJERCICIO GRUPAL 1

EJERCICIOS 1: Realizar la conversión de AFD a AFND o de AFND a AFD según

corresponda
Tabla 1. Ejercicio 1 Conversión de AFD a AFND o de AFND a AFD

EJERCICIO A
TRABAJAR

Figura 1. Ejercicio 1

Caracterizació En este espacio se realiza:

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

M = ({q0, q1, q2, q3, q4, q5}, {a, b}), δ, q0, {})
K = { q0, q1, q2, q3, q4, q5}
Σ = a, b
S = q0
F=
Donde la función δ : { q0, q1, q2, q3, q4, q5} x {a, b}→{ q0, q1, q2, q3,
q4, q5} viene dada por:

δ (q0, a) = q1
δ (q0, b) = q2
δ (q1, a) = q2
δ (q1, b) = q4
δ (q2, a) = q2
δ (q2, b) = q3
δ (q3, a) = q2
δ (q3, a) = q5
δ (q3, b) = q1
δ (q4, a) = q1
δ (q4, b) = q3
δ (q5, b) = q4
 8

- Plasme la tabla de transición

Estados a b
→ q0 q1 q2
q1 q2 q4
q2 q2 q3
q3 q2, q5 q1
q4 q1 q3
q5 ---- q4

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

No Determinista

El Autómata es Finito No Determinista

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

El Autómata es Finito No Determinista, porque cada entrada existe más de

una transición a varios estados con el mismo símbolo.

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 revisado.
paso a paso
- Paso 1: La conversión del Autómata Finito No Determinista al Autómata
Finito Determinista, se realiza por medio de la Tabla de Transiciones, la
cual se obtiene:

Estados a b
A= {0} U {} B= {1} U {} C= {2} U {}
B= {1} U {} C= {2} U {} D= {4} U {}
C= {2} U {} C= {2} U {} E= {3} U {4}
D= {4} U {} B= {1} U {} E= {3} U {4}
E= {3} U {4} F= {2, 5, 1} U {3} G= {1, 3} U {4}
F= {2, 5, 1} U {3} H= {2, 5} U {3} I= {3, 4, 1} U {4}
G= {1, 3} U {4} F= {2, 5, 1} U {3} J= {4, 1, 3} U {4}
H= {2, 5} U {3} H= {2, 5} U {3} I= {3, 4, 1} U {4}
I= {3, 4, 1} U {4} F= {2, 5, 1} U {3} K= {1, 3, 4} U {4}
J= {4, 1, 3} U {4} L= {1, 2, 5} U {3} I= {3, 4, 1} U {4}
K= {1, 3, 4} U {4} F= {2, 5, 1} U {3} J= {4, 1, 3} U {4}
L= {1, 2, 5} U {3} H= {2, 5} U {3} M= {4, 3, 1} U {4}
M= {4, 3, 1} U {4} L= {1, 2, 5} U {3} N= {3, 1, 4} U {4}
N= {3, 1, 4} U {4} F= {2, 5, 1} U {3} Ñ= {1, 4, 3} U {4}
Ñ= {1, 4, 3} U {4} O= {2, 1, 5} U {3} M= {4, 3, 1} U {4}
O= {2, 1, 5} U {3} H= {2, 5} U {3} I= {3, 4, 1} U {4}

- Paso 2: Ya teniendo la tabla de transición final, identificamos los estados

 9

Iniciales y Finales, la cual simplificamos para que quede más clara y lograr
graficarla.

Estados a b
→A B C
B C D
C C E
D B E
E F G
F H I
G F J
H H I
I F K
J L I
K F J
L H M
M L N
N F Ñ
Ñ O M
O H I

- Paso 3: Por ultimo procedemos a graficar nuestro autómata.

Autómata Final En este espacio se presenta el autómata final.

convertido

Figura 2. Autómata Final Ejercicio 1

EJERCICIO GRUPAL 2
 10

EJERCICIO 2: Realice la minimización paso a paso del autómata finito determinista

Tabla 2. Ejercicio 2 Minimización autómata

EJERCICIO A
TRABAJAR:
Resultado Del
Ejercicio N°1

Figura 3. Resultado Ejercicio N°1

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

de del autómata.
minimización
Paso 1: Vamos a realizar la minimización de un autómata finito determinista, por
lo que como primer paso se identifican los elementos del autómata los cuales son:
 Estado inicial: A
 Estado final:
 Alfabeto: {a, b}

Paso 2: Hallamos la 5-tupla

Definición Formal 5-tupla (k, , , s, F)

M= { A , B , C , D , E , F ,G , H , I , J , K , L, M , N , Ñ ,O } , { a , b } , , A
K = Estados { A , B , C , D , E , F ,G , H , I , J , K , L, M , N , Ñ ,O }
¿Alfabeto {a , b }
s: Estado inicial A
F: Estado final

Paso 3: Hallamos las tablas de transiciones del autómata que tenemos. Dando
inicio con el estado inicial:
 11

Figura 4. Transición 1

(A, a) = B
(A, b) = C

Figura 5. Transición 2

(B, a) = C
(B, b) = D

Figura 6. Transición 3

(C, a) = C
(C, b) = E

Figura 7. Transición 4

(D, a) = B
(D, b) = E
 12

Figura 8. Transición 5

(E, a) = F
(E, b) = G

Figura 9. Transición 6

(F, a) = H
(F, b) = I

Figura 10. Transición 7

(G, a) = F
(G, b) = J
 13

Figura 11. Transición 8

(H, a) = H
(H, b) = I

Figura 12. Transición 9

(I, a) = F
(I, b) = K

Figura 13. Transición 10

(J, a) = L
 14

(J, b) = I

Figura 14. Transición 11

(K, a) = F
(K, b) = J

Figura 15. Transición 12

(L, a) = H
(L, b) = M

Figura 16. Transición 13

(M, a) = L
(M, b) = N
 15

Figura 17. Transición 14

(N, a) = F
(N, b) = Ñ

Figura 18. Transición 15

(Ñ, a) = O
(Ñ, b) = M

Figura 19. Transición 16

(O, a) = C
(O, b) = D

Paso 4: Después de tener las transiciones, el procedimiento a seguir es por medio

 16

de la eliminación de conjuntos. Debemos hallar dos conjuntos, el primero con los

estados aceptadores y el segundo con los estados no aceptados.
Estados aceptadores: vienen siendo los estados finales.
Estados no aceptadores: vienen siendo el resto de estados.

X= estado aceptador X=
Y= estados NO aceptados Y ={ A , B , C , D , E , F , G , H , I , J , K , L , M , N , Ñ , O}

Paso 5: Realizaremos la siguiente tabla, teniendo en cuenta los conjuntos

obtenidos:
a b
A Y Y
B Y Y
C Y Y
D Y Y
E Y Y
F Y Y
G Y Y
H Y Y
I Y Y
J Y Y
K Y Y
L Y Y
M Y Y
N Y Y
Ñ Y Y
O Y Y

Paso 6: De acuerdo a la tabla obtenida, el siguiente procedimiento, es identificar

cuáles son los estados que quedaron equivalentes, y no equivalentes en los valores.
Donde se identifican los estados en a y b.

Ya que el autómata trabajado no cuenta con un estado final no se tiene un estado

aceptador por lo que los estados están en un solo conjunto el cual es:

Z=A , B , C , D , E , F ,G , H , I , J , K , L , M , N , Ñ ,O

a b
A Z Z
B Z Z
C Z Z
D Z Z
E Z Z
F Z Z
G Z Z
H Z Z
 17

I Z Z
J Z Z
K Z Z
L Z Z
M Z Z
N Z Z
Ñ Z Z
O Z Z

Donde podemos concluir que todos los estados son equivalentes de esta forma
podemos decir que hemos terminado el procedimiento, y el siguiente paso es hacer
la tabla de transiciones. La cual sería la siguiente realizada en el paso N°5

Paso 9: Ya con la tabla de transición, podemos obtener el Autómata Final.

Resultado del
Autómata
Minimizado

Figura 20. Autómata Minimizado

Realice la El autómata finito determinista: Es un autómata finito que además es un sistema

caracterización determinista; es decir, para cada estado en que se encuentre el autómata, y con
de ese cualquier símbolo del alfabeto leído, existe siempre no más de una transición
autómata posible desde ese estado y con ese símbolo.
 18

EJERCICIO GRUPAL 3

Ejercicio 3: Realizar el autómata a Pila que lea la expresión regular del autómata minimizado.
Tabla 3. Ejercicio 3: Autómata de PILA

EJERCICIO A
TRABAJAR

Figura 21. Autómata minimizado ejercicio 2

Teniendo en De acuerdo a la imagen del ejercicio (2) el autómata es finito determinista

cuenta la puesto que según la definición para cada estado en que se encuentre el
expresión autómata y con cualquier símbolo del alfabeto leído, se encontrará no más
regular del de una transición posible desde ese estado y con ese símbolo.
resultado del Por tal motivo al pasarlo a expresión regular nos queda de la siguiente
autómata forma
minimizado del a∗+b∗+a∗+b∗+ a∗¿
ejercicio 2,
realice el
autómata de
pila que lea las
mismas
cadenas

Figura 22. Autómata de Pila

Caracterizació - identificación de la séptupla.

n del autómata

Definición séptupla del autómata a pila se define mediante una

séptupla AP = ( ∑, Г, Q, A0, q0, f, F ) donde:
Σ = Sigma: Alfabeto finito {a, b}
símbolos de entrada
Г: Es el alfabeto de la pila {λ}
Q: Es un conjunto finito de {q0, q1} en este caso el estado
estados inicial es Z y También es el estado
 19

final
A0 ∈ Г: Es un símbolo inicial Z
de la pila
q0 ∈ Q: El estado inicial del
q0
autómata
F ⊆ Q: Es el conjunto de q1
estados finales
f: Es una aplicación δ
denominada función de
transición de ternas δ = delta:
Relación de la transición

- Plasme la tabla de transición

Estados Entrada Des apilamiento Movimiento

→ q0 a λ (q0, λ)
q0 b λ (q0, λ)
q0 a λ (q0, λ)
q0 b λ (q0, λ)
q0 a λ (q0, λ)
Procedimiento Recorra la máquina con al menos una cadena válida explicando lo
paso a paso del sucedido tanto en la cinta como en la secuencia de entrada.
recorrido de
una cadena - Paso 1:

Ingreso cadena ababa

El autómata se encuentra en un estado inicial → q0, la pila se encuentra
con λ en la cima de la pila, al ingresar el a permanece en q0 y se elimina la
λ del tope de la pila y luego se adiciona la λ quedando λ en la cima de la
pila.

Entrada Maquina de q0
control

ababa q0

λ
PILA

Paso 2:
 20

El autómata se encuentra en un estado inicial → q0, la pila se encuentra

con λ en la cima de la pila, al ingresar el b permanece en q0 y se elimina la
λ del tope de la pila y luego se adiciona la λ quedando λ en la cima de la
pila.

Entrada Maquina de q0
control

ababa q0

λ
PILA

Paso 3:

El autómata se encuentra en un estado inicial → q0, la pila se encuentra

con λ en la cima de la pila, al ingresar el a permanece en q0 y se elimina la
λ del tope de la pila y luego se adiciona la λ quedando λ en la cima de la
pila.

Entrada Maquina de q0
control

ababa q0

λ
PILA

Paso 4:

El autómata se encuentra en un estado inicial → q0, la pila se encuentra

con λ en la cima de la pila, al ingresar el b permanece en q0 y se elimina la
λ del tope de la pila y luego se adiciona la λ quedando λ en la cima de la
pila.

Entrada Maquina de q0
 21

control

ababa q0

λ
λ
PILA

Paso 5:

El autómata se encuentra en un estado inicial → q0, la pila se encuentra

con λ en la cima de la pila, al ingresar el a realiza transición al estado q0 y
se elimina la λ del tope de la pila quedando λ en la cima de la pila.

Entrada Maquina de q0
control

ababa q1

λ
λ
PILA

Por tal motivo como las entradas presentan una estrella de Kleene en
cada transición este procedimiento puede ser indefinido y el desapilado
depende de la cantidad de transiciones con estrella de Kleene

Ejecute el Apoyándose en el simulador JFlap (Anexo 1 - JFLAP) o VAS (Anexo 2

RunTest a una VAS) ejecutar y validar por lo menos cinco cadenas válidas
cadena
aceptada que
tenga al menos
cinco símbolos
 22

Figura 23. Cadenas Validas

EJERCICIO A
TRABAJAR: 4

Resultado Del
Ejercicio N°2

Figura 20. Resultado Ejercicio N°2

Teniendo en Teniendo en cuenta el ejercicio 2, es un autómata finito que además es un
cuenta la sistema determinista; es decir, para cada estado en que se encuentre el
expresión autómata, y con cualquier símbolo del alfabeto leído, existe siempre no
regular del más de una transición posible desde ese estado y con ese símbolo.
resultado del
autómata
minimizado del
ejercicio 2,
realice la
máquina de
turing que lea
las mismas
cadenas

Figura 21. Máquina de turing

 23

Caracterización K: es el conjunto de estados, tal que h ∈ K

de la máquina ∑ : es el alfabeto de entrada , donde ∐ ∈∑
de Turing r: es el alfabeto de la cinta, donde∐ ∈R
s: ∈ K es el estado inicial
b: es el símbolo blanco(el símbolo b no hace parte de ∑ ) aparece en todas las
casillas excepto en aquellas que contienen los símbolos de entrada
F: es el estado final
K={q0}
∑:{a,b}
r:{a,b}
S:{q0}
F:{q0}

Ejecute el Run
Test a una
cadena
aceptada que
tenga la menos
cinco símbolos.
 24

Recorra la
máquina con al
menos una
cadena válida
explicando lo
sucedido tanto
en la cinta como
en la secuencia
de entrada.

Se valida la cadena ababa en el simulador JFLAP, Para ello se inicia en el estado

q0 con el alfabeto de entrada. La secuencia indica que al ingresar “ababa” se
mantiene en el estado q0 en la cinta se lee una a escribe una b y se desplaza
hacia la derecha.
 25

CONCLUSIONES

Se concluye mediante la elaboración de este trabajo la importancia de leer las temáticas de las
unidades presentadas por el curso para la correcta solución y posterior desarrollo de las
actividades planteadas.
Se concluye la importancia de tener claro los conceptos de alfabetos, cadenas, lenguajes y
expresiones regulares, así como el concepto de creación de una máquina de Turing para validar
datos además de las entradas.
En conclusión, se logran definir los pasos necesarios para realizar la transformación de un
Autómata a una Expresión regular y del mismo modo como realizar la transformación de un
Autómata Finito No Determinista (AFND) a un Autómata Determinista (AFD) o del modo
inverso
En conclusión, se logran definir los pasos necesarios para realizar la transformación o
minimización de un autómata determinista a su menor expresión.
En conclusión, se logran definir los pasos necesarios para realizar la construcción de un
Autómata de PILA identificando su gramática.
Se logran afianzar los conocimientos adquiridos a través de algunas de las lecturas del curso y de
esta manera se hace evidente la importancia de usar correctamente lo aprendido.
 26

BIBLIOGRAFÍA

Unidad 1 - Lenguajes Regulares - Contenidos y referentes bibliogáficos

Recursos y referentes bibliográficos de la Unidad

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).
Recuperado de 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). Recuperado
de 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. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video].

Recuperado de http://hdl.handle.net/10596/10470

OVA Unidad 1 -  Lenguajes Regulares

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315

González, A. [Ángela]. (2020, julio 14). Lenguajes Regulares. [Archivo web].

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

Video (1).mp4. (2020). Retrieved 27 September 2020, from

https://drive.google.com/file/d/1GOGH3eEx5LgopwtqTNP8Ej_POp4rWuNl/view

Encuentro Tarea 2 21092020.mp4. (2020). Retrieved 27 September 2020, from

https://drive.google.com/file/d/1g9KhVhTYU8xlJFGfu-R6XbmIqM3CJTcZ/view

Unidad 2 - Lenguajes Independientes del Contexto - Contenidos y referentes

bibliográficos

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. 119 - 127).
 27

Recuperado de 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   

Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes formales. Madrid etc.,

Spain: McGraw-Hill España. (pp. 117 - 150). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/50119

OVA Unidad 2 - Lenguajes Independientes del Contexto y sus máquinas

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto. [Archivo
web]. Recuperado de http://hdl.handle.net/10596/18317

Automatas a pila en Jflap. (2018, noviembre 6). Recuperado de

https://www.youtube.com/watch?v=C6IMVTSTvBg

Unidad 3 - Lenguajes Estructurados por Frases - Contenidos y referentes

bibliográficos

 Recursos y referentes bibliográficos de la Unidad

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. 11 - 80).
Recuperado de 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  

Rosenfeld, D. R. y Irazábal, J. (2013). Computabilidad, complejidad computacional y

verificación de programas. Argentina: D - Editorial de la Universidad Nacional de
La Plata. (pp. 7 - 40). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/66401

OVA Unidad 3 - Lenguajes Estructurados por Frases

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo
web]. Recuperado de http://hdl.handle.net/10596/18316

Caballero, R. d. (2016). Obtenido de https://docplayer.es/21615542-Automatas-a-pila-

capitulo-11-11-1-concepto-de-ap-11-2-equivalencia-entre-ap-por-vaciado-de-pila-
y-ap-por-estado-final.html

Geek, R. (13 de 3 de 2017). Automatas Finitos Deterministas Y No Deterministas.

Obtenido de https://ricardogeek.com/automatas-finitos-deterministas-y-no-
deterministas/

Gonzalez, A. (30 de 05 de 2016). Obtenido de https://www.youtube.com/watch?

 28

v=29Qp_AWXFt4

Gonzalez, A. M. (19 de 04 de 2020). Maquina de Turing 2. Obtenido de

https://www.youtube.com/watch?v=LnKaEcag0jM&ab_channel=AngelaMar
%C3%ADaGonalezAmarillo

Gonzalez, A. M. (19 de 4 de 2020). Maquinas de turing. Obtenido de

https://www.youtube.com/watch?v=0bm3ZGWLHNQ&ab_channel=AngelaMar
%C3%ADaGonzalezAmarillo

Molinero, J. (25 de 03 de 2013). De Autómata Finito a Expresión Regular. Obtenido de

https://www.youtube.com/watch?v=-mZ2HgVW1oc&pp=QAA%3D

Rosenfeld, D. R. (2013). Computabilidad, complejidad computacional y verificación de

programas. Obtenido de
https://elibro-net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/66401/

Sanchis, e. a. (s.f.). Maquinas de Turing. Obtenido de http://ocw.uc3m.es/ingenieria-

informatica/teoria-de-automatas-y-lenguajes-formales/material-de-clase-1/tema-7-
maquinas-de-turing