Una mquina de Turing es un dispositivo que manipula smbolos sobre

una tira de cinta de acuerdo a una tabla de reglas. A pesar de su

simplicidad, una mquina de Turing puede ser adaptada para simular la
lgica de cualquier algoritmo de computador y es particularmente til en la
explicacin de las funciones de un CPU dentro de un computador.

De acuerdo con lo anterior, entonces, una mquina Turing es un

mecanismo computacional hipottico formado por una unidad de control de
estado finito acoplada a una cinta infinita.

Considerada sinnimo de lo eficazmente computable ya que lo que ella

haga se realiza por un proceso mecnico, en el que no interviene un ser
humano excepto para escribir los datos y leer la respuesta.
 Alan Turing introdujo el concepto de mquina de Turing en el trabajo On
computable numbers, with an application to the Entscheidungsproblem, en el
que se estudiaba la cuestin planteada por David Hilbert sobre si las
matemticas son decidibles, es decir, si hay un mtodo definido que pueda
aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es
cierta o no.
Turing ide un modelo formal de computador, la mquina de Turing, y demostr
que existan problemas que una mquina no poda resolver.
Con este aparato extremadamente sencillo es posible realizar cualquier
cmputo que un computador digital sea capaz de realizar.
CARACTERISTICAS

Su naturaleza totalmente simple y mecnica

La mquina Turing define o computa una operacion
Las movidas atmicas disponibles en una mquina Turing son tan
elementales como las instrucciones del lenguaje de mquina de una
computadora digital.
Toda mquina puede ser representada por un conjunto ordenado de
quntuplos
 I F
N
F
O
O R
R M
M
A A
L L

Descripcin Informal:

La mquina de Turing modela matemticamente a una mquina que opera

mecnicamente sobre una cinta. En esta cinta hay smbolos que la mquina
puede leer y escribir, uno a la vez, usando un cabezal lector/escritor de
cinta. La operacin est completamente determinada por un conjunto finito
de instrucciones elementales.
En el artculo original ("Sobre nmeros computables con una aplicacin al
Entscheidungsproblem"), Turing no imagina un mecanismo, sino una
persona a la que l llama la "computadora", quien ejecuta servilmente estas
reglas mecnicas deterministas.
Descripcin Formal:

Una mquina de Turing es un modelo computacional que realiza

una lectura/escritura de manera automtica sobre una entrada llamada
cinta, generando una salida en esta misma.
Este modelo est formado por un alfabeto de entrada y uno de salida, un
smbolo especial llamado blanco, un conjunto de estados finitos y un
conjunto de transiciones entre dichos estados.
Su funcionamiento se basa en una funcin de transicin, que recibe
un estado inicial y una cadena de caracteres (la cinta, la cual puede ser
infinita) pertenecientes al alfabeto de entrada.
VENTAJAS:

Una de las ventajas de las mquinas de Turing sobre otros modelos es

que permite aceptar lenguajes ms generalistas. Se le denomina
mquina eso se debe a que su funcionamiento puede ser descrito en
trminos de operaciones individuales muy sencillas que sugieren una
implementacin real muy simple.
Otra ventaja es que la cadena de entrada puede ser aceptada o
rechazada sin necesidad de leerse completamente.
DESVENTAJAS:

Por otra parte las desventajas seran que si la mquina no se detiene

no se sabe si la mquina necesita ms tiempo para terminar el anlisis
o es que en realidad se encuentra en un bucle infinito.
Hace falta un programador, lo que obliga a adiestrar a unos de los
tcnicos de tal sentido, pero hoy en da ese inconveniente esta
solucionado porque las universidades y/o institutos superiores ya se
encargan de dicho adiestramiento.
Una mquina de Turing es una representacin meramente terica,
pero utilsima para estudiar el potencial de la computacin, y lo que
quizs sea ms importante, para entender los lmites de la misma.
1. Cuando la maquina comienza a funcionar la cinta sobre la que se ubica
debe estar en blanco, excepto que contiene un numero finito de cuadros
estampados por smbolos. El autmata finito es forzado a comenzar en un
cierto estado inicial designado.

2. La maquina ejecuta una serie de movidas prescritas por sus reglas, esta
computacin puede continuar indefinidamente o puede terminar despus
de un numero finito de movidas.

3. Al concluir el patrn de smbolos que queda en la cinta se toma como el

resultado de la computacin (Hennie).

De este modo podemos decir que el resultado que queda en la cinta es una
funcin matemtica de lo que haba en la cinta.
MAQUINAS UNIVERSALES

Son aquellas con la propiedad de imitar o simular a cualquier otra mquina

Turing .
Para realizar sus computaciones, una mquina U debe ser provista en su cinta
de esa descripcin de la mquina que debe simular y de la descripcin de la
configuracin inicial de la cinta de tal mquina

TURING-CHURCH

Uno de los propsitos para los que sirve el concepto de mquina Turing es dar
fundamento a la tesis de Turing-Church, pues se considera que los clculos que
pueden ejecutar las mquinas Turing incluyen todos los clculos eficaz o
mecnicamente computables.