c

cc c
c
c

 c  cc
 c

c

c


c
cc


c cc 
c 
c

c
c
cc

c
c
 c
 
c

c 
c

(Alan Mathison Turing; Londres, 1912-Wilmslow, Reino Unido,

1954) Matemático británico. Pasó sus primeros trece años en la
India, donde su padre trabajaba en la Administración colonial. De
regreso al Reino Unido, estudió en el King¶s College y, tras su
graduación, se trasladó a la Universidad estadounidense de
Princeton, donde trabajó con el lógico A. Church.

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. Así,
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. La máquina de Turing era tanto un
ejemplo de su teoría de computación como una prueba de que un
cierto tipo de máquina computadora podía ser construida.

La Segunda Guerra Mundial ofreció un insospechado marco de

aplicación práctica de sus teorías, al surgir la necesidad de
descifrar los mensajes codificados que la Marina alemana
empleaba para enviar instrucciones a los submarinos que
hostigaban los convoyes de ayuda material enviados desde
Estados Unidos; Turing, al mando de una división de la
Inteligencia británica, diseñó tanto los procesos como las
máquinas que, capaces de efectuar cálculos combinatorios mucho
más rápido que cualquier ser humano, fueron decisivos en la
ruptura final del código.

Es considerado uno de los padres de la Ciencia de la computación

siendo el 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 de
la hoy ampliamente aceptada Tesis de Church-Turing, la cual
postula que cualquier modelo computacional existente tiene las
mismas capacidades algorítmicas, o un subconjunto, de las que
tiene una máquina de Turing. Durante la Segunda Guerra
Mundial, trabajó en romper los códigos nazis, particularmente los
de la máquina Enigma; durante un tiempo fue el director de la
sección Naval Enigma del Bletchley Park. Tras la guerra diseñó
uno de los primeros computadores electrónicos programables
digitales en el Laboratorio Nacional de Física del Reino Unido y
poco tiempo después construyó otra de las primeras máquinas en
la Universidad de Mánchester. Entre otras muchas cosas, también
contribuyó de forma particular e incluso provocativa al enigma de
si las máquinas pueden pensar, es decir a la Inteligencia Artificial.

La carrera de Turing terminó súbitamente cuando fue procesado

por su homosexualidad. No se defendió de los cargos y se le dio a
escoger entre la castración química o ir a la cárcel. Eligió lo
primero y sufrió importantes consecuencias físicas, entre ellas la
impotencia. Dos años después del juicio, en 1954, se suicidó.

|
   
      
 
    

De 1945 a 1948 trabajó en el Laboratorio Nacional de Física en el
diseño del ACM (Máquina de Computación Automática
[automatic computer machine]). En 1949 fue nombrado director
delegado del laboratorio de computación de la Universidad de
Mánchester y trabajó en el software de una de las primeras
computadoras reales ² la Manchester Mark I. Durante esta etapa
también realizó estudios más abstractos y en su artículo
"Máquinas de computación e inteligencia" (octubre de 1950)
Turing trató el problema de la inteligencia artificial y propuso un
experimento que hoy se conoce como la prueba de Turing, con la
intención de definir una prueba estándar por el que una máquina
podría catalogarse como "sensible" o "sintiente".
En 1952 Turing escribió un programa de ajedrez. A falta de una
computadora lo suficientemente potente como para ejecutarlo, él
simulaba el funcionamiento de la computadora, tardando más de
hora y media en efectuar un movimiento.

Una de las partidas llegó a registrarse; el programa perdió frente a

un amigo de Turing.

Trabajó junto a Norbert Wiener en el desarrollo de la cibernética.

Esta rama de estudios se genera a partir de la demanda de
sistemas de control que exige el progresivo desarrollo de las
técnicas de producción a partir del siglo XX. La cibernética
pretende establecer un sistema de comunicación entre el hombre y
la máquina como premisa fundamental para administrar los
sistemas de control. Sus estudios profundizaron en esta relación
estableciendo el concepto de interfaz y cuestionando los límites
de simulación del razonamiento humano.

 
cc 
c

„
    („) es un modelo computacional que

realiza una lectura/escritura de manera automática sobre una
entrada llamada cinta, generando una salida en esta misma.

Este modelo está conformado por un alfabeto de entrada y uno de

