MÁQUINAS DE TURING

INTRODUCCIÓN
La máquina de Turing, presentada por Alan Turing en 1936 en On computable numbers, with
an application to the Entscheidungsproblems, es el modelo matemático de un dispositivo que
se comporta como un autómata finito y que dispone de una cinta de longitud infinita en la
que se pueden leer, escribir o borrar símbolos. Existen otras versiones con varias cintas,
deterministas o no, etc., pero todas son equivalentes (respecto a los lenguajes que aceptan).
En las Unidades precedentes se han estudiado lo que se puede considerar las máquinas
abstractas que permiten solucionar ciertos tipos de algoritmos, los algoritmos en los que no
puede recordarse más que una cantidad fija de información y otros en los que la información
desarrollada durante la ejecución del algoritmo puede recuperarse solo en concordancia con
la regla “lifo” últimos en entrar primeros en salir, en esta unidad se describe una maquina
abstracta, llamada Máquina de Turing , que es aceptada de manera amplia como modelo
general de computación, aunque las operaciones básicas de esta máquina son comparables
en su sencillez a las de las máquinas estudiadas en las unidades anteriores, las nuevas
máquinas pueden realizar una amplia variedad de operaciones de cómputo.
Además de aceptar lenguajes les es posible computar funciones y de conformidad con la tesis
de Church-Turing, ejecutar casi cualquier procedimiento algorítmico concebible.
¿Por qué creemos que las máquinas de Turing son una buena formalización del
concepto de algoritmo?
 Porque cada programa de una máquina de Turing puede ser implementado.
 Porque todos los algoritmos conocidos han podido ser implementados en máquinas
de Turing.
 Porque todos los otros intentos por formalizar este concepto fueron reducidos a las
máquinas de Turing.
 Los mejores intentos resultaron ser equivalentes a las máquinas de Turing.
 Todos los intentos “razonables” fueron reducidos eficientemente.
 Tesis de Church: Algoritmo = Máquina de Turing.

BIOGRAFÍA ALAN TURING

Alan Mathison Turing, OBE (Paddington, Londres, 23 de junio de 1912-
Wilmslow, Cheshire, 7 de junio de 1954), fue un matemático, lógico, científico de la
computación, criptógrafo, filósofo, maratoniano y corredor de ultra distancia británico.
En 1937 publicó un célebre artículo en el que definió una máquina calculadora de capacidad
infinita (máquina de Turing) que operaba basándose en una serie de instrucciones lógicas,
sentando así las bases del concepto moderno de algoritmo. Turing describió en términos
matemáticos precisos cómo un sistema automático con reglas extremadamente simples podía
efectuar toda clase de operaciones matemáticas expresadas en un lenguaje formal
determinado.
Alan Turing definió además un método teórico para decidir si una máquina era capaz de
pensar como un hombre (test de Turing) y realizó contribuciones a otras ramas de la
matemática aplicada, como la aplicación de métodos analíticos y mecánicos al problema
biológico de la morfogénesis.
Es considerado uno de los padres de la ciencia de la computación
Y precursor de la informática moderna.
Proporcionó una influyente formalización
De los conceptos de algoritmo y
Computación: la máquina de Turing.
Formuló su propia versión que hoy es
Ampliamente aceptada como la tesis
de Church-Turing (1936).
ALAN TURING
En el campo de la inteligencia artificial, es conocido sobre todo por la concepción del test de
Turing (1950), un criterio según el cual puede juzgarse la inteligencia de una máquina si sus
respuestas en la prueba son indistinguibles de las de un ser humano.
La carrera de Turing terminó súbitamente tras ser procesado por homosexualidad en 1952.
Dos años después de su condena, murió según la versión oficial por suicidio; sin embargo,
su muerte ha dado lugar a otras hipótesis, incluida la del asesinato. El 24 de diciembre de
2013, la reina Isabel II promulgó el edicto por el que se exoneró oficialmente al matemático,
quedando anulados todos los cargos en su contra.

MÁQUINA DE TURING
Una MT es una forma de simular una máquina computacional compuesta por estados y
transiciones que seguir. La MT está formada por una cinta, un conjunto de estados, un
alfabeto de entrada, un alfabeto para la cinta, una función de transición, un estado inicial y
unos estados finales. La cinta es leída con un único cabezal, y en la misma se puede leer o
escribir símbolos de los dados en el alfabeto para la cinta. Los movimientos permitidos en la
cinta son; izquierda, derecha o mantenerse en el sitio.
VISIÓN DESCRIPTIVA
• Cinta semi-infinita dividida en celdas
• Control finito
• Cabezal de lectura/escritura
• En cada momento, cada celda contiene un símbolo del
• alfabeto de cinta
• Los símbolos de la palabra inicial pertenecen al alfabeto de
• entrada. El resto de la cinta contiene b
 • Movimientos: En función del estado del C.F. y del símbolo
