UNIVERSIDAD TECNOLGICA DEL PER FILIAL AREQUIPA

FACULTAD DE INGENIERIAS

CARRERA PROFESIONAL:

INGENIERIA DE MINAS

Informe final del trabajo de investigacin titulado:

MAQUINA DE TURING

Integrantes:

Profesor asesor: MARIBEL QUIROS AREQUIPA PER 2013

AGRADECIMIENTO

Agradecemos a Dios por darnos la oportunidad de despertar cada da y vivir un nuevo comienzo en nuestras vidas, por otorgarnos de su sabidura y as poder enfrentar cada circunstancia y obstculo que se nos atraviesa, por brindarnos de su amor e infinita misericordia. Agradecemos a nuestros padres que en todo momento nos apoyaron, creyendo que podemos alcanzar todo lo que nos hemos trazado, por no alejarse de nuestras vidas ni un momento y respaldarnos en todas nuestras decisiones, por amarnos y depositar toda su confianza en nosotros. Al Dr. Jaime Mujica Caldern, Rector de la Universidad por la acertada conduccin de esta institucin educativa, a los docentes y compaeros con quienes pasamos momentos gratos durante todo este tiempo. A nuestros hermanos y amigos que da a da nos motivaron a seguir adelante. Agradecemos a nuestro asesor, por apoyarnos en esta etapa de nuestra carrera, y a todos aquellos que nos brindaron su ayuda. Agradecemos a los maestros que nos impartieron valiosos conocimientos y experiencias, las cuales nos servirn en el transcurso de nuestro desempeo profesional, Cada recuerdo, cada consejo cada palabra hoy se queda grabado. Ahora es tiempo de mirar hacia adelante y continuar, confiar en que podemos y avanzar.

DEDICATORIA

A Dios por su gracia y sabidura, A nuestras Familias por su amor y comprensin en cada etapa de nuestras vidas. A nuestros amigos quienes en todo momento nos apoyaron.

Introduccin

Una mquina de Turing consiste, bsicamente, en una cinta infinita, dividida en casillas. Sobre esta cinta hay un dispositivo capaz de desplazarse a lo largo de ella a razn de una casilla cada vez. Este dispositivo cuenta con un cabezal capaz de leer un smbolo escrito en la cinta, o de borrar el existente e imprimir uno nuevo en su lugar. Por ltimo, contiene adems un registro capaz de almacenar un estado cualquiera, el cual viene definido por un smbolo. Los smbolos que definen el estado del dispositivo no tienen por qu coincidir con los smbolos que se pueden leer o escribir en la cinta. En los programas presentados en el artculo, los posibles smbolos a leer o escribir en la cinta son el 0 y el 1, y los posibles estados se representan con letras maysculas. En el emulador, existe un cambio en la representacin del estado, usando para ello los nmeros del 0 al 99, para permitir un mayor nmero de ellos.

La mquina tiene un funcionamiento totalmente mecnico y secuencial. Lo que hace es leer el smbolo que hay en la casilla que tiene debajo. Despus toma el smbolo del estado en que se encuentra. Con estos dos datos accede a una tabla, en la cual lee el smbolo que debe escribir en la cinta, el nuevo estado al que debe pasar y si debe desplazarse a la casilla izquierda o derecha. METODOLOGIA EMPLEADA La informacin recolectada ser de libros, revista, pginas web, peridicos, entre otros; ya que en estas fuentes podemos encontrar la informacin requerida y necesaria.

Mquina de Turing

Historia Alan Turing introdujo el concepto de mquina de Turing en el trabajo On computable numbers, with an application to the Entscheidungsproblem, publicado por la Sociedad Matemtica de Londres en 1936, en el que se estudiaba la cuestin planteada por David Hilbert sobre si las matemticas son decidibles, es decir, si hay un mtodo definido que pueda aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es cierta o no. Turing ide un modelo formal de computador, la mquina de Turing, y demostr que existan problemas que una mquina no poda resolver. Con este aparato extremadamente sencillo es posible realizar cualquier cmputo que un computador digital sea capaz de realizar. Mediante este modelo terico y el anlisis de la complejidad de los algoritmos, fue posible la categorizacin de problemas computacionales de acuerdo a su comportamiento, apareciendo as, el conjunto de problemas denominados P y NP, cuyas soluciones pueden encontrarse en tiempo polinmico por mquinas de Turing deterministas y no deterministas, respectivamente. Precisamente, la tesis de Church-Turing formulada por Alan Turing y Alonzo Church, de forma independiente a mediados del siglo XX caracteriza la nocin informal de computabilidad con la computacin mediante una mquina de Turing. La idea subyacente es el concepto de que una mquina de Turing puede verse como un autmata ejecutando un procedimiento efectivo definido formalmente, donde el espacio de memoria de trabajo es ilimitado, pero en un momento determinado slo una parte finita es accesible. 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'.

