UNIDAD IV MQUINA DE TURING

INSTITUTO TECNOLGICO DE VILLAHERMOSA

Lic. Lucila Juregui Wade 4 Semestre Integrantes del equipo: Ramn Mndez Guillermo. Xelano Domnguez Guillermo. Gonzales Rivera Leonor Alejandra. De la cruz Ramrez Lucio.

LA MQUINA DE TURING

UNIDAD IV MQUINA DE TURING

Introduccin

Actualmente existen gran cantidad de ordenadores, capaces de realizar sorprendentes funciones. Todos ellos, sin embargo, estn basados en un simplsimo artilugio imaginario capaz de hacer cualquier operacin matemtica computable; esto es, que se pueda realizar de una forma totalmente mecnica. Son las mquinas de Turing.

UNIDAD IV MQUINA DE TURING MQUINA DE TURING 4.1 Definicin formal de una mquina de Turing.

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.

UNIDAD IV MQUINA DE TURING

Definicin formal de MT

Esta constituida por los siguiente elementos: MT = ( Q, , , , , q0,qF)

Q=Conjunto de estados =Alfabeto de las palabras de entrada =Alfabeto de cinta =Funcin de transicion q0=Estado inicial qF=Estado aceptado

UNIDAD IV MQUINA DE TURING

Definicin formal de MT

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.

UNIDAD IV MQUINA DE TURING

Definicin formal de MT

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.

UNIDAD IV MQUINA DE TURING

4.2 Construccin modular de una mquina de Turing.

Mediante esta tcnica se puedan desarrollarse maquinas de Turing complejas a partir de bloques de elementales a partir de maquinas mas pequeas mediante diagramas de transiciones. La construccin de maquinas de Turing se lleva a cabo mediante los diagramas de transicin y combinarlos de manera parecida a lo que se realiza en la formacin de la unin y concatenacin de los autmatas finitos.

UNIDAD IV MQUINA DE TURING

4.2 Construccin modular de una mquina de Turing.

Pasos para la construccin de una mquina de Turing 1.-Elimine las caractersticas de inicio de los estados iniciales de las maquinas, excepto la de aquel donde iniciara la maquina compuesta. 2.-Elimine las caractersticas de detencin de los estados de parada de todas la maquinas e introduzca un nuevo estado de parada que nos se encuentre en ninguno de los diagramas que se combinan. 3.-Para cada uno de los antiguos estados de parada p y cada x en y.

UNIDAD IV MQUINA DE TURING

4.2 Construccin modular de una mquina de Turing.

Ejemplificacin de dicha construccin.

UNIDAD IV MQUINA DE TURING

4.2 Construccin modular de una mquina de Turing.

Una mquina de Turing es un autmata que se mueve sobre una secuencia lineal de datos. En cada instante la mquina puede leer un solo dato de la secuencia (generalmente un carcter) y realiza ciertas acciones en base a una tabla que tiene en cuenta su "estado" actual (interno) y el ltimo dato ledo. Entre las acciones est la posibilidad de escribir nuevos datos en la secuencia; recorrer la secuencia en ambos sentidos y cambiar de "estado" dentro de un conjunto finito de estados posibles.

Mquina de Turing Compuesta

UNIDAD IV MQUINA DE TURING

4.3 Lenguajes aceptados por la MT.

Una mquina de Turing se puede comportar como un aceptador de un lenguaje. Si colocamos una cadena w en la cinta, situamos la cabeza de lectura/escritura sobre el smbolo del extremo izquierdo de la cadena w y ponemos en marcha la mquina a partir de su estado inicial. Entonces w es aceptada si, despus de una secuencia de movimientos, la mquina de Turing llega a un estado final y para. Por tanto w es aceptada. Si qw * w1pw2 para algn estado final p y unas cadenas w1 y w2. Entonces, se obtiene la siguiente definicin: Sea M = (Q, 7 , +, q0=q1, B, F, H) una mquina de Turing. Entonces el lenguaje aceptado por M es: L(M) = {w 7*q1w * w1pw2 para pF y wi+*}.