salida, un símbolo especial llamado blanco(normalmente ±, o

), un conjunto de estados finitos y un conjunto de transiciones
entre dichos estados. Su funcionamiento se basa en una función
de transición, que recibe un 
  y una cadena de
caracteres(la cinta, la cual es finita por la izquierda)
pertenecientes al alfabeto de entrada. Luego va leyendo una celda
de la cinta, borrando el símbolo, escribir el nuevo símbolo
perteneciente al alfabeto de salida y finalmente avanza a la
izquierda o a la derecha(solo una celda a la vez), repitiendo esto
según se indique en la función de transición, para finalmente
detenerse en un 
 o  
, representando así la
salida.
c




  c

ci
cc  i c
 t
ccc


lcl
t /
it c c
c

it
c iiit
c c l
c c lc


lc lc lc
tic 
c lc

tic
t i cc
iccc
l c
c

i cc
cc 
li
cc t
ci
c cliit
c
:c

c ˜ ˜
˜˜˜

˜ ˜˜˜

 ˜ ˜ 

˜˜
˜

˜ 

˜˜˜
˜

c ˜ ˜
˜˜˜

˜ ˜˜  ˜

|lc
tc ct i
c
c
ti cc
ct
l
cc t
 ccl
c
 
:c

 t
c
l c c t
cc
l ci 

ic

| t
ct
l
ct
c
c
t  clc t
c

t
lccl
ci
cc
lc


t c líc c l
c
it
c 
c l
c i 

ic 

c  c lc


lclcc t
ccl
ci
cclc
l c
c  c

itcc
l
c
it
c
 c

c
 
cc 
c

Una máquina de Turing es un autómata que se mueve sobre una

secuencia lineal de datos. En cada instante la máquina puede leer
un solo dato de la secuencia (generalmente un carácter) y realiza
ciertas acciones en base a una tabla que tiene en cuenta su
"estado" actual (interno) y el último dato leído. Entre las acciones
está la posibilidad de escribir nuevos datos en la secuencia;
recorrer la secuencia en ambos sentidos y cambiar de "estado"
dentro de un conjunto finito de estados posibles.

En realidad la máquina de Turing es más una abstracción

matemática que un dispositivo físico o mecánico. El hecho que se
le denomine "máquina" se debe a que su funcionamiento puede
ser descrito en términos de operaciones individuales muy
sencillas que sugieren una implementación real muy simple, lo
que ha motivado que existan muchas versiones prácticas del
mismo.

Existen diversas "variedades" de una máquina de Turing, pero la

más simple puede ser descrita diciendo que es cualquier
dispositivo que cumple las siguientes condiciones:

c Tiene una cinta sobre la que puede desplazarse a izquierda y

derecha un cabezal de lectura/escritura. La cinta contiene
una serie de celdas, y en cada una de ellas puede escribirse
un símbolo de un conjunto finito; este conjunto de símbolos
se denomina el 

  

 [2]. En principio
todas las celdas que no se hayan escrito antes contienen un
carácter especial nulo o vacío (que se representa por  o ).
La cinta puede contener tantas celdas a derecha e izquierda
del cabezal como sean necesarias para el funcionamiento de
la máquina.
 c El cabezal puede moverse a derecha (R) a izquierda (L) de
su posición actual, así como leer el contenido de una celda o
escribir en ella cualquier carácter de su alfabeto.
c Existe un  
  
 que almacena el estado de la
máquina. El número de estados posibles es finito, y no se
exige ningún estado especial con el que sea iniciada la
máquina.
c Existe una

    [3], que contiene las
instrucciones de lo que hará el autómata. Estas
instrucciones representan en cierta forma el "programa" de
la máquina. Las ejecución de cada instrucción de la tabla de
acción incluye cuatro pasos:
°c Leer un carácter en la posición actual.
°c Escribir un nuevo símbolo en esta posición (puede ser
el mismo que había). El símbolo a escribir es alguno
del alfabeto de la máquina, y depende del carácter
leído y del estado actual.
°c Desplazar el cabezal una celda a derech a o izquierda
(R/L); en algunos modelos el desplazamiento puede
ser nulo (detener H).
°c Decidir cual será el nuevo estado en función del
carácter que se acaba de leer y del estado actual. Si la
tabla de acción no contiene ninguna correspondencia
con el estado actual y el símbolo leído, entonces la
máquina detiene su funcionamiento.

