AUTOMATAS Y LENGUAJES FORMALES
Unidad 3 - Tarea 4 - Construcción de Máquinas de Turing
ENTREGADO POR:
ROBINSON ALEXANDER ACOSTA VELASCO
IVAN CAMILO APONZA CANTOÑI
JULIO CESAR CORRALES
GRUPO: 47
PRESENTADO A:
JAIME JOSE VALDES
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
CEAD VALLEDUPAR
2021
Estudiante ROBINSON ALEXANDER ACOSTA VELASCO
EJERCICIOS 1: MAQUINAS DE TURING
EJERCICIO A
TRABAJAR
- Séptupla del autómata
Caracterización MT = (K, Σ, Γ, s, b, F, δ)
de la máquina
de Turing K = {q0, q1, q2}
Σ = {a, b, c}
Γ = {a, b}
s = {q0}
F = {q2}
δ = (q0, a) = (q0, a, R)
δ = (q0, b) = (q1, a, R)
δ = (q0, c) = (q2, a, R)
δ = (q1, a) = (q0, b, L)
δ = (q1, b) = (q2, a, R)
- Tabla de transición
Estado a b c
→q0 q0, a, R q1, a, R q2, a, R
q1 q0, b, L q2, a, R -
*q2 - - -
- Diferencias y similitudes de las máquinas
reconocedoras y Transductoras
Maquinas Maquinas
reconocedoras Transductoras
• MT capaz de reconocer Modifica el
un lenguaje L. contenido de la cinta
realizando cierta
Finalidad: decidir si la función.
cadena es válida o no,
según algún criterio. Finalidad:
transformar la
• MT capaz de aceptar un entrada.
lenguaje L
Una MT RECONOCE EQUIVALENCIAS
un lenguaje L, si dada
una entrada (w) en la Para cada entrada
cinta, la MT SIEMPRE se
posible, los contenidos
para, y lo hace en un EF
de la cinta al final del
si y sólo si: w ∈ L
proceso deben ser
iguales.
Una MT ACEPTA un
lenguaje L, si dada una
entrada (w) en la cinta, la Ejemplo:
MT se para en un Estado
Final si y sólo si: w ∈ L ->MT que sustituye los
dígitos por cero
• Así, en este caso, si w ->MT que añade un bit
∉ L, la MT podría no de paridad a la
parar. entrada.
->MT que duplica el
EQUIVALENCIAS número de 1s que hay
en la cinta.
Ambas deben Aceptar ->Si la Entrada está
y/o Reconocer las bien formada: debe
mismas palabras. terminar en un Estado
Final.
Ejemplos: MT que ->Si la Entrada No
reconoce el lenguaje está bien formada:
a*b*, MT que acepta el debe terminar en un
lenguaje a n b n cn Estado No Final.
MT que reconoce el
n n
L={a b , n≥0 }
MT QUE NO SE
DETIENEN
Procedimiento
de paso a paso - Procedimiento paso a paso del recorrido de una
del recorrido cadena en la máquina de Turing.
de una cadena
Cadena a validar:
aabaaaabac
a a b a a a a b a c
- Paso 1:
Estando en el estado inicial q0, la cabeza de la MT
señala al símbolo de la cinta a.
- Paso 2:
Siendo a el primer símbolo de la cadena, la MT
procede a leer la siguiente transición:
δ = (q0, a) = (q0, a, R), la cual la lleva al mismo estado,
entonces la MT No realiza ningún cambio en la cinta y
se desplaza una casilla a la derecha
a a b a a a a b a c
- Paso 3:
Mientras haya a se mantendrá en el estado q0,
continuando con la lectura de la cadena, siendo el
símbolo a, de igual manera, no remplaza nada y se
desplaza a la derecha
a a b a a a a b a c
- Paso 4:
Ahora, por ser b el siguiente simbolo continuamos con la
trancision :
δ = (q0, b) = (q1, a, R)
La cual nos lleva desde el estado inicial q0, al
estado q1, la MT, lee el símbolo b, lo remplaza por
una a y se desplaza a la derecha.
- Paso 5
Estando en el estado q1, la MT lee una a, por tal
motivo utilizamos la transición: δ = (q1, a) = (q0, b,
L) la cual nos lleva al estado inicial q0, en este estado
lee el símbolo a lo remplaza por b y se desplaza
hacia la izquierda.
a a a b a a a b a c
- Paso 6
Estando en el estado inicial q0, la MT lee el
símbolo a, por tal motivo, se utiliza la transición:
δ = (q0, a) = (q0, a, R), la cual la lleva al mismo
estado, entonces la MT No realiza ningún cambio
en la cinta y se desplaza una casilla a la derecha.
a a a b a a a b a c
Paso 7
Estando en el estado inicial q0, la MT lee el
símbolo b, por tal motivo, se utiliza la transición:
δ = (q0, b) = (q1, a, R) la cual lo lleva al estado q1,
entonces la MT lee el símbolo b lo remplaza por a
y se desliza a la derecha.
a a a a a a a b a c
Paso 8
Estando en el estado q1, la MT lee el símbolo a,
por tal motivo, se utiliza la transición: δ = (q1, a) =
(q0, b, L) la cual nos lleva al estado inicial q0, en este
estado lee el símbolo a lo remplaza por b y se
desplaza hacia la izquierda.
a a a a b a a b a c
- Paso 9
Estando en el estado inicial q0, la MT lee el
símbolo a, por tal motivo, se utiliza la transición:
δ = (q0, a) = (q0, a, R), la cual la lleva al mismo
estado, entonces la MT No realiza ningún cambio
en la cinta y se desplaza una casilla a la derecha.
a a a a b a a b a c
Paso 10
Estando en el estado inicial q0, la MT lee el
símbolo b, por tal motivo, se utiliza la transición:
δ = (q0, b) = (q1, a, R) la cual lo lleva al estado q1,
entonces la MT lee el símbolo b lo remplaza por a
y se desliza a la derecha.
a a a a a a a b a c
Paso 11
Estando en el estado q1, la MT lee el símbolo a,
por tal motivo, se utiliza la transición: δ = (q1, a) =
(q0, b, L) la cual nos lleva al estado inicial q0, en este
estado lee el símbolo a lo remplaza por b y se
desplaza hacia la izquierda.
a a a a a b a b a c
- Paso 12
Estando en el estado inicial q0, la MT lee el
símbolo a, por tal motivo, se utiliza la transición:
δ = (q0, a) = (q0, a, R), la cual la lleva al mismo
estado, entonces la MT No realiza ningún cambio
en la cinta y se desplaza una casilla a la derecha.
a a a a a b a b a c
Paso 13
Estando en el estado inicial q0, la MT lee el
símbolo b, por tal motivo, se utiliza la transición:
δ = (q0, b) = (q1, a, R) la cual lo lleva al estado q1,
entonces la MT lee el símbolo b lo remplaza por a
y se desliza a la derecha.
a a a a a a a b a c
- Paso 14
Estando en el estado inicial q0, la MT lee el
símbolo a, por tal motivo, se utiliza la transición:
δ = (q0, a) = (q0, a, R), la cual la lleva al mismo
estado, entonces la MT No realiza ningún cambio
en la cinta y se desplaza una casilla a la derecha.
a a a a a a a b a c
Paso 15
Estando en el estado inicial q0, la MT lee el
símbolo b, por tal motivo, se utiliza la transición:
δ = (q0, b) = (q1, a, R) la cual lo lleva al estado q1,
entonces la MT lee el símbolo b lo remplaza por a
y se desliza a la derecha.
a a a a a a a a a c
Paso 16
Estando en el estado q1, la MT lee el símbolo a,
por tal motivo, se utiliza la transición: δ = (q1, a) =
(q0, b, L) la cual nos lleva al estado inicial q0, en este
estado lee el símbolo a lo remplaza por b y se
desplaza hacia la izquierda.
a a a a a a a a b c
- Paso 17
Estando en el estado inicial q0, la MT lee el
símbolo a, por tal motivo, se utiliza la transición:
δ = (q0, a) = (q0, a, R), la cual la lleva al mismo
estado, entonces la MT No realiza ningún cambio
en la cinta y se desplaza una casilla a la derecha.
a a a a a a a a b c
Paso 18
Estando en el estado inicial q0, la MT lee el
símbolo b, por tal motivo, se utiliza la transición:
δ = (q0, b) = (q1, a, R), entonces la MT lee el
símbolo b lo remplaza por a y se desliza a la
derecha.
a a a a a a a a a c
Paso 19
Estando en el estado inicial q0, la MT lee el
símbolo c, por tal motivo, se utiliza la transición:
δ = (q0, c) = (q2, a, R), la cual lo lleva al estado final q2
y finaliza el recorrido de la MT.
a a a a a a a a a c
Practicar y
verificar lo
aprendido
Estudiante IVAN CAMILO APONZA CANTOÑI
EJERCICIOS 1: MAQUINAS DE TURING
EJERCICIO A
TRABAJAR
Caracterización SÉPTUPLA DEL AUTÓMATA
del autómata a
pila MT = (K, Σ, Γ, s, b, F, δ) donde:
K = {q0, q1, q2, q3} es el conjunto de estados. H ⋲ K.
Σ = {0, 1} el alfabeto de entrada, donde Ц ∉ ∑
Γ = {0,1} es el alfabeto de la cinta, conde Ц ⋲ ∑ ⊆ Γ
s = q0 ⋲ K es el estado inicial
F = q3 ⊆ K es el estado final
δ = (q0, 1) = (q0, 1, R)
δ = (q0, 0) = (q0, 0, R)
δ = (q0, Ц) = (q1, Ц, L)
δ = (q1, 1) = (q2, 0, L)
δ = (q2, 1) = (q2, 0, L)
δ = (q2, Ц) = (q3, 1, S)
Tabla de transición
Estado Valor Estado Valor Movimiento
inicial lectura de final escritura
q0 1 q0 1 R
q0 0 q0 0 R
q0 Ц q1 Ц L
q1 1 q2 0 L
q2 1 q2 0 L
q2 Ц q3 1 S
Diferencias y similitudes de las máquinas reconocedoras y
Transductoras
Máquinas Reconocedoras y Transductoras
Similitudes Diferencias Ejemplo
- Ambas - Las Reconocedoras:
maquinas tienen reconocedoras la Un interruptor de
una función de salida es binaria, enciende una luz
salida que tiene en la MT que reconoce
como parámetro transductoras el lenguaje a*b*,
el estado actual y puede haber más MT que acepta el
arroja un de 2 salidas. lenguaje a n b n cn
elemento del - La reconocedora MT que reconoce
conjunto de Puede decidir si el
símbolos de la cadena es n n
L={a b , n≥0 }
salida. válida o no,
según algún
criterio. Transductoras:
Mientras que la Un ventilador
Transdutora MT que sustituye
transforma la los dígitos por
entrada. cero
Procedimiento Procedimiento paso a paso del recorrido de una cadena en la máquina
de paso a paso de Turing.
del recorrido
de una cadena Cadena a validar:
111
1 1 1
- Paso 1: Estando en el estado inicial q0, la cabeza de la MT señala al símbolo
de la cinta 1.
- Paso 2: Entonces la MT escribe el símbolo de la cinta 1 en la casilla actual
cambia el 1 por otro 1 y mueve la cabeza una casilla hacia la derecha y queda
en el mismo estado q0. δ = (q0, 1) = (q0, 1, R),
1 1 1
- Paso 3:
Mientras haya 1 se mantendrá en el estado q0, continuando con la lectura de
la cinta, siendo el símbolo 1, de igual manera, no remplaza nada y se desplaza
a la derecha
1 1 1
Paso 5: Ahora, por ser Ц el siguiente símbolo continuamos con la trancision δ
= (q0, Ц) = (q1, Ц, L) La cual nos lleva desde el estado inicial q0, al estado
q1, la MT, lee el símbolo Ц, no escribe nada y se desplaza a la izquierda.
1 1 1
Paso 6: Estando en el estado q1, con transición: δ = (q1, 1) = (q2, 0, L) la
MT lee el símbolo de la cinta 1 en la casilla actual y lo cambia por un 0 lo
remplaza por 0 y mueve la cabeza una casilla hacia la izquierda y pasa al
estado q2.
1 1 0
Paso 6 Estando en el estado q2, la MT con transición: δ = (q2, 1) = (q2, 0, L)
la MT lee el símbolo de la cinta 1 en la casilla actual y lo cambia 0 y mueve la
cabeza una casilla hacia la izquierda y pasa al estado q2. Mientras haya 1 en
la transición por la estrella de clic se mantendrá en el estado q2, lee el
símbolo 1 y escribe un 0 y se desplaza a la izquierda.
1 0 0
Paso 7 Estando en el estado q2, la MT con transición: δ = (q2, 1) = (q2, 0,
L) la MT lee el símbolo de la cinta 1 en la casilla actual y lo cambia 0 y
mueve la cabeza una casilla hacia la izquierda y pasa al estado q2.
0 0 0
Paso 8 Estando en el estado q2 la MT por ser Ц el siguiente símbolo de la
cinta continuamos con la transición δ = (q2, Ц) = (q3, 1, S) la MT lee el
símbolo de la cinta Ц, y lo cambia por 1 y se queda en stop y finaliza la MT
en el estado final q3 reconociendo la cantidad de 1 posible en la cinta.
1 0 0 0
Practicar y
verificar lo
aprendido
EJERCICIOS GRUPAL 1: MAQUINA DE TURING TRANSDUCTORA QUE
CONVIERTE EN 1 LOS 0 y LOS 0 EN 1
EJERCICIO A
TRABAJAR
- Séptupla del autómata
Caracterización MT = (K, Σ, Γ, s, b, F, δ)
de la máquina
de Turing K = {q0, q1, q2}
Σ = {0,1}
Γ = {1,0}
s = {q0}
F = {q2}
δ = (q0, 0) = (q0, 1, R)
δ = (q0, 1) = (q0, 0, R)
δ = (q0, λ) = (q1, λ, L)
δ = (q1, 0) = (q1, 0, L)
δ = (q1, 1) = (q1, 1, L)
δ = (q1, λ) = (q2, λ, R)
- Tabla de transición
Estado 0 1 λ
→q0 q0, 1, R Q0, 0, R Q1, λ, L
q1 Q1, 0, L Q1,1, L Q2, λ, R
*q2 - - -
- Diferencias y similitudes de las máquinas
reconocedoras y Transductoras
Maquinas Maquinas
reconocedoras Transductoras
• MT capaz de reconocer Modifica el
un lenguaje L. contenido de la cinta
realizando cierta
Finalidad: decidir si la función.
cadena es válida o no,
según algún criterio. Finalidad:
transformar la
• MT capaz de aceptar un entrada.
lenguaje L
Una MT RECONOCE EQUIVALENCIAS
un lenguaje L, si dada
una entrada (w) en la Para cada entrada
cinta, la MT SIEMPRE se
posible, los contenidos
para, y lo hace en un EF de la cinta al final del
si y sólo si: w ∈ L proceso deben ser
iguales.
Una MT ACEPTA un
lenguaje L, si dada una Ejemplo:
entrada (w) en la cinta, la
MT se para en un Estado ->MT que sustituye los
Final si y sólo si: w ∈ L dígitos por cero
->MT que añade un bit
• Así, en este caso, si w
de paridad a la
∉ L, la MT podría no
entrada.
parar.
->MT que duplica el
EQUIVALENCIAS número de 1s que hay
en la cinta.
Ambas deben Aceptar ->Si la Entrada está
y/o Reconocer las bien formada: debe
mismas palabras. terminar en un Estado
Final.
Ejemplos: MT que ->Si la Entrada No
reconoce el lenguaje está bien formada:
a*b*, MT que acepta el debe terminar en un
lenguaje a n b n cn Estado No Final.
MT que reconoce el
n n
L={a b , n≥0 }
MT QUE NO SE
DETIENEN
Procedimiento
de paso a paso Procedimiento paso a paso del recorrido de
del recorrido una cadena en la máquina de Turing
de una cadena Transductoras
Cadena a validar:
1010110010
1 0 1 0 1 1 0 0 1 0
- Paso 1:
Estando en el estado inicial q0, la cabeza de la MT
señala al símbolo de la cinta 0.
- Paso 2:
Siendo 1 el primer símbolo de la cadena, la MT
procede a leer la transición: δ = (q0, 1) = (q0, 0, R),
la cual la lleva al mismo estado, entonces la MT
reemplaza el símbolo 1 por el símbolo 0 y se
desplaza una casilla a la derecha,
0 0 1 0 1 1 0 0 1 0
- Paso 3:
Continuando en el estado inicial q0, se procede a
realizar la lectura del siguiente símbolo de la
cadena.
Al encontrar el símbolo 0, la MT utiliza la transición:
δ = (q0, 0) = (q0, 1, R), la cual lo lleva al mismo
estado, pero la MT reemplaza el símbolo 0 por
el símbolo 1 y se desplaza una casilla a la
derecha,
0 1 1 0 1 1 0 0 1 0
- Paso 4:
Ahora, por ser 1 el siguiente simbolo continuamos con la
trancision : δ = (q0, 1) = (q0, 0, R), la cual la lleva al
mismo estado, entonces la MT reemplaza el símbolo
1 por el símbolo 0 y se desplaza una casilla a la
derecha,
0 1 0 0 1 1 0 0 1 0
- Paso 5
Continuando en el estado inicial q0, se procede a
realizar la lectura del siguiente símbolo de la
cadena.
Al encontrar el símbolo 0, la MT utiliza la transición:
δ = (q0, 0) = (q0, 1, R), la cual lo lleva al mismo
estado, pero la MT reemplaza el símbolo 0 por
el símbolo 1 y se desplaza una casilla a la
derecha,
0 1 0 1 1 1 0 0 1 0
- Paso 6
Ahora, por ser 1 el siguiente simbolo continuamos con la
trancision : δ = (q0, 1) = (q0, 0, R), la cual la lleva al
mismo estado, entonces la MT reemplaza el símbolo
1 por el símbolo 0 y se desplaza una casilla a la
derecha,
0 1 0 1 0 1 0 0 1 0
Paso 7
Ahora, por ser 1 el siguiente simbolo continuamos con la
trancision : δ = (q0, 1) = (q0, 0, R), la cual la lleva al
mismo estado, entonces la MT reemplaza el símbolo
1 por el símbolo 0 y se desplaza una casilla a la
derecha,
0 1 0 1 0 0 0 0 1 0
Paso 8
Continuando en el estado inicial q0, se procede a
realizar la lectura del siguiente símbolo de la
cadena.
Al encontrar el símbolo 0, la MT utiliza la transición:
δ = (q0, 0) = (q0, 1, R), la cual lo lleva al mismo
estado, pero la MT reemplaza el símbolo 0 por
el símbolo 1 y se desplaza una casilla a la
derecha,
0 1 0 1 0 0 1 0 1 0
Paso 9
Continuando en el estado inicial q0, se procede a
realizar la lectura del siguiente símbolo de la
cadena.
Al encontrar el símbolo 0, la MT utiliza la transición:
δ = (q0, 0) = (q0, 1, R), la cual lo lleva al mismo
estado, pero la MT reemplaza el símbolo 0 por
el símbolo 1 y se desplaza una casilla a la
derecha,
0 1 0 1 0 0 1 1 1 0
Paso 10
Ahora, por ser 1 el siguiente simbolo continuamos con la
trancision : δ = (q0, 1) = (q0, 0, R), la cual la lleva al
mismo estado, entonces la MT reemplaza el símbolo
1 por el símbolo 0 y se desplaza una casilla a la
derecha,
0 1 0 1 0 0 1 1 0 0
Paso 11
Continuando en el estado inicial q0, se procede a
realizar la lectura del siguiente símbolo de la
cadena.
Al encontrar el símbolo 0, la MT utiliza la transición:
δ = (q0, 0) = (q0, 1, R), la cual lo lleva al mismo
estado, pero la MT reemplaza el símbolo 0 por
el símbolo 1 y se desplaza una casilla a la
derecha,
0 1 0 1 0 0 1 1 0 1
- Paso 12
Ahora, la MT al encontrar un en la cadena, la
MT pasa al estado q1 mediante la transición:
δ = (q0, λ) = (q1, λ, L), y se desplaza una casilla a la
izquierda,
0 1 0 1 0 0 1 1 0 1
Paso 13
Estando en el estado q1, la MT lee el símbolo 1,
por tal motivo, se utiliza la transición:
δ = (q1, 1) = (q1, 1, L), la cual lo lleva al mismo estado,
no realiza ningún cambio en la cinta y se desplaza una
casilla a la izquierda.
0 1 0 1 0 0 1 1 0 1
- Paso 14
Continuando en el estado q1, la MT lee el símbolo
0, utiliza la transición: δ = (q1, 0) = (q1, 0, L), la cual
lo deja en el mismo estado, no se realiza ningún cambio
en la cinta y se desplaza una casilla a la izquierda
0 1 0 1 0 0 1 1 0 1
Paso 15
Estando en el estado q1, la MT lee el símbolo 1,
por tal motivo, se utiliza la transición:
δ = (q1, 1) = (q1, 1, L), la cual lo lleva al mismo estado,
no realiza ningún cambio en la cinta y se desplaza una
casilla a la izquierda.
0 1 0 1 0 0 1 1 0 1
Paso 16
Estando en el estado q1, la MT lee el símbolo 1,
por tal motivo, se utiliza la transición:
δ = (q1, 1) = (q1, 1, L), la cual lo lleva al mismo estado,
no realiza ningún cambio en la cinta y se desplaza una
casilla a la izquierda.
0 1 0 1 0 0 1 1 0 1
- Paso 17
Continuando en el estado q1, la MT lee el símbolo
0, utiliza la transición: δ = (q1, 0) = (q1, 0, L), la cual
lo deja en el mismo estado, no se realiza ningún cambio
en la cinta y se desplaza una casilla a la izquierda
0 1 0 1 0 0 1 1 0 1
Paso 18
Continuando en el estado q1, la MT lee el símbolo
0, utiliza la transición: δ = (q1, 0) = (q1, 0, L), la cual
lo deja en el mismo estado, no se realiza ningún cambio
en la cinta y se desplaza una casilla a la izquierda
0 1 0 1 0 0 1 1 0 1
Paso 19
Estando en el estado q1, la MT lee el símbolo 1,
por tal motivo, se utiliza la transición:
δ = (q1, 1) = (q1, 1, L), la cual lo lleva al mismo estado,
no realiza ningún cambio en la cinta y se desplaza una
casilla a la izquierda.
0 1 0 1 0 0 1 1 0 1
Paso 20
Continuando en el estado q1, la MT lee el símbolo
0, utiliza la transición: δ = (q1, 0) = (q1, 0, L), la cual
lo deja en el mismo estado, no se realiza ningún cambio
en la cinta y se desplaza una casilla a la izquierda
0 1 0 1 0 0 1 1 0 1
Paso 21
Estando en el estado q1, la MT lee el símbolo 1,
por tal motivo, se utiliza la transición:
δ = (q1, 1) = (q1, 1, L), la cual lo lleva al mismo estado,
no realiza ningún cambio en la cinta y se desplaza una
casilla a la izquierda.
0 1 0 1 0 0 1 1 0 1
Paso 22
Continuando en el estado q1, la MT lee el símbolo
0, utiliza la transición: δ = (q1, 0) = (q1, 0, L), la cual
lo deja en el mismo estado, no se realiza ningún cambio
en la cinta y se desplaza una casilla a la izquierda
0 1 0 1 0 0 1 1 0 1
Paso 23
La MT, procede a leer el símbolo en la
cadena, por tal motivo se utiliza la transición: δ
= (q1, λ) = (q2, λ, R), La cual lo lleva al estado final q2.
0 1 0 1 0 0 1 1 0 1
Practicar y
verificar lo
aprendido
Ejercicio Grupal 2: Código convolucional
Desarrolle el siguiente ejercicio: Asuma que hubo error en el dato recibido en el par de bits codificados 2, 5 y 8
con distancia de haming.
Teniendo en cuenta que el dato de entrada es: 00100111
1. Realice el diagrama de árbol. (Complete la tabla)
2. Realice el diagrama de estados para ese dato de entrada.
3. Identifique en el diagrama de Trellis la ruta correcta (identificando salidas codificadas).
4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
Teniendo en cuenta que el dato de entrada es: 00100111, diligenciamos la tabla:
1. Diagrama de árbol
2. Diagrama de estados
3. Diagrama de Trellis la ruta correcta (identificando salidas codificadas).
4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).
REFERENCIAS
González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web]. Recuperado
de [Link]
González, A. (2018, mayo 23). Lenguajes Estructurados por Frases. Recuperado de
[Link]
González, A. (2018, mayo 23). Diagrama de trellis. Recuperado de [Link]
v=21JKzST2ZJY&t=18s