UNIDAD IV MQUINA DE TURING

4.3 Lenguajes aceptados por la MT.

Los lenguajes formales que son aceptados por una mquina de Turing son exactamente aquellos que pueden ser generados por una gramtica formal. El clculo Lambda es una forma de definir funciones. Las funciones que pueden se computadas con el clculo Lambda son exactamente aquellas que pueden ser computadas con una mquina de Turing. Estos tres formalismos, las mquinas de Turing, los lenguajes formales y el clculo Lambda son formalismos muy dismiles y fueron desarrollados por diferentes personas. Sin embargo, ellos son todos equivalentes y tienen el mismo poder de expresin. Generalmente se toma esta notable coincidencia como evidencia de que la tesis de Church-Turing es cierta, que la afirmacin de que la nocin intuitiva de algoritmo o procedimiento efectivo de cmputo corresponde a la nocin de cmputo en una mquina de Turing.

UNIDAD IV MQUINA DE TURING

4.3 Lenguajes aceptados por la MT.

Gramticas estructuradas por frases:

Parte izquierda de las reglas: combinacin de smbolos terminales y no terminales, con al menos un no terminal. Parte derecha de las reglas: combinacin de smbolos terminales y no terminales de cualquier longitud (incluso 0). - Las mquinas de Turing aceptan lenguajes estructurados por frases.

UNIDAD IV MQUINA DE TURING 4.3 Lenguajes aceptados por la MT. Arquitectura de Von Neumann.

Es una familia de arquitecturas de computadoras que utilizan el mismo dispositivo de almacenamiento tanto para las instrucciones como para los datos. El trmino se acu en el documento First Draft of a Report on the EDVAC (1945), escrito por el conocido matemtico John Von Neumann, que propuso el concepto de programa almacenado. Se compone de las siguientes unidades o bloques:  Unidad de Memoria Principal.  Unidad Aritmtico-lgica.  Unidad de Control.  Unidad de Entrada/Salida.

UNIDAD IV MQUINA DE TURING 4.3 Lenguajes aceptados por la MT. Arquitectura de Von Neumann.

 Memoria Principal (M. P.) Se compone de un conjunto de celdas del mismo tamao (nmero de bits). Cada celda est identificada por un nmero binario nico, denominado direccin.  Unidad Aritmtico-Lgica (U. A. L.). Realiza las operaciones elementales, tanto aritmticas como lgicas, que implementa el computador: suma, resta, AND, OR, NOT, etc.  Unidad de Control (U. C.). Ejecuta las instrucciones mquina almacenadas en la M. P. Para ello: - Captura las instrucciones de la MP y las decodifica. - Segn el tipo de instruccin, genera las seales de control a todas las unidades del computador para poder realizar su ejecucin.

UNIDAD IV MQUINA DE TURING 4.3 Lenguajes aceptados por la MT. Arquitectura de Von Neumann.  Unidad de Entrada/Salida (U. E/S.). Realiza la transferencia de informacin con las unidades externas, denominadas Perifricos: unidades de almacenamiento secundario (disco duro, disquette,cinta, etc.), impresoras, terminales, etc.  Buses. Adems de las 4 unidades bsicas, en un computador existen conjuntos de seales, que se denominan buses, y cuya funcin es transferir las instrucciones y los datos entre las distintas unidades. - Bus de datos. - Bus de direcciones. - Bus de control.