Ms precisamente, una mquina de Turing consta de:

1. Una cinta que se divide en celdas, una al lado de la otra. Cada celda contiene un smbolo de algn alfabeto finito. El alfabeto contiene un smbolo especial llamado blanco (aqu escrito como 'B') y uno o ms smbolos adicionales. La cinta se supone que es arbitrariamente extensible hacia la izquierda y hacia la derecha, es decir, la mquina de Turing siempre es suministrada con tanta cinta como necesite para su computacin. Las celdas que no se hayan escrito previamente se asumen que estn rellenas con el smbolo blanco. En algunos modelos la cinta tiene un extremo izquierdo marcado con un smbolo especial; la cinta se extiende o es indefinidamente extensible hacia la derecha.

2. Un cabezal que puede leer y escribir smbolos en la cinta y mover la cinta a la izquierda y a la derecha una (y slo una) celda a la vez. En algunos modelos el cabezal se mueve y la cinta es estacionaria. 3. Un registro de estado que almacena el estado de la mquina de Turing, uno de los estados finitos. Hay un especial estado inicial con que el registro de estado es iniciado. Turing escribe que estos estados reemplazan el "estado de la mente" en que ordinariamente estara una persona realizando clculos. 4. Una tabla finita de instrucciones (llamada ocasionalmente como tabla de accin o funcin de transicin). Las instrucciones son usualmente 5tuplas: qiajqi1aj1dk, (a veces 4-tuplas), que, dado el estado (qi) la mquina est actualmente en y el smbolo (aj) se est leyendo en la cinta (el smbolo actualmente debajo del cabezal) le indica a la mquina hacer lo siguiente en secuencia (para los modelos de 5-tupla):

 Borra o escribe un smbolo (reemplazando aj con aj1), y entonces Mueve el cabezal (que es descrito por dk y puede tener los valores: 'L' para un paso a la izquierda, o 'R' para uno paso a la derecha, o 'N' para permanecer en el mismo lugar) y luego. Asume el mismo o un nuevo estado como prescrito (ve al estado qi1). En los modelos de 4-tupla, son especificadas como instrucciones separadas: borrar o escribir un smbolo (aj1) y mover el cabezal a la izquierda o la derecha (dk). Especficamente, la tabla indica a la mquina: (ia) borrar o escribir un smbolo o (ib) mover el cabezal a la izquierda o a la derecha, y luego (ii) asumir el mismo o un nuevo estado, pero no las dos acciones (ia) y (ib) en la misma instruccin. En algunos modelos, si no hay ninguna entrada en la tabla para la actual combinacin de smbolo y estado, la mquina se detendr; otros modelos requieren que estn llenas todas las entradas. Note que cada parte de la mquina su estado y colecciones de smbolos y sus acciones imprimir, borrar, movimiento de la cinta es finito, discreto y distinguible; es la cantidad potencialmente ilimitada de cinta lo que le da una cantidad ilimitada de espacio de almacenamiento. Cmo funciona una mquina de turing? Una mquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT despus de algunos pasos. Tanto el INPUT como el OUPUT constan de nmeros en cdigo binario (ceros y unos). En su versin original la mquina de Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a travs de una caja. La caja es tan fina que solo el trozo de cinta que ocupa un bit (0 1) est en su interior. La mquina tiene una serie de estados internos finitos que tambin se pueden numerar en binario. Para llevar a cabo algn algoritmo, la mquina se inicializa en algn estado interno arbitrario. A continuacin, se pone en marcha y la mquina lee el bit que se encuentra en ese momento en su interior y ejecuta alguna operacin con ese bit (lo cambia o no, dependiendo de su estado interno). Despus se mueve hacia la derecha o hacia la izquierda, y vuelve a procesar el siguiente bit de la misma manera.

