Universidad De Panamá

Facultad De Informática, Electrónica y

Comunicación
Escuela De Informática

Asignación Sumativa #1
Máquinas de Turing

Asignatura:
Computabilidad y complejidad de algoritmos

Profesor:
Ayax Mendoza

Elaborado por:
William Abrego 8-805-929

Fecha:
24/9/2019

1
 Máquina de Turing Determinista
Definición Formal

Características
Las Principales características son:
 La entrada que tiene la cinta antes de que
comience el cálculo debe consistir en un
numero finito de símbolos.
 La cinta de la maquina tiene una longitud
ilimitada.
 El cabezal de lectura y escritura puede ser
programable.
 La máquina de Turing es capaz de hacer 6
tipos de operaciones fundamentales: leer,
2
 escribir, mover hacia la izquierda, mover
hacia la derecha, cambiar de estado y
detenerse.
 Tiene la capacidad de computar cualquier
cosa que cualquier computadora moderna
pueda calcular.
 Está formada por un alfabeto de entrada y
uno de salida y por un símbolo especial
llamado vacío.

Ejemplo
Diseñar una Máquina de Turing que sea un contador unario de caracteres del
lenguaje con alfabeto Σ = {a,b,c}. Es decir, se deben devolver tantos 1’s como
caracteres haya en la palabra de entrada. Considerar la codificación unaria del 0

3
Máquina de Turing No Determinista
Definición Formal

Características
 Acepta si alguna rama alcanza la
configuración aceptadora.
 Adivina el Camino correcto y luego
comprueba que efectivamente es el
correcto.

4
 Ejemplo
Diseñar una Máquina de Turing que tome como entrada una cadena con M 1’s y N A’s
(M<=N), y cambia las M primeras A’s por B’s. Por ejemplo, para la entrada
“b11AAAAAb” devuelve en la cinta “b11BBAAAb”, donde ‘b’ representa la celda de
la cinta vacía.

5
Máquina de Turing De Varias Cintas
Definición Formal

Característica
 La Entrada se coloca en la primera
cinta. El resto de cintas contiene solo
espacios en blanco (B).
 Mientras la cabeza de la primera cinta
se encuentra examinando el símbolo de
entrada más a la izquierda, el resto de
cabezas está en una posición
cualquiera. Como las otras cintas están
llenas de espacios en blanco, la posición
de la cabeza carece de importancia.
6
  Las transiciones dependen del estado
actual y del símbolo leído por cada
cabeza de cinta. En cada transición
cada cabeza puede moverse de forma
independiente en el sentido que desee.

Ejemplo
Diseñar una Máquina de Turing que haga una copia de una cadena de símbolos
{A,B,C}. Por ejemplo, para la entrada “bAABCAb” devuelve en la cinta
“bAABCAAABCAb”, donde ‘b’ representa el blanco

7
 Máquina de Turing De Acceso
Aleatorio
Definición Formal
En una máquina de Turing de acceso
aleatorio, hay un especial puntero de la
cinta del espacio logarítmico aceptar un
vocabulario binario. La máquina de
Turing tiene un estado especial de tal
manera que cuando el número binario en
el puntero de la cinta es 'p', la máquina de
Turing escribirá en la cinta de trabajo del
p para el símbolo de la entrada.

Esto permite que la máquina de Turing

leer cualquier letra de la entrada sin tener
tiempo para moverse por toda la entrada.
Esto es obligatorio para las clases de
complejidad que utilizan menos de tiempo
lineal.

8
 Característica
 La cinta de entrada no tiene cabeza
lectora.
 Se añade un nuevo estado ql en la
primera celda de la cinta de respuesta
de bit de la palabra de entrada cuyo
índice es el entero escrito en notación
binaria
 El alfabeto r utilizado en la cinta de
trabajo debe contener los símbolos {0,
1} utilizados en la cinta de consulta.
Máquina de Turing Universal
Definición Formal
es una máquina de Turing que puede simular una máquina de
Turing arbitraria en la entrada arbitraria. La máquina
universal esencialmente logra esto mediante la lectura de
tanto la descripción de la máquina a ser simulada como
también la entrada misma de su propia cinta. Alan Turing
introdujo esta máquina en 1936-1937.