UNIDAD IV MQUINA DE TURING 4.3 Lenguajes aceptados por la MT. Arquitectura de Von Neumann.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Hay otras definiciones de las mquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho ms complicados aunque todos tienen la misma potencia computacional (o de clculo). Muchas de ellas dotan de mayor flexibilidad al diseo de una mquina de Turing que resuelva un problema en particular. .

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Mquina de Turing con Directiva de Permanecer Recurdese que la mquina de Turing sencilla sita la cabeza de lectura/escritura sobre el primer B que haya a la izquierda de la posicin actual. Para hacerlo, busca fuera de la celda actual y retrocede. Esto es debido a la definicin original que requiere que por cada transicin se mueva la cabeza de la cinta. La funcin de transicin estaba definida como: H: Q x + p Q x + x {R, L} y puede ser modificada como: H: Q x + p Q x + x {R, L, S} donde S significa permanecer, es decir no mover la cabeza de lectura/escritura. Por tanto H(q, W)=(p, W, S) significa que se pasa del estado q al p, se escribe W en la celda actual y la cabeza se queda sobre la celda actual.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Mquina de Turing Multipista Es aquella mediante la cual cada celda de la cinta se divide en subceldas. Cada subcelda es capaz de contener smbolos de la cinta. La cinta tiene cada celda subdividida en tres subceldas. Se dice que esta cinta tiene mltiples pistas. Puesto que cada celda de esta mquina de Turing contiene mltiples caracteres, el contenido de las celdas de la cinta puede ser representado mediante n-tuplas ordenadas. En el ejemplo anterior, las celdas de la cinta contienen (B, a, a), (b, a, a) y (b, b, B). Por tanto, los movimientos que realice est mquina dependern de su estado actual y de la n-tupla que represente el contenido de la celda actual. B b B a a b a a B
Q3

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Una mquina de Turing multipista no tiene ms potencia que la mquina de Turing original. Sin embargo, hace que sea ms fcil la construccin de mquinas de Turing que resuelvan ciertos problemas.

H : Qv+n-->Qv(+v{L,R})n

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Mquina de Turing de Cinta infinita en una Direccin Mquina de Turing que usa una cinta que se extiende infinitamente en una nica direccin. Generalmente, se tiene una cinta que se extiende infinitamente hacia la derecha. No est permitido realizar ningn movimiento hacia la izquierda a partir de la celda del extremo izquierdo. Desde luego, cualquier mquina de Turing de esta forma puede ser simulada por una de las que responden a la definicin original. Para cada computacin, simplemente se marca una de las celdas de la cinta infinita por los dos lados, como la celda que se encuentra en el lmite izquierdo.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Mquina de Turing en Dos Direcciones Una mquina de Turing con una cinta infinita en un sentido puede simular una mquina de Turing con la cinta infinita en los dos sentidos pero con dos pistas. Sea M una mquina de Turing con una cinta infinita en los dos sentidos. La mquina de Turing M, que tiene una cinta infinita en un sentido, puede simular a M si tiene una cinta con dos pistas. La cinta superior contiene la informacin correspondiente a la parte derecha de la cinta M, a partir de un punto de referencia dado. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso).

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Mquina de Turing Multicinta La mquina de Turing multicinta tiene varias cintas, cada una de las cuales tiene su propia cabeza de lectura/escritura. Las cabezas de lectura/escritura se controlan independientemente (es decir, al mismo tiempo, no tienen que moverse en la misma direccin, ni realizar el mismo nmero de movimientos, ni incluso, hacer nada a la vez). Cambia de estado dependiendo del estado actual y del contenido de las celdas de todas las cintas, que estn analizando actualmente las cabezas de lectura/escritura. Escriben un nuevo smbolo en cada una de las celdas barridas por sus cabezas de lectura/escritura. Mueve cada una de sus cabezas hacia la izquierda o hacia la derecha (de forma independiente al resto de las cabezas). Por tanto, la funcin de transicin para una mquina de Turing con n cintas, es de la forma H: Q x + n p Q x + n x {R, L} n donde una transicin de la forma H (q, (W1, W2,, Wn)) = (p,(X1, X2, , Xn), (X1, X2, , Xn)) significa que cambia del estado q a p, reemplaza Wi por Xi en la cinta i y mueve la cabeza de la cinta i en la direccin Xi.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Mquina de Turing Muldimensional. La mquina de Turing multidimensional es aquella que permite que la cinta tenga muchas dimensiones. Por ejemplo, una cinta de dos dimensiones que se extienda hacia abajo y hacia arriba, al igual que hacia la derecha y hacia la izquierda. Dependiendo del estado actual de la mquina de Turing y del smbolo analizado, cambia de estado, escribe un smbolo en la celda actual y se mueve a la izquierda, al derecha, hacia arriaba o hacia abajo. Por tanto, la funcin de transicin para esta mquina de Turing ser de la forma:
H: Q x + p Q x + x {R, L, U, D}

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Una mquina de Turing multidimensional simula una mquina de Turing estndar. Simplemente realizando todas sus computaciones en una nica dimensin. Una mquina de Turing estndar tambin puede simular una mquina de Turing multidimensional y, por tanto, la complejidad y la flexibilidad adicional que se debe a la mltiple dimensin, no es una capacidad real. Para simular una mquina de Turing de dos dimensiones mediante una mquina de Turing estndar, primero se asociara una direccin a todas las celdas de la cinta. Una forma de hacerlo es fijar, de forma arbitraria, un lugar en la cinta a partir del cual se asignarn las coordenadas a las celdas de la misma forma que se realiza en un plano de coordenadas.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

