Mquinas de Turing

Naci Inglaterra en 1912 y muere en el ao de 1954. Las aportaciones de Turing fueron en 5 mbitos diferentes las cuales son: 1. 2. 3. 4. 5. Matemticas Lgica Cientfico de la Computacin Criptgrafo Filsofo

Nosotros nos enfocaremos en sus aportaciones a la computacin. En 1936 Turing publico otro trabajo notable On Computable numbers, with an application to the Entscheidungsproblem (Sobre nmeros computables con una aplicacin, problemas de decisin), lo cual resolva los problemas de toma de decisin propuesto anteriormente por David Hilbert en 1928. Este Artculo introdujo la nocin de lo que hoy se le denomina Maquina de Touring . Turing reformulo los resultados de Kurt Gdel de 1931, y reemplazo el lenguaje formas basado en la aritmtica de Gdel por el concepto de mquina de Touring. Entonces, Que es la mquina de Turin? Es un instrumento abstracto que se mueve de un estado a otro siguiendo un nmero finito de reglas concretas. La mquina puede escribir un smbolo en la cinta y borrarlo. Esta es capaz de realizar cualquier operacin matemtica, si esta representa como un algoritmo. Turing probo que no hay solucin al problema de Entscheidungsproblem demostrando que el problema de la parada de indecidible para una mquina de Turing, en general, no es posible decidir algortmicamente si una mquina de Turing se detendr. Una mquina de Turing 4 es un modelo computacional que realiza una lectura/escritura de manera automtica sobre una entrada llamada cinta, generando una salida en esta misma. Este modelo est formado por un alfabeto de entrada y uno de salida, un smbolo especial llamado blanco (normalmente b, o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe un estado inicial y una cadena de caracteres (la cinta, la cual puede ser infinita) pertenecientes al alfabeto de entrada. La mquina va leyendo una celda de la cinta en cada paso, borrando el smbolo en el que se encuentra posicionado su cabezal y escribiendo un nuevo smbolo perteneciente al alfabeto de salida, para luego desplazar el cabezal a la izquierda o a la derecha (solo una celda a la vez). Esto se repite segn se

indique en la funcin de transicin, para finalmente detenerse en un estado final o de aceptacin, representando as la salida. Una mquina de Turing con una sola cinta puede definirse como una 7-tupla dnde:5

es un conjunto finito de estados. es un conjunto finito de smbolos distinto del espacio en blanco, denominado alfabeto de mquina o de entrada. es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta ( ). es el estado inicial. es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero infinito de veces. es el conjunto de estados finales de aceptacin. de transicin, donde derecha. es una funcin parcial denominada funcin es un movimiento a la izquierda y es el movimiento a la

Existen en la literatura un abundante nmero de definiciones alternativas, pero todas ellas tienen el mismo poder computacional, por ejemplo se puede aadir el smbolo como smbolo de "no movimiento" en un paso de cmputo..