Act 11: Reconocimiento Unidad No.

3 Introduccin
Tercera Unidad LENGUAJES ESTRUCTURADOS POR FRASES Captulos Mquinas de Turing. Mquina de Turing y Computacin. Funciones recursivas. Temas Conceptos generales, Otras definiciones.Funcionamiento de la MT. Tesis de Church/Turing. Mquina de Turing Universal.Funciones computables.Decidibilidad. Introduccin ,Funciones recursivas primitivas.Funciones recursivas parciales

MAQUINA DE TURING[1] La mquina de Turing es un modelo computacional introducido por Alan Turing en el trabajo On computable numbers, with an application to the Entscheidungsproblem , publicado por la Sociedad Matemtica de Londres, en el cual 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 construy 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 . Una mquina de Turing es un dispositivo como lo eran los autmatas finitos o los autmatas a pila, con ms capacidades que stos. Dispone tambin de un nmero finito de estados, uno de ellos inicial, y algunos de ellos finales. Dispone tambin de una cinta, que es una sucesin doblemente infinita de celdas, en cada una de las cuales hay un smbolo. La cinta est inicialmente en blanco salvo en una porcin finita, en la que est almacenada la entrada. La mquina de Turing puede leer y escribir smbolos en la cinta, y moverse a lo largo de ella en ambos sentidos. Para ello dispone de una cabeza de lectura-escritura. Su operacin viene determinada por su funcin de transicin. 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:

avanzar el cabezal lector/escritor para la derecha. avanzar el cabezal lector/escritor para la izquierda.

El cmputo es determinado 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 ser escrito en la cinta. Con este aparato extremadamente sencillo es posible realizar cualquier cmputo que un computador digital sea capaz de realizar.
1.

2.

3.

COMO FUNCIONA UNA MAQUINA 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. Al final se para, dejando el resultado al lado izquierdo por ejemplo. Una instruccin tpica podra ser: 0111011 La traduccin es como sigue: si la mquina se encuentra en el estado interno 0 y lee 1 en la cinta, entonces pasar al estado interno 1101 (13), escribir 1 y se mover hacia la izquierda un paso (la cinta se mover hacia la derecha). A continuacin es conveniente inventar una notacin para la secuencia del INPUT. Esta notacin se llama notacin binaria expandida. Consiste en cambiar la secuencia original binaria por otra construida de la siguiente forma: el 0 se cambia por 0 y el 1 por 10 y se ponen un cero a la izquierda y/o a la derecha del resultado si empieza o acaba en 1 respectivamente. As por ejemplo, el nmero 13 que en binario es 1101 es en binario expandido 1010010 con un cero delante por esta ltima regla 01010010. Para volver al original hay que contraer el binario expandido con la siguiente regla: Empezamos a leer por la izquierda el bianrio expandido. Cuando encontremos un 0 tomamos nota de cuntos 1 hay hasta llegar al siguiente 0 y lo escribimos. Si encontramos que hay dos 0 seguidos, apuntaramos un 0 porque no habra ningn 1.Veamos con el 13 cmo se hara. El primer 0 se encuentra en la primera posicin y el siguiente 0 est en la posicin 3. Entre los dos solo hay un 1. Lo anotamos. Seguidamente hay un 1, y despus un 0, entonces apuntamos 1 porque hay un 1 entre medias de ellos. Esto es lo que se hace sucesivamente y encontramos: 1101 que es el nmero original. 4.

5.

6.

DEFINICION FORMAL DE UNA MAQUINA DE TURING 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: avanzar el cabezal

lector/escritor para la derecha; avanzar el cabezal lector/escritor para la izquierda. Una mquina de Turing con una sola cinta puede ser definida como una 6-tupla M = (Q,?,s,b,F,?), donde Q es un conjunto finito de estados ? es un conjunto finito de smbolos de cinta, el alfabeto de cinta

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 S como smbolo de "no movimiento" en un paso de cmputo o el smbolo ? para indicar el alfabeto de entrada. Resumen: Mquinas de Turing (MT) Modelos de dispositivos computacionales: Los autmatas finitos son buenos modelos para dispositivos que tienen una pequea cantidad de memoria. Los autmatas de pila son buenos modelos para dispositivos que tienen una memoria ilimitada y que es usable solamente a filosofas de Pila (ltimo en entrar y primero en salir) Los modelos anteriores son demasiado restringidos para servir como modelos de Computadores de propsito general. Mquinas poderosas propuestas por Alan Turing en 1936. La mquina de Turing es muy similar a un autmata finito pero con una memoria ilimitada. Una mquina de Turing es mucho ms aproximada a un modelo de computador de propsito general.

7.

8.

9.

10.

En el texto: "Introduccin a la Teora de Autmatas, Lenguajes y Computacin", su autor afirma: "Para describir formalmente lo que hace una Mquina de Turing, es necesario desarrollar una notacin para describir sus configuraciones o descripciones instantneas, parecida a la notacin que se desarrollo para los Autmatas de Pila. Dado que en principio una Mquina de Turing dispone de una cinta de longitud infinita , podra suponerse que es imposible describir sucintamente su configuracin. Sin embargo despus de un nmero finito de movimientos , la MT solo habr recorrido un nmero finito de casillas, incluso, aunque, a la larga, el nmero de casillas visitadas puede crecer ms all de cualquier lmite finito. Por tanto, para cualquier configuracin existe un prefijo y un sufijo de casillas que no se han recorrido nunca". 11.