Ensayo Maquina Turing

ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO

FACULTAD DE INFORMÁTICA Y ELECTRÓNICA Escuela de Ingeniería Electrónica en Telecomunicaciones y Redes   

Nombre: Jordy Bravo Código: 926 Fecha: Miércoles 12/Abril/2017

  

Nivel: 5to. “A” Materia: Arquitectura de computadoras Docente: Ing. Natalia Layedra

ENSAYO SOBRE LA MÁQUINA DE TURING La máquina de Turing fue introducida por Alan Turing en 1936, 1936 , considerado como uno de los padres de la computación siendo el precursor de la informática moderna. Alan Mathison Turing nació en Maide Vale, Londres el 23 de junio de 1912, donde desde muy pequeño se destacó como un niño 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 interés por la lógica matemática. Años después formuló su versión propia de la aceptada Tesis Church-Turing que establece que todos los modelos computacionales existentes tienen las mismas capacidades algorítmicas de las que tiene una máquina 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 máquina que fuese capaz de resolver de forma mecánica los procesos que normalmente llevaría a cabo un matemático. Para ese entonces ya existía una máquina para cada proceso; es decir, para resolver suma, multiplicación, etc. Posteriormente cuando se analizaron cada una de estas máquinas se llegó a la conclusión de que se podía diseñar un solo mecanismo que pudiese realizar todas funciones. A ésta se le denominó Maquina de Turing. La máquina de Turing es un dispositivo que manipula símbolos dentro que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. Con este aparato sencillo es posible realizar cualquier cómputo que un computador digital sea capaz de realizar convirtiéndolo así en un mecanismo útil en la explicación delas funciones de una CPU dentro de un computador y de gran ayuda a los científicos para entender los límites del cálculo mecánico. En el ensayo, Máquinas inteligentes (1948), Turing escribió que la máquina de Turing, aquí llamada una máquina de computación lógica, consistía en: ...una ilimitada capacidad de memoria obtenida en la forma de una cinta infinita marcada con cuadrados, en cada uno de los cuales podría imprimirse un símbolo. En cualquier momento hay un símbolo en la máquina; llamado el símbolo leído. La máquina puede alterar el símbolo leído y su comportamiento está en parte determinado por ese símbolo, pero los símbolos en otros lugares de la cinta no afectan el comportamiento de la máquina. Sin embargo, la cinta se puede mover hacia adelante y hacia atrás a través de la máquina, siendo esto una de las operaciones elementales de la máquina. Por lo tanto, cualquier símbolo 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 máquina de Turing, es sin lugar a duda, es uno de los modelos de computadora más importante dentro de la informática moderna ya que definió las bases de las computadoras modernas. Finalmente se puede decir que la máquina de Turing no está diseñada como una tecnología de computación práctica, sino como un dispositivo hipotético que representa una máquina de computación.