Mquina de Turing

Una mquina de Turing es un dispositivo que manipula smbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una mquina de Turing puede ser adaptada para simular la lgica de cualquier algoritmo de computador y es particularmente til en la explicacin de las funciones de un CPU dentro de un computador. La mquina de Turing fue descrita por Alan Turing como una mquina automtica en 1936 en la revista Proceedings of the London Mathematical Society, La mquina de Turing no est diseada como una tecnologa de computacin prctica, sino como un dispositivo hipottico que representa una mquina de computacin. Las mquinas de Turing ayudan a los cientficos a entender los lmites del clculo mecnico. Turing dio una definicin sucinta del experimento en su ensayo de 1948, Mquinas inteligentes. Refirindose a su publicacin de 1936, 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. (Turing 1948, p. 61) Una mquina de Turing que es capaz de simular cualquier otra mquina de Turing es llamada una mquina universal de Turing (UTM, o simplemente una mquina universal). Una definicin ms matemticamente orientada, con una similar naturaleza "universal", fue presentada por Alonzo Church, cuyo trabajo sobre el clculo lambda se entrelaza con el de Turing en una formal teora de la computacin conocida como la tesis de Church-Turing. La tesis seala que las mquinas de Turing de hecho capturan la nocin informal de un mtodo eficaz en la lgica y las matemticas y proporcionan una precisa definicin de un algoritmo o 'procedimiento mecnico'. Estudiando sus propiedades abstractas, la mquina de Turing produce muchas perspectivas en las ciencias de la computacin y en la teora de la complejidad. 5IV3 Snchez Ramrez Jess