Funcionamiento La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en esta mquina se limitan a: Mover el cabezal lector/escritor hacia la derecha. Mover el cabezal lector/escritor hacia la izquierda. El cmputo se determina a partir de una tabla de estados de la forma: (Estado, valor) (Nuevo estado, nuevo valor, direccin)

Esta tabla toma como parmetros el estado actual de la mquina y el carcter ledo de la cinta, dando la direccin para mover el cabezal, el nuevo estado de la mquina y el valor a escribir en la cinta. La memoria es la cinta de la mquina que se divide en espacios de trabajo denominados celdas, donde se pueden escribir y leer smbolos. Inicialmente todas las celdas contienen un smbolo especial denominado "blanco". Las instrucciones que determinan el funcionamiento de la mquina tienen la forma, "si estamos en el estado x leyendo la posicin y, donde hay escrito el smbolo z, entonces este smbolo debe ser reemplazado por este otro smbolo, y pasar a leer la celda siguiente, bien a la izquierda o bien a la derecha". La mquina de Turing puede considerarse como un autmata capaz de reconocer lenguajes formales. En ese sentido, es capaz de reconocer los lenguajes recursivamente enumerables, de acuerdo a la jerarqua de Chomsky. Su potencia es, por tanto, superior a otros tipos de autmatas, como el autmata finito, o el autmata con pila, o igual a otros modelos con la misma potencia computacional.

Representacin como diagrama de estados

Las mquinas de Turing pueden representarse mediante grafos particulares, tambin llamados diagramas de estados finitos, de la siguiente manera: Los estados se representan como vrtices, etiquetados con su nombre en el interior. Una transicin desde un estado a otro, se representa mediante una arista dirigida que une a estos vrtices, y est rotulada por smbolo que lee el cabezal/smbolo que escribir el cabezal, movimiento del cabezal. El estado inicial se caracteriza por tener una arista que llega a l y que no proviene de ningn otro vrtice. El o los estados finales se representan mediante vrtices que estn encerrados a su vez por otra circunferencia.

CUALES SON LOS PROCESOS QUE PUEDE REALIZAR UNA MT Definimos una mquina de Turing sobre el alfabeto {0,1}, donde 0 representa el smbolo blanco. La mquina comenzar su proceso situada sobre un smbolo "1" de una serie. La mquina de Turing copiar el nmero de smbolos "1" que encuentre hasta el primer blanco detrs de dicho smbolo blanco. Es decir, situada sobre el 1 situado en el extremo izquierdo, doblar el nmero de smbolos 1, con un 0 en medio. As, si tenemos la entrada "111" devolver "1110111", con "1111" devolver "111101111", y sucesivamente. COMO SE CODIFICA UNA MT Si ei es el estado actual, las cadenas 1 y 2 estn ubicadas en las celdas de la cinta de entrada (1 Precede a 2) y la cabeza de lectura/escritura est apuntando al primer smbolo de 2, se define una Configuracin de MT como:

1 ei 2 ei E; 1, 2 C* Luego, se define una relacin de transicin | en el espacio de posibles Configuraciones de la MT, Como: 1ei 2 | 1 ej 2 1 , 2 , 1, 2 C* ; ei ,ej E

LOS LENGUAJES QUE ACEPTA UNA MT La mquina de Turing es un modelo computacional publicado por la Sociedad Matemtica de Londres en 1936, en el cual se estudiaba la cuestin planteada por David Hilbert sobre si las matemticas son decidirles, es decir, si hay un mtodo definido que pueda aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es cierta o no. Turing ide un modelo formal de computador, la mquina de Turing, y demostr que existan problemas que una mquina no poda resolver. La mquina de Turing es un modelo matemtico abstracto que formaliza el concepto de algoritmo.

Conclusiones Las MT, de acuerdo a la clasificacin de los lenguajes formales de Chomsky, acepta los lenguajes tipo cero (0), llamados lenguajes recursivamente enumerables. Las MT han sido aplicadas en el desarrollo de la teora computacional y en las llamadas mquinas orculo, generadores de funciones, calculadoras de funciones, y generadores de lenguaje. Bibliografa De Castro, Rodrigo (2004). Teora de la computacin: lenguajes, autmatas, gramticas. Consultado el 15 de Julio del 2010. on computable numbers,with an application to the

entscheidungsproblem (en espaol).Consultado el 15 de Julio de 2010.