En los modelos didácticos computarizados [5] la tabla suele

definirse mediante una matriz de cinco columnas que contiene:


 






c
En el recuadro se incluye una
muestra de una de estas tablas. ]c c ]c c ]]c c ]c c ]c c ]c
Representa el comportamiento c
de una máquina de turing que es ]c c ]c c ]]c c ]c c ]c c ]c
capaz de sumar 1 a cualquier ]c c ]c c ]]c c ]c c ]c c ]c
número unario ( 0.1). El
]c c ]c c ]]c c ]c c ]c c ]c
alfabeto solo tiene dos
símbolos: Vacío (0) y valor ]c c ]c c ]]c c ]c c ]c c ]c
(1). La máquina puede adoptar ]c c ]c c ]]c c ]c c ]c c ]c
tres estados diferentes ]c c ]c c ]]c c ]c c ]c c ]c
numerados del 0 al 2 (es c
costumbre señalar el estado c
inicial con 0). El movimiento H
c
c  c  c
("Halt") significa no desplazar
el cabezal. En este caso la c
c  c  c
máquina se detiene (o entra en c
c  c 
c
un bucle sin fin). c
c

cc

c
c
c cc

También es posible representar la

tabla de acción mediante un grafo.
Los diferentes estados internos se
representan por círculos. Los
cambios de estado con flechas a las
que se añade una leyenda.
Generalmente se utiliza una flecha
para señalar el estado inicial. En la
c

figura 1 se muestra el grafo

correspondiente a la tabla.

Es notable que el diseño de Turing contiene de forma implícita la

idea de que el autómata puede alterar su propio programa, pero el
punto más significativo de su filosofía de funcionamiento es que
se comporta como la mente, en el sentido que la configuración
interna de la máquina establece el entorno en el que se toman las
decisiones, de forma que la acción depende de dos factores:
el estado interno y la información externa que puede "ver" a
través de su cabezal [6]. La consecuencia es que es imposible
predecir su comportamiento de la simple inspección de su tabla de
acción, ya que el comportamiento depende también de la entrada
recibida.

El hecho que el número de estados posibles y su alfabeto sea

finitos, califica a estos autómatas como
   
 

 FSM ("Finite State Machine").


: algunos teóricos sostienen que la genuina máquina de

Turing solo utiliza un alfabeto unario, mientras que una máquina
de estados finitos es más general y puede utilizar un alfabeto con
más símbolos.

Es significativo que la cinta puede extenderse indefinidamente a

derecha e izquierda, lo que hace que en la práctica sea imposible
construir un modelo real de lo que se denomina un sistema de
Turing completo (ver a continuación §4 ). Es también
destacable que la máquina da a la cinta tres utilizaciones distintas:

c c c c 

c c c c c
cc
c
c


c
c ccc
cc
c
ccc
c c
cc

c

cc
ccccc
cc

Aunque tanto el alfabeto utilizado como el número de estados son

finitos, lo que confiere su potencia a la máquina de Turing
(además de su diseño genial) es su almacenamiento ilimitado.
Turing probó que este autómata es también un computador
universal. Es decir, que puede emular el comportamiento de
cualquier dispositivo cuyo comportamiento pueda ser expresado
simbólicamente mediante un algoritmo.
§




Supongamos una máquina de Turing
con un alfabeto unario, en la que el pc c 2c „c c
nulo (ausencia de dato) lo señalamos
con . La máquina puede tener cinco c c c c c
estados que denominamos { , , ,
, }. El estado inicial es ; su c c c c c


    se muestra a la
derecha. c c c c c

Observe que la tabla debe contener al c c c c c

menos tantas filas como estados
distintos. La primera columna c c c c c
representa lo que podíamos denominar
"estado mental" de la máquina. La c c c c c
segunda columna indica el carácter
leído; representa la entrada (input) al c c c c c
autómata. Las siguientes (en otro
color) representan el comportamiento o c c c c c
respuesta de la máquina para la
combinación estado/carácter-leído. c c c c c
Esta respuesta tiene tres componentes:

c ‘c 
c 

c c c 
c 

cccc2c : Estado anterior
c ‘c 

c c  c c
: Símbolo leído
c c  c c c