• accedido por el cabezal, la máquina puede:
• Cambiar de estado
• Cambiar el símbolo contenido en la casilla accedida
• Desplazar el cabezal una posición a derecha o izquierda

OBJETIVO.
Una MT puede ser generada de forma simple para problemas sencillos. Sin embargo, la
potencia de las MT es tal que puede simular cualquier algoritmo que seamos capaces de
imaginar. Su uso tiene un sinfín de utilidades tanto en el ámbito de la computación, como en
el análisis de complejidad algorítmica, o en el mismo campo matemático.

FUNCIONAMIENTO.
El funcionamiento es muy sencillo. Dada una palabra de entrada, formada por símbolos del
alfabeto de entrada, el objetivo de la MT es responder entre dos opciones. “SI” si la palabra
es aceptada, y “NO” en caso contrario. Para ello, la MT hace uso de las transiciones (o reglas)
definidas, tomando el estado actual y el símbolo que lea en la cinta.

Cinta de máquina de Turing

RECONOCIMIENTO DE CADENAS UTILIZANDO LA MAQUINA DE TURING
Es importante porque a través de esta tecnología vemos el progreso de la humanidad través
de los desarrollos de los científicos de la NASA con este sofisticado robot que con la
información que perciben del medio ambiente a través de censores y actuadores pueden tomar
decisiones razonables en terrenos difíciles.
Claro que si lo considero pertinente para el contenido del curso, por que tradicionalmente los
robots han tenido poca interacción con los humanos, por ejemplo los robots industriales, e
incluso algunos robots de servicio (aspiradores, cortar pasto).
Este acercamiento al hombre implicará que los robots tengan una serie de características
determinadas que el hombre considera necesarias para aceptarlo. A dichos robots se les puede
denominar sociales.
Un punto de partida importante para llegar a considerar la necesidad de tener robots sociales
o sociables es considerar y reconocer que el hombre es una especie profundamente social. A
menudo el hombre aplica modelos sociales para explicar, comprender y predecir el
comportamiento de lo que le rodea.
CLASIFICACIÓN DE LAS MÁQUINAS DE TURING
A continuación se presentan los diversos tipos de Máquinas de Turing, que surgen de la
necesidad de flexibilidad para la solución de problemas.
Máquina de Turing con Directiva de Permanecer
Máquina de Turing Multipista
Máquina de Turing de Cinta infinita en una Dirección
Máquina de Turing en Dos Direcciones
Máquina de Turing Multicinta
Máquina de Turing Muldimensional.
Máquina de Turing No determinista

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).
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.
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 la
2 k 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.
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.
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.
MÁQUINA DE TURING CON MOVIMIENTO "STAY" O "ESPERAR"
La función de transición de la MT sencilla está 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.

MÁQUINA DE TURING CON CINTA INFINITA A AMBOS LADOS

Esta modificación se denota al igual que una MT sencilla, lo que la hace diferente es que la
cinta es infinita tanto por la derecha como por la izquierda lo cual permite realizar
transiciones iniciales como δ(q0, x) = (q1, y, L).
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.
MÁQUINAS DE TURING MULTIDIMENSIONALES
Una MT 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.En esta modificación de la MT también se agrega dos nuevos movimientos del
cabezal {U,D} (es decir arriba y abajo). De esta forma la definición de los movimientos que
realiza el cabezal será {L,R,U,D}.

MÁQUINA UNIVERSAL DE TURING