Mquina de Turing No determinista. La mquina de Turing No determinista es aquella que para un estado actual y el smbolo actual de la cinta, puede haber un nmero finito de movimientos a elegir. Por lo tanto, la regla de transicin H de dicha mquina, satisface
H(q, W) Q x + x {R, L}

Por ejemplo, si la mquina de Turing tiene una transicin H(q1, a) = {(q1, b, R), (q2, a, L)} entonces los movimientos abbq1ab abbbq1b y abbq1ab abq2bab son posibles. Ya que cualquier mquina de Turing determinista es tambin no determinista, es lgico que una mquina de Turing determinista se puede simular mediante una no determinista. Tambin una mquina de Turing determinista puede simular una no determinista. Por tanto, no se gana ninguna potencia adicional a causa del no determinismo.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

Los problemas de Hilbert son una lista de 23 problemas matemticos compilados por el matemtico alemn David Hilbert para la conferencia en Pars del Congreso Internacional de Matemticos de 1900. Los problemas estaban todos por resolver en aquel momento, y varios resultaron ser muy influyentes en la matemtica del siglo XX. Hilbert present diez de los problemas (1, 2, 6, 7, 8, 13, 16, 19, 21 y 22) en la conferencia, en un acto el 8 de agosto en La Sorbona.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

Hilbert tena un pequeo grupo de pares: Adolf Hurwitz y Hermann Minkowski eran ambos amigos cercanos e iguales intelectuales. Hay un guio a la geometra de nmeros de Minkowski en el problema 18, y a su trabajo en las formas cuadrticas en el problema 11. Hurwitz fue el gran desarrollador de la teora de la superficie de Riemann. Hilbert us la analoga del cuerpo de funciones, una gua a la teora algebraica de nmeros mediante el uso de anlogos geomtricos, para desarrollar la teora del cuerpo de clases dentro de su propia investigacin, y esto queda reflejado en el problema 9, hasta cierto punto en el problema 12, y en los problemas 21 y 22. Por otro lado, el nico rival de Hilbert en 1900 era Henri Poincar, y la segunda parte del problema 16 es una cuestin de sistemas dinmicos al estilo de Poincar.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

Los veintitrs problemas de Hilbert son: 1er La hiptesis del continuo (esto es, no existe conjunto cuyo tamao est estrictamente entre el de los enteros y el de los nmeros reales) Se ha probado la imposibilidad de probarlo como cierto o falso mediante los axiomas de ZermeloFraenkel. No hay consenso al respecto de considerar esto como solucin al problema. 2 Probar que los axiomas de la aritmtica son consistentes (esto es, que la aritmtica es un sistema formal que no supone una contradiccin). Parcialmente resuelto: hay quienes sostienen que se ha demostrado imposible de establecer en un sistema consistente, finitista y axiomtico 2 Sin embargo, Gentzen prob en 1936 que la consistencia de la aritmtica se deriva del buen fundamento del ordinal 0, un hecho sujeto a la intuicin combinatoria. 3er Se puede probar que dos tetraedros tienen igual volumen (bajo ciertas asunciones)? Resuelto. Resultado: no, probado usando invariantes de Dehn.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

