Foro de discusión - Unidad 3 - Tarea 4 - Construcción de Máquinas de Turing

Tare 4. Construir máquinas de Turing

Presentado a:
JUAN MANUEL GONZALEZ
Tutor

Entregado por:

DUVAN ANDRES BARRERA FIGUEROA

Código: 1083924925

Grupo: 100414_167

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
Noviembre 2020
 Tarea 4 Construcción de Máquinas de Turing

Ejercicio 1: Maquinas de Turing

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO
A TRABAJAR

Caracterizac Mediante la definición formal explicar las

ión de la características de la máquina de Turing, mediante la
máquina de séptupla
turing
7-tupla:
M= (Q, , , , q0 , B, F)
Q: conjunto finito de estados de control
: conjunto finito de símbolos de entrada (Alfabeto)
: conjunto finito de símbolos de la cinta
: función de transición (q, X) = (p,Y,D)
 q es un estado, X un símbolo de la cinta
 p es un nuevo estado, en Q
 Y es un símbolo en  que sustituir X
 R Derecha y L izquierda o derecha, dirección en
que la cabeza se mueve
q0 : estado inicial
B: es el símbolo blanco (el símbolo B no puede hacer
parte de ∑) aparece en todas las casillas excepto en
aquellas que contienen los símbolos de entrada.
F:Conjunto de estados de aceptación o finales
La máquina de Turing con una sola cinta puede
definirse como la séptupla:
 MT=¿)
 K =(q0,q1,q2)es el conjunto de estados, tal que
h∈ K
 ∑ ={a} es el alfabeto de entrada
  Γ ={a } es el alfabeto de la cinta
 s=q 0 ∈ K estado inicial
 F =q2 ⊆ K estado final

Transiciones
s=(q0,a) =(q0,a,R)
s=(q0,b) =(q0,a,R)
s=(q1,a) =(q0,b,R)
s=(q1,⊔) =(q2,⊔,R).

TRANSDUCTOR RECONOCEDOR

Modifica el contenido de la Máquina de Turing capaz de

cinta realizando cierta reconocer y aceptar un
función. lenguaje L, debe aceptar y/o
Para cada entrada posible, Reconocer las mismas
los contenidos de la cinta palabras.
al final del proceso deben
ser iguales.
DIFERENCIA
La diferencia es que los Transductores nos entregan como
resultado un conjunto de símbolos que pertenecen al
lenguaje, las aceptadoras nos indican si un conjunto de
símbolos pertenece o no al lenguaje. La diferencia radica en
cambiar el conjunto de estados finales por algún tipo de
función que nos arroje valores la máquina de Turing.

SIMILITUDES
Ambas realizan la misma acción sobre TODAS sus entradas.
Además, si
una MT no separa alguna entrada, la otra tampoco podrá
separarse.

Procedimien Cadena seleccionada aaab

to de paso a
paso del Grafica inicial.
recorrido de
una cadena
Movimiento

□ a a a □ □ □
□

Cabezal de lectura Cinta

1: Estando en el estado q 0 la máquina señala la primera a, según

la función de transición toma a, que ya se encuentra en la cinta,
deja a en dicha posición y corre a la derecha

□ a a a b □ □
□

(q0,a) =(q0,a,R)

□ a a a b □ □
□

2: La Máquina de Turning mueve la cabeza una casilla

hacia la Derecha y escribe a en la cinta, quedándose en el
mismo estado.

□ a a a b □ □
□

(q0,a) =(q0,a,R)

□ a a a b □ □
□

3: La cinta de la Maquina de Turning se desplaza

nuevamente a la derecha y escribe a en la cinta, en la
casilla actual.

□ a a a b □ □
□

(q0,a) =(q0,a,R)

□ a a a b □ □
□
4: Toma un b de la cinta que se acaba de encontrar y deja un
uno en la misma para moverse a la derecha.

□ a a a b □ □
□

(q0,b) =(q0,a,R)

□ a a a b □ □
□

6: Al terminar de pasar por las 4 casillas restantes, la cinta de la

Maquina de Turning se desplaza a la derecha a una posición vacía
de la cinta, siguiendo en el mismo estado.

□ a a a b □ □
□
 (q1,a) =(q0,b,R)

□ a a a b □ □
□

Practicar y Aceptadas
verificar lo
aprendido
Rechazadas
 BIBLIOGRAFIA

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://searchebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lan g=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://elibronet.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/66401