1.

Tipos de Maquina de Turing

a) MÁQUINA DE TURING MULTICINTA En este modelo, la máquina de Turing tiene k cintas,

infinitas en ambos sentidos, y k cabezales de L/E. Sólo hay una entrada de información, en
la primera cinta. Los tres pasos asociados a cada transición son ahora: · Transición de
estado, · Escribir un símbolo en cada una de las celdas sobre las que están los cabezales de
L/E. · El movimiento de cada cabezal es independiente y será R, L ó NADA (Z).
b) MÁQUINA DE TURING NO DETERMINISTA Es una Máquina de Turing con cinta limitada a la
izquierda, que se caracteriza por que a partir de un estado y un símbolo puede haber
diferentes transiciones, El número de transiciones asociado a cada para estado/símbolo
SIEMPRE ES FINITO.
c) MÁQUINA DE TURING MULTIDIMENSIONAL En este modelo la cinta es un array de k
dimensiones de celdas, infinito en las 2k direcciones posibles. Dependiendo del estado y
del símbolo leído, hay una transición que difiere de las de la Máquina de Turing
unidimensional en que el movimiento puede ser en cualquiera de las 2k direcciones
existentes. Se considera que la entrada está sobre un eje, y que la posición inicial del
cabezal está ajustada a la izquierda de esa entrada.
d) MÁQUINA DE TURING CON MÚLTIPLES CABEZALES Tiene k cabezales de L/E, como la
multicinta, pero con una sola cinta. Los cabezales operan todos de forma independiente.
Como en las Máquinas de Turing multicinta, se admiten movimientos L, R ó Z.
e) MÁQUINA DE TURING OFFLINE Es un caso particular de las Máquinas de Turing multicinta:
tienen una cinta especial de sólo lectura en la que el cabezal, que sólo puede moverse
hacia la derecha, no puede moverse de la zona delimitada por una par de símbolos
especiales.
f) MÁQUINA DE TURING CON MOVIMIENTO "STAY" O "ESPERAR" La función de transición de
la MT sencilla esta definida por δ :Q x Γ → Q x Γ x {L, R}, la cual puede ser modificada como
δ: Q x Γ → Q x Γ x {L, R, S} . Donde S significa "permanecer" o "esperar", es decir no mover
el cabezal de lectura/escritura. Por lo tanto δ(q, σ ) = (p, σ’, S) significa que se pasa del
estado q al p, se escribe σ’ en la celda actual y la cabeza se queda sobre la celda actual.
g) MÁQUINA DE TURING CON CINTA MULTIPISTA Es aquella que mediante la cual cada celda
de la cinta de una máquina sencilla se divide en subceldas. Cada subcelda es capaz de
contener símbolos de la cinta. La cinta tiene cada celda subdividida en tres subceldas. Se
dice que esta cinta tiene múltiples pistas puesto que cada celda de esta máquina de Turing
contiene múltiples caracteres, el contenido de las celdas de la cinta puede ser
representado mediante n-tuplas ordenadas. Los movimientos que realice está máquina
dependerán de su estado actual y de la n- tupla que represente el contenido de la celda
actual. Cabe mencionar que posee un solo cabezal al igual que una MT sencilla.
h) MÁQUINAS DE TURING MULTIDIMENSIONALES Una Maquina Turing multidimensional es
aquella cuya cinta puede verse como extendiéndose infinitamente en más de una
dirección, el ejemplo más básico sería el de una máquina bidimensional cuya cinta se
extendería infinitamente hacia arriba, abajo, derecha e izquierda.
 2. Opinión ¿Es fácil crear algoritmos con MT?

Considero que si debido que, a diferencia de los demás algoritmos, la maquina de turning
funciona con la lógica del programa, como el usuario visualiza que debe funcionar el algoritmo
permitiéndonos verificar la veracidad de su lógica y pasando directamente a código.