Act 11: Reconocimiento Unidad No. 3 Introduccin Tercera Unidad Captulos LENGUAJES Mquinas de ESTRUCTURADOSTuring.

POR FRASES Mquina de Turing y Computacin. Funciones recursivas.

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:

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

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] http://www.wikipedia.es/enciclopedia/M%C3%A1quina_de_Turing

Segn Alan Turing, cualquier tipo de problema puede ser resuelto por una Mquina
12712 continue 34858 7evc2AYIlw

Falso Verdadero
Cul de las siguientes proposiciones es FALSA con respecto a las Mquinas de Turing
12712 continue 34859 7evc2AYIlw

La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido Una mquina de Turing es un dispositivo como lo eran los autmatas finitos o los autmatas a pila El desplazamiento de la Mquina en la cinta es siempre hacia la derecha Una Mquina de Turing tiene mayores capacidades que un Autmata Finito o de Pila
Una Mquina de Turing est en capacidad de realizar cualquier cmputo que un computador digital sea capaz de realizar
12712 continue 34860 7evc2AYIlw

Falso Verdadero

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.

Indique cul de las siguientes proposiciones es verdadera:

12712 continue 34862 7evc2AYIlw

La tesis de Turing implica que los lenguajes ms generales que existen son los lenguajes estructurados por frases. Las dos afirmaciones presentadas son falsas. La tesis de Turing implica que para todo lenguaje existe

una mquina de Turing que lo acepta, ya sea el alfabeto finito o infinito.

Los datos en la cinta a partir de los cuales toma como entrada una Mquina de Turing, estn en formato _______________
12712 continue 34863 7evc2AYIlw

Hexadecimal Octal Decimal Binario

Tomando el nmero 87 que en binario es equivalente a 1010111, en formato binario expandido equivale a:
12712 continue 34864 7evc2AYIlw

101101111010 100100101010 110110101010 100100111010

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 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.

Una mquina de Turing con una sola cinta puede ser definida como un conjunto de ___________ elementos
12712 continue 34866 7evc2AYIlw

Seis Cinco Siete Cuatro

Las mquinas de Turing se diferencian de los autmatas finitos y de los autmatas de pila en que:
12712 continue 34867 7evc2AYIlw

En las mquinas de Turing la cabeza lectora puede retroceder. Las dos afirmaciones son ciertas

Las mquinas de Turing pueden escribir sobre su cinta.

Indique cul de las siguientes afirmaciones es verdadera:
12712 continue 34868 7evc2AYIlw

La tesis de Turing no implica que los lenguajes ms generales que existan sean los lenguajes estructurados por frases. La tesis de Turing implica que para todo lenguaje existe una mquina de Turing que lo acepta, ya sea el alfabeto finito o infinito. Dada una mquina de Turing, existe una gramtica estructurada por frases que genera el mismo lenguaje que acepta el autmata si y slo si la mquina es determinista.
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, paracida 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".

En una Mquina de Turing siempre se van a recorrer la totalidad de sus casillas en la cinta
12712 continue 34870 7evc2AYIlw

Falso Verdadero