Universidad de las Américas

Luis Alejandro Colcha Vargas

Redes y Telecomunicaciones
TRC-260-41
Máquina de Turing

Es un modelocompu tasi onal que realiza unal e ctura/escritura de manera

automática
Sobre unae ntrada llamada cinta, generando unasal i da en esta misma.
Este modelo está conformado por unal fabe to de entrada y uno de salida, un
símbolo especial llamado blanco(normalmenteb,Δ o0), un conjunto deestados
finitos y un conjunto de transiciones entre dichos estados. Su funcionamiento
se basa en una
Función de transición, que recibe un estado inicial y una cadena de caracteres
(la
Cinta, la cual es finita por la izquierda) pertenecientes alal fabe to 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 estado final o de aceptación,
Representando así la salida.
Máquina de Turing con movimiento "Stay" o "Esperar"
La función de transición de la MT sencilla esta 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
estadoq alp, se escribe σ’ en la celda actual y la cabeza se queda sobre la
celda actual.
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).
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.
En el desarrollo de la computadora, la teoría antecedió a la práctica. El
manifiesto del nuevo orden electrónico de cosas fue un trabajo ("On
Computable Numbers" -Sobre números calculables-) publicado en 1936, por el
matemático y lógico A.M.Turing, el cual determinó la naturaleza y las
limitaciones teóricas de las máquinas lógicas antes de que se construyera
siquiera una sencilla computadora por completo programable. (Bolter17)
Turing... en 1950 publicó "Computing Machinery and Intelligence"... expresó su
convicción de que las computadoras eran capaces de imitar perfectamente la
inteligencia humana y que tal hazaña la realizarían hacia el año 2000. Al
prometer (o al amenazar) sustituir al hombre, la computadora nos ofrece una
nueva definición de hombre, como "procesador de información", y de
naturaleza, como
"información
que
debe
ser
procesada".(Bolter18)

"En 1936 Turing concibió su propio autómata imaginario. La máquina de

Turing, como se le llegó a conocer, no hizo intento alguno para unirse a la
sociedad de las criaturas vivas. Podría visualizarse más como un tocacintas
muy sofisticado con una cinta arbitrariamente infinita. "Siendo una Máquina de
Estados Finitos, se podría concebir como un autómata finito".(Lévy 22-23)

CONCLUCION
El aporte de esta máquina dio un salto importante en la actualidad, es por eso
que ahora tenemos una tecnología y podemos disfrutarla de ella, esta máquina
fue un pilar importante en la fundación de la tecnología actual.

REFERENCIAS
www.wikipedia.com
http://www.imagia.com.mx/hmm/va/Turing.htm