c

cccc„c : Símbolo a escribir
c ‘c 
c c c
c
ccccc c „: Movimiento (R, L).
cc
: Nuevo estado.
Observe que las filas pueden repetir el
primer elemento; significan las acciones a tomar en cada estado
según el carácter leído. Cada vez que se alcanza un estado para el
que no exista una entrada para el carácter leído, la máquina se
detiene. En nuestro autómata la tabla señala acciones concretas
para cualquier carácter leído ( o ) en cualquiera de los estados
 , ,  y , pero si en el estado  se lee un , la máquina se
detiene.

La sucesión de pasos de cómputo es la siguiente (suponemos un

estado inicial cualquiera ):

 ! Se lee un carácter  (en nuestro caso es necesariamente  o )

 ! Se mira en la tabla que fila corresponde a la combinación

/.

 ! Si no existe entrada la máquina se detiene.

 ! Si existe entrada se ejecuta la instrucción (columnas en

marrón claro) en el siguiente orden:

 ! Se escribe en la posición actual el carácter señalado (puede

ser el mismo que había).

 ! Se mueve el cabezal una posición a izquierda o derecha.

 ! Se pasa al estado señalado en la última columna (puede
implicar no cambiar de estado).

 ! Se repite el ciclo desde el punto .

Un ejemplo concreto debe comenzar en un estado determinado y

con una cinta que contenga cualquier conjunto no nulo de
caracteres del alfabeto del autómata. El autómata de nuestro
ejemplo [4] espera estar situado en el primer carácter (izquierdo)
de una cantidad cualquiera representada en unario ( 0.1). El
programa hace que el autómata lea la cantidad y la repita a la
derecha separadas por un nulo (0). Por ejemplo, si encuentra
111100000 lo transforma en 111101111.
Un ejemplo del proceso de esta máquina puede ser el que se
muestra a continuación. Como el número de pasos de cómputo
hasta que la máquina se detiene, depende de la cant idad inicial
representada en la cinta, para hacer el ciclo más breve
supondremos que hay un 2 (110000...). Los pasos ejecutados por
el autómata para realizar el proceso se muestran en la tabla
inferior. La información contenida en la cinta para cada paso es
la existente "antes" de la ejecución del ciclo correspondiente. El
carácter en negrita indica la posición de la cabeza en el momento
de la lectura.

ß
c|
 c c

c c c

c c c

c c  c

c c  c

c c  c

!c c c

"c c c

#c c c

$c c  c

c c c

c c  c

c c c

 c c  c P1: La máquina ejecuta el primer paso.
Arranca en el estado , donde lee un ;
c c  c entonces, de acuerdo con su tabla de acción
escribe un  en esa posición, se mueve a la
 c c  c derecha y entra en estado .

cc %c P2: En  lee un 1, escribe un 1 y se

c
mueve a la derecha. Sigue en .

P3: En  lee 0, escribe 0, se mueve a la derecha y cambia a 

P4: En  lee 0, escribe 1, se mueve a la izquierda y cambia a 

P5: En  lee 0, escribe 0, se mueve a la izquierda y cambia a 

P6: En  lee 1, escribe 1, se mueve a la izquierda y sigue en 

El proceso sigue la misma lógica a través de los sucesivos pasos

hasta llegar al último.

P15: En  lee 0; no existe ninguna entrada en la tabla para esta

combinación, por lo que el autómata se detiene. Comprobamos
como al final ha escrito en la cinta la cantidad esperada: 11011.

§








Un 
   

 es aquel que puede simular el
comportamiento de una máquina de Turing. Es evidente que
salvando los problemas de memoria, los ordenadores modernos y
los lenguajes de programación de uso general, son sistemas de
Turing completos. También es evidente, que con independencia
de su forma concreta, cualquier dispositivo que se comporte como
un sistema de Turing completo, puede en principio ejecutar
cualquier cálculo que realice cualquier computador.


 
c
Este tipo de investigación nos ha llevado a la evolución del
hombre enfocándose en los avances tecnológicos basada en la
informática y la computación.
El hombre a sabido aprovechar cada uno de estos recursos que
ciertos investigadores del pasado enfocaron una mirada mas allá
de la imaginación.

  c

www.wikipedeia.comc
÷
 
         
   &c ##        
  c