4 Construir todas las mtricas cuyas rectas sean geodsicas. para decidir si se ha resuelto o no.

Demasiado vago

5 Son los grupos continuos grupos diferenciales de forma automtica? Resuelto por Andrew Gleason 6 Axiomatizar toda la fsica Sin resolver. No matemtico 7 Es a b trascendental, siendo a 0,1 algebraico y b irracional algebraico? Resuelto. Resultado: s, ilustrado por el teorema de Gelfond o el teorema de Gelfond-Schneider 8 La hiptesis de Riemann (la parte real de cualquier cero no trivial de la funcin zeta de Riemann es ) y la conjetura de Goldbach (cada nmero par mayor que 2 se puede escribir como la suma de dos nmeros primos). Abierto 9 Encontrar la ley ms general del teorema de reciprocidad en cualquier cuerpo numrico algebraico Parcialmente resuelto

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

10 Encontrar un algoritmo que determine si una ecuacin diofntica polinmica dada con coeficientes enteros tiene solucin entera. Resuelto. Resultado: no, el teorema de Matiyasevich implica que no existe tal algoritmo. 11 Resolver las formas cuadrticas con coeficientes numricos algebraicos. Parcialmente resuelto 12 Extender el teorema de Kronecker sobre extensiones abelianas de los nmeros racionales a cualquier cuerpo numrico de base. Abierto 13 Resolver todas las ecuaciones de 7 grado usando funciones de dos parmetros. Resuelto. Lo prob posible Vladimir Arnold. 14 Probar la finitud de ciertos sistemas completos de funciones. Resuelto. Resultado: no, en general, debido a un contraejemplo 15 Fundamento riguroso del clculo enumerativo de Schubert. Parcialmente resuelto

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

16 Topologa de las curvas y superficies algebraicas.

Abierto

17 Expresin de una funcin definida racional como cociente de sumas de cuadrados Resuelto. Resultado: se estableci un lmite superior para el nmero de trminos cuadrados necesarios 18 Existe un poliedro irregular y que construya otros poliedros? Cual es el apilamiento compacto ms denso? Resuelto. 19 Son siempre analticas las soluciones de los Lagrangianos? Resuelto. Resultado: s 20 Tienen solucin todos los problemas variacionales con ciertas condiciones de contorno? Resuelto. Ha supuesto un rea importante de investigacin durante el siglo XX, culminando con las soluciones al caso no lineal.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

21er Probar la existencia de ecuaciones lineales diferenciales que tengan un grupo monodrmico prescrito Resuelto. Resultado: s o no, dependiendo de una formulacin ms exacta del problema 22 Uniformizacin de las relaciones analticas por medio de funciones automrficas Resuelto 23er Extensin de los mtodos del clculo de variaciones Resuelto

UNIDAD IV MQUINA DE TURING

Bibliografa

http://iie.fing.edu.uy/~vagonbar/unixbas/expreg.htm http://www.microsoft.com/spanish/msdn/articulos/archivo/201205/voi ces/regex.mspx http://www.desarrolloweb.com/articulos/2033.php http://www.elguille.info/regexp/indice.aspx#introRegExp http://javascript.espaciolatino.com/lengjs/jsgram/expregulares.htm http://es.wikipedia.org/wiki/Gram%C3%A1tica_libre_de_contexto http://www.itculiacan.edu.mx/apuntes/maestros/Ricardo%20Quintero /Mis%20Webs/parte%202%20Lenguajes%20Regulares/4orden%20 de%20precedencia.htm http://es.wikipedia.org/wiki/Lenguaje_regular http://www.monografias.com/trabajos16/automatas-ygramaticas/automatas-y-gramaticas.shtml http://www.suigeneris.org/kb/display/UCABTI/Expresiones+Regulare s+a+Partir+de+Automatas http://es.wikipedia.org/wiki/Aut%C3%B3mata_finito

UNIDAD IV MQUINA DE TURING