ESCUELA SUPERIOR POLITCNICA DE CHIMBORAZO

FACULTAD DE INFORMTICA Y ELECTRNICA

Escuela de Ingeniera Electrnica en Telecomunicaciones y Redes

Nombre: Jordy Bravo Nivel: 5to. A

Cdigo: 926 Materia: Arquitectura de computadoras
Fecha: Mircoles 12/Abril/2017 Docente: Ing. Natalia Layedra

ENSAYO SOBRE LA MQUINA DE TURING

La mquina de Turing fue introducida por Alan Turing en 1936, considerado como
uno de los padres de la computacin siendo el precursor de la informtica moderna. Alan
Mathison Turing naci en Maide Vale, Londres el 23 de junio de 1912, donde desde muy
pequeo se destac como un nio brillante y durante su etapa escolar gan muchos
premios, entre ellos una beca de estudio para el King's College de Cambridge donde
comenz a tener gran inters por la lgica matemtica. Aos despus formul su versin
propia de la aceptada Tesis Church-Turing que establece que todos los modelos
computacionales existentes tienen las mismas capacidades algortmicas de las que tiene
una mquina de Turing. Falleci en Wilmslow, Cheshire el 7 de junio de 1954 por la
ingesta de una manzana infestada con cianuro.

Alan Turing pens en desarrollar una mquina que fuese capaz de resolver de
forma mecnica los procesos que normalmente llevara a cabo un matemtico. Para ese
entonces ya exista una mquina para cada proceso; es decir, para resolver suma,
multiplicacin, etc. Posteriormente cuando se analizaron cada una de estas mquinas se
lleg a la conclusin de que se poda disear un solo mecanismo que pudiese realizar
todas funciones. A sta se le denomin Maquina de Turing. La mquina de Turing es un
dispositivo que manipula smbolos dentro que manipula smbolos sobre una tira de cinta
de acuerdo a una tabla de reglas. Con este aparato sencillo es posible realizar cualquier
cmputo que un computador digital sea capaz de realizar convirtindolo as en un
mecanismo til en la explicacin delas funciones de una CPU dentro de un computador y
de gran ayuda a los cientficos para entender los lmites del clculo mecnico.

En el ensayo, Mquinas inteligentes (1948), Turing escribi que la mquina de

Turing, aqu llamada una mquina de computacin lgica, consista en:
...una ilimitada capacidad de memoria obtenida en la forma de una cinta infinita
marcada con cuadrados, en cada uno de los cuales podra imprimirse un smbolo. En
cualquier momento hay un smbolo en la mquina; llamado el smbolo ledo. La mquina
puede alterar el smbolo ledo y su comportamiento est en parte determinado por ese
smbolo, pero los smbolos en otros lugares de la cinta no afectan el comportamiento de
la mquina. Sin embargo, la cinta se puede mover hacia adelante y hacia atrs a travs de
la mquina, siendo esto una de las operaciones elementales de la mquina. Por lo tanto,
cualquier smbolo en la cinta puede tener finalmente una oportunidad.2 (Turing 1948, p.
61)
 En base a todo lo expuesto anteriormente podemos decir que el modelo de la
mquina de Turing, es sin lugar a duda, es uno de los modelos de computadora ms
importante dentro de la informtica moderna ya que defini las bases de las
computadoras modernas. Finalmente se puede decir que la mquina de Turing no est
diseada como una tecnologa de computacin prctica, sino como un dispositivo
hipottico que representa una mquina de computacin.