Una máquina de Turing computa una determinada función parcial de carácter definido, y
unívoca, definida sobre las secuencias de posibles cadenas de símbolos de su alfabeto. En
este sentido se puede considerar como equivalente a un programa de ordenador, o a un
algoritmo. Sin embargo es posible realizar una codificación de la tabla que representa a una
máquina de Turing, a su vez, como una secuencia de símbolos en un determinado alfabeto;
por ello, podemos construir una máquina de Turing que acepte como entrada la tabla que
representa a otra máquina de Turing, y, de esta manera, simule su comportamiento.
En 1947, Turing indicó: Se puede demostrar que es posible construir una máquina especial
de este tipo que pueda realizar el trabajo de todas las demás. Esta máquina especial puede ser
denominada máquina universal.
Esta fue, posiblemente, la idea germinal del concepto de Sistema Operativo, un programa
que puede, a su vez, ejecutar en el sentido de controlar otros programas, demostrando su
existencia, y abriendo camino para su construcción real.
MÁQUINA DE TURING CUÁNTICA
En 1985, Deutsch presentó el diseño de la primera Máquina Cuántica basada en una máquina
de Turing. Con este fin enunció una nueva variante la tesis de Church dando lugar al
denominado "Principio de Church-Turing-Deutsch".
La estructura de una máquina de Turing cuántica es muy similar a la de una máquina de
Turing clásica. Está compuesta por los tres elementos clásicos:
 Una cinta de memoria infinita en que cada elemento es un QuBit
 Un procesador finito
 Un cursor
El procesador contiene el juego de instrucciones que se aplica sobre el elemento de la cinta
señalado por el cursor. El resultado dependerá del QuBit de la cinta y del estado del
procesador. El procesador ejecuta una instrucción por unidad de tiempo.
La cinta de memoria es similar a la de una máquina de Turing tradicional. La única diferencia
es que cada elemento de la cinta de la máquina cuántica es un QuBit. El alfabeto de esta
nueva máquina está formado por el espacio de valores del QuBit.
El cursor es el elemento que comunica la unidad de memoria y el procesador. Su posición se
representa con una variable entera.
MODELO BÁSICO
DEFINICIÓN DE LA MÁQUINA DE TURING
Llamamos Máquina de Turing (ó MT) a
M=(Q,Σ,Γ,δ,q0,B,F)M=(Q,Σ,Γ,δ,q0,B,F)
Donde
Q es el conjunto finito de estados que denotaremos por
q0, q1, q2,...q0, q1, q2,...
Σ es el alfabeto: el conjunto finito de símbolos de entrada.
Γ = El alfabeto llamado alfabeto de la cinta.q0 es el estado inicial: el estado en el que se
encuentra inicialmente la MT. Ѣ ∈ Γ: el símbolo en blanco. Se encuentra en todas las casillas
de la cinta que no tienen un símbolo de entrada. F ⊆ Q es el conjunto de estados finales.δ es
la función de transiciones.

LENGUAJE DE UNA MÁQUINA DE TURING.

El lenguaje de una Máquina de Turing

M=(Q,Σ, Γ,δ,q0, Ѣ,F)M=(Q,Σ, Γ,δ,q0 Ѣ,F) es

L(M):={w∈Σ∗ : q0w⊢∗ αpβ,p∈F,α,β∈Γ ∗}
Es decir, las w de Σ* tales que la máquina de Turing alcanza un estado de aceptación.
LENGUAJE RECURSIVO
Los lenguajes recursivos También se denominan lenguajes decidibles.
La clase de todos los lenguajes recursivos es a menudo llamada R, aunque este nombre
también es usado para la clase RP.
Este tipo de lenguaje no estaba definido en la jerarquía de Chomsky. Todos los lenguajes
recursivos son también recursivamente enumerables. Todos los lenguajes regulares, libres de
contexto y sensible al contexto son lenguajes recursivos.

Sea L el lenguaje de una máquina de Turing M, es decir, L = L(M), y además,

si w es una palabra de L, entonces M se para (y alcanza un estado de aceptación)
si w no es una palabra de L, entonces M se para (pero no alcanza un estado de aceptación)
entonces se dice que L es un lenguaje recursivo.
EJEMPLO 1
La siguiente máquina de Turing acepta el lenguaje de palabras sobre {0,1} que comienzan y
acaban con el mismo símbolo. 0110100
CADENA RECHAZADA
110
BIBLIOGRAFIA
http://trab-vanessa7.blogspot.com/2011/05/introduccion_27.html
https://www.biografiasyvidas.com/biografia/t/turing.htm
http://users.dsic.upv.es/asignaturas/eui/alc/MTuring.pdf
http://maquinaturing.blogspot.com/p/clasificacion-de-maquina-turing.html
https://www.slideshare.net/cchicaiza/mquina-de-turing
https://es.wikipedia.org/wiki/Lenguaje_recursivo
https://www.youtube.com/watch?v=PNfjzLZhyZQ
https://www.youtube.com/watch?v=QE7JxgtxSvQ