RESUMEN EJECUTIVO

MÁQUINA DE TURING

ANGELO SÁNCHEZ DELGADO

2016-1459
UTECO
Introducción
Introducimos este trabajo investigativo con la total convicción de que con el
mismo hacemos un aporte al caudal cognoscitivos del que lo lea y estudie y
a la misma vez con la certeza de que ha contribuido significativamente en
nuestro desarrollo como entes sociales y profesionales.

En el mismo analizaremos el siguiente tema: Maquina de Turing, Tipos de

máquina de Turing, Funcionamiento, Alan Turing y sus aportes.

Podemos definir la Máquina de Turing como el dispositivo que se encarga

de manipular los símbolos, la máquina de Turing puede ser adaptada
también para simular la lógica de cualquier algoritmo del computador.

Desarrollo
Una máquina de Turing es una máquina hipotética destinada a simular
cualquier algoritmo informático, sin importar la complejidad.

Una máquina de Turing tiene tres operaciones básicas cuando el cabezal de

la máquina se coloca sobre la cinta. La máquina puede leer el símbolo en el
cuadrado, editar el símbolo en el cuadrado a un nuevo valor o mover la
cinta hacia la izquierda o hacia la derecha para leer o editar el cuadrado
adyacente. Además, a cada valor se le puede asignar una acción asociada.

Una máquina de Turing continuaría procesando valores binarios sin cesar a

menos que tenga un punto definido de finalización. El programa que le dice
a la máquina cuándo detenerse se llama estado de la máquina.

Un programa para una máquina de Turing es simplemente un conjunto de

instrucciones para leer los símbolos binarios en la cinta. Estas instrucciones
se definen en lo que se denomina tabla de instrucciones o tabla de estado.
Cada instrucción en la mesa le dice a la máquina qué escribir, en qué
dirección mover la cinta y en qué estado debe moverse a continuación. 

Tipos de Máquinas de Turing:

 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
Alan Turing introdujo el concepto de máquina de Turing en el trabajo On
computable numbers, with an application to the Entscheidungsproblem,
publicado por la Sociedad Matemática de Londres en 1936, en el que se
estudiaba la cuestión planteada por David Hilbert sobre si las matemáticas
son decidibles, es decir, si hay un método definido que pueda aplicarse a
cualquier sentencia matemática y que nos diga si esa sentencia es cierta o
no. Turing ideó un modelo formal de computador, la máquina de Turing, y
demostró que existían problemas que una máquina no podía resolver.

Con este aparato extremadamente sencillo es posible realizar cualquier

cómputo que un computador digital sea capaz de realizar.

Mediante este modelo teórico y el análisis de la complejidad de

los algoritmos, fue posible la categorización de problemas computacionales
de acuerdo a su comportamiento, apareciendo así, el conjunto de
problemas denominados P y NP, cuyas soluciones pueden encontrarse
en tiempo polinómico por máquinas de Turing deterministas y no
deterministas, respectivamente.

Precisamente, la tesis de Church-Turing formulada por Alan Turing y Alonzo

Church, de forma independiente a mediados del siglo XX caracteriza la
noción informal de computabilidad con la computación mediante una
máquina de Turing.

La idea subyacente es el concepto de que una máquina de Turing puede

verse como un autómata ejecutando un procedimiento efectivo definido
formalmente, donde el espacio de memoria de trabajo es ilimitado, pero en
un momento determinado sólo una parte finita es accesible.

Conclusión
Podemos concluir que sin los aportes de Alan Turing y sus aportes sobre la
Máquina de Turing no existiría lo que hoy conocemos como la teoría de la
computación.

La Máquina de Turing fueron los primeros modelos computacionales lo que

sentó las bases para la computación moderna de hoy en día, esta sirvió
para que los británicos pudiesen descifrar los mensajes de los nazis en la
segunda guerra mundial.