c







Escuela de tecnología de redes y telecomunicaciones

Nombre: Galo López

Tema: LA MAQUINA DE ALAN TURING

Fecha: 2010-08-19

  (
) es un modelo computacional que realiza una lectura/escritura de
manera

La máquina Enigma, como también se conoce a la

máquina de Turing, consistía de un teclado conectado
a una unidad de codificación. La unidad de
codificación contenía tres rotores separados cuyas
posiciones determinaban como sería codificada cada
letra del teclado. Lo que hacía que el código Enigma
fuera tan difícil de romper era la enorme cantidad de
maneras en que la máquina se podía configurar.

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.

La máquina se define formalmente con la 7-upla M(Ae, Ac, Q, q0, d, F, b)

‡V Ae: alfabeto de símbolos de entrada (Ae ‰ b)

‡V Ac : alfabeto de símbolos de cinta admisibles

‡V Q: conjunto finito de estados

‡V q0 : estado inicial (q0 · Q)

‡V d : función de transición, Q x Ac å Q x Ac x [L|R|N]

 ‡V F: Conjunto de estados favorables

‡V b: símbolo blanco

Reconocen los lenguajes con menos restricciones, gramáticas de tipo 0 (los más altos en la
jerarquía de Chomsky)

Una palabra es reconocida por una Máquina de Turing si dispuesta inicialmente en una cinta de
entrada, con la cabeza posicionada en el primer símbolo y la MT en el estado incial, la MT se
detiene en un estado de aceptacion (q · F).

LA MAQUINA UNIVERSAL DE TURING

Es una máquina (MTU) que recibe en la cinta una descripcion de otra MT (MT1) y el contenido
de la cinta de esta MT, produce como resultado de su ejecución el que produciría MT, es un
dispositivo análogo a una computadora, capaz de realizar cualquier cómputo.

La maquina se codifica en la siguiente manera:

‡V Estado actual (en binario)

‡V Bit a leer (0|1)

‡V Estado destino (en binario)

‡V Movimiento a realizar

Los registros se separan mediante el símbolo #, y los datos se agregan al inicio y se concatenan
con la máquina anterior usando el símbolo $.

Funcionamiento básico de la MTU

Localizar el registro 0 (es el que aparece entre el $ y el primer #);

Leer y memorizar uno a uno los símbolos que restan del registro encontrado, excepto el último
(que se corresponde con el movimiento a realizar);

Para cada uno de los símbolos memorizados con anterioridad, colocarlos en el registro 0;

El penúltimo bit del registro localizado (que se corresponde con el bit a escribir), se escribe en
lugar del que ocupa el *;

Se localiza y memoriza el último bit del registro encontrado anteriormente (que se corresponde
con el movimiento), para desplazar la cabeza lectora correctamente y colocar el * en el lugar
adecuado;
El contenido que había en la posición donde se escribe el * ha de ser memorizado y escrito en la
última posición del registro 0, para, de esta forma, recoger lo que lee la cabeza lectora y poder
prepara todo el sistema para una nueva lectura.