Unidad 3 - Tarea 4 - Construcción de Máquinas de Turing
Autor
Natalia Bayona Aguilera
C.C 1013635339
Grupo: 301405_80
TUTOR
JAIME JOSE VALDES - TUTOR
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
2021
EJERCICIOS A DESARROLLAR
A continuación, se definen los ejercicios a desarrollar:
Ejercicios 1: Autómata de pila
Ejercicio a
trabajar
d.
Caracterización Identificación de la séptupla
de la máquina MT ={Q , Σ , Γ , s , F , b , δ }
de Turing Q={q 0 , q 1 , q 2 }
Σ={a , b }
Γ ={a , b }
s=q 0
F=q 2
δ=( Q−{ h } x Γ ) → Qx ( Γ ∪ { L, R } )
función de transión
Transiciones
δ ( q 0 , a )=(q 0 , a , R)
δ ( q 0 , b )=( q 1, a , R )
δ ( q 1, b )=(q 1 ,b , R)
δ ( q 1, a )=(q 0 , b , L)
δ ( q 1, λ )=(q 2 , λ , R)
Diferencias y similitudes de las máquinas reconocedoras y
transductoras
RECONOCEDORA
Finalidad: decidir si la cadena es válida o no, según algún criterio.
Dos conceptos: RECONOCER, ACEPTAR
Una Máquina de Turing RECONOCE un lenguaje L , si para
cualquier entrada en la cinta, w , se acaba parando, y lo hace en
un estado final si y sólo si w ∈ L.
Una Máquina de Turing ACEPTA un lenguaje L si, al analizar una
palabra w , se para en un estado final si y sólo si w ∈ L.
TRANSDUCTORA
Finalidad: transformar la entrada, es decir,
modifica el contenido de la cinta realizando cierta función.
Realiza un cálculo:
Si la entrada está bien formada, debe terminar en un estado
final.
Si la entrada NO está bien formada, debe terminar en un
estado no final.
Debe acabar en estado no final para indicar el error en la entrada.
Ejemplos:
MT que sustituye los dígitos por cero.
MT que añade un bit de paridad a la entrada.
MT que duplica el número de 1s que hay en la cinta.
Procedimiento La cadena que procederé a verificar es: aaabba , entonces iniciamos
del paso a interpretando la máquina de Turing.
paso del
recorrido de En la primera transición se lee a , escribe a y se mueve a la derecha.
una cadena
Pero como es estrella de Keelen entonces se queda en q 0 y vuelve a leer a ,
escribir a y se mueve a la derecha.
Pasamos a la transición que va de q 0 a q 1, lee a , escribe a y se mueve a la
derecha.
De q1, lee b, escribe a y se mueve a la derecha.
Pero también es una estrella de Keelen, entonces se queda en q1 y vuelve a
leer b, escribir b y se mueve a la derecha.
Ahora se pasa por la transición que va de q 1 a q 0 donde lee a , escribe b y se
mueve a la izquierda.
Ahora vuelve a q 1, lee b , escribe a y se mueve a la derecha.
En q 1, allí lee b , escribe b y se mueve a la derecha.
En la transición de q 1 a q 2, lee vacío, escribe vacío se mueve a la derecha y
finaliza la máquina de Turing.
Practicar y
verificar lo
aprendido
BIBLIOGRAFIA
Caracterización Máquina de Turing
https://www.youtube.com/watch?v=0bm3ZGWLHNQ
Comportamiento de Máquina de Turing
https://www.youtube.com/watch?v=LnKaEcag0jM&t=373s
Diagrama de Trellis
https://www.youtube.com/watch?
v=21JKzST2ZJY&list=PLYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto&index=7
Diagrama de estados
https://www.youtube.com/watch?
v=JTJkNco2tjQ&list=PLYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto&index=8
Diagrama de Árbol
https://www.youtube.com/watch?
v=HNS4IQw64Sk&list=PLYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto&index=9
Trellis y Vitervi
https://www.youtube.com/watch?
v=Oe9WEAOLeyc&list=PLYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto&index=10
