INDICE

1.INTRODUCCIN................................................................................................3 2.DESARROLLO DEL TEMA...................................................................................4 A.VIDA Y OBRA DE ALAN TURING..........................................................................................4 LA UNIVERSIDAD Y SUS ESTUDIOS DE COMPUTABILIDAD.................................................4 ANALISIS CRIPTOGRFICOS (ruptura de cdigos) .............................................................5 ESTUDIOS SOBRE LAS PRIMERAS COMPUTADORAS LA MAQUINA DE TURING...................6 ESTUDIOS SOBRE PATRONES Y LA BIOLOGA MATEMTICA..............................................6 EL FINAL DE TURING.........................................................................................................6 B.INTELIGENCIA ARTIFICIAL..................................................................................................7 C.MAQUINAS DE TURING......................................................................................................8 LA HISTORIA DETRS DE LA MQUINA DE TURING...........................................................8 LA DEFINICION FORMAL DE LA MQUINA DE TURING........................................................9 CMO FUNCIONA LA MQUINA.......................................................................................10 LA MAQUINA DE TURING COMO DIAGRAMA....................................................................10 Mquina de Turing con cinta infinita a ambos lados.......................................................11 Mquina de Turing con cinta multipista..........................................................................11 Mquina de Turing multicinta.........................................................................................11 Mquina de Turing multidimensional..............................................................................12 MAQUINA DE TURING DETERMINISTA Y NO DETERMINISTA.............................................12 MAQUINA UNIVERSAL DE TURING...................................................................................13 3.APLICACIONES...............................................................................................14 4.DESARROLLO DE EJERCICIOS...........................................................................14 OPERACIONES:.................................................................................................14 1) PARAR LA COMPUTACIN..............................................................................14 2) MOVERSE UN CUADRADO A LA DERECHA........................................................15 3) MOVERSE UN CUADRADO A LA IZQUIERDA.....................................................15 4) ESCRIBIR EL SMBOLO S0 EN LUGAR DE CUALQUIER OTRO QUE ESTE EN EL CUADRADO EXAMINADO....................................................................................15 5) ESCRIBIR EL SMBOLO S1 EN LUGAR DE CUALQUIER OTRO QUE ESTE EN EL CUADRADO EXAMINADO....................................................................................15 (N+4) ESCRIBIR EL SMBOLO SN EN LUGAR DE CUALQUIER OTRO QUE ESTE EN EL CUADRADO EXAMINADO....................................................................................15 5.CONCLUSIN.................................................................................................22

[2]

1. INTRODUCCIN
En el presente informe se desarrollar en profundidad el tema de la mquina de Turing, su funcionamiento y caractersticas. Adems se abordar el papel precursor que desempe Alan Turing, en lo referente a autmatas, inteligencia artificial, computacin e informtica. Ser abordada primeramente la biografa y trayectoria del matemtico Turing, destacando sus principales logros y aportes en el mbito cientfico, detallando algunos de sus ms importantes estudios en las diversas ramas de la computacin. En segunda instancia se analizar el papel jugado por Turing en el posterior desarrollo de la inteligencia artificial y las redes neuronales, su compresin y estudio. El principal punto de este informe es el desarrollo y explicacin del concepto de la mquina de Turing, sus modificaciones, y posteriores aplicaciones y la repercusin de esta abstraccin en la computacin moderna. Finalizando el informe se puede encontrar algunos ejercicios desarrollados que permitirn una mejor comprensin de la metodologa antes mencionada.

[3]

2. DESARROLLO DEL TEMA

A. VIDA Y OBRA DE ALAN TURING
Alan Mathison Turing, OBE (oficial de la orden del imperio britnico) naci un 23 de junio de 1912 en Maida Vale, en Londres, fue un connotado matemtico, informtico terico, criptgrafo y filosofo ingls. Es considerado uno de los padres de la Ciencia de la computacin siendo el precursor de la informtica moderna. Proporcion una influyente formalizacin de los conceptos de algoritmo y computacin: la mquina de Turing. Formul su propia versin de la hoy ampliamente aceptada Tesis de Church-Turing, la cual postula que cualquier modelo computacional existente tiene las mismas capacidades algortmicas, o un subconjunto, de las que tiene una mquina de Turing. Durante la Segunda Guerra Mundial, trabaj en romper los cdigos nazis, particularmente los de la mquina Enigma; durante un tiempo fue el director de la seccin Naval Enigma del Bletchley Park. Tras la guerra dise uno de los primeros computadores electrnicos programables digitales en el Laboratorio Nacional de Fsica del Reino Unido y poco tiempo despus construy otra de las primeras mquinas en la Universidad de Mnchester. Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de si las mquinas pueden pensar, es decir a la Inteligencia Artificial. LA UNIVERSIDAD Y SUS ESTUDIOS DE COMPUTABILIDAD Debido a su falta de voluntad para esforzarse con la misma intensidad en el estudio de los clsicos que en el de la ciencia y las matemticas, Turing suspendi sus exmenes finales varias veces y tuvo que ingresar en la escuela universitaria que eligi en segundo lugar, King's College, Universidad de Cambridge, en vez de en la que era su primera eleccin, Trinity. Recibi las enseanzas de Godfrey Harold Hardy, un respetado matemtico que ocup la ctedra

[4]

Sadleirian en Cambridge y que posteriormente fue responsable de un centro de estudios e investigaciones matemticas de 1931 a 1934. En 1935 Turing fue nombrado profesor del King's College. En su memorable estudio "Los nmeros computables, con una aplicacin al Entscheidungsproblem" (publicado en 1936), Turing reformul los resultados obtenidos por Kurt Gdel en1931 sobre los lmites de la demostrabilidad y la computacin, sustituyendo al lenguaje formal universal descrito por Gdel por lo que hoy se conoce como Mquina de Turing, unos dispositivos formales y simples. Demostr que dicha mquina era capaz de implementar cualquier problema matemtico que pudiera representarse mediante un algoritmo. Las mquinas de Turing siguen siendo el objeto central de estudio en la teora de la computacin. Lleg a probar que no haba ninguna solucin para el problema de decisin, Entscheidungsproblem, demostrando primero que el problema de la parada para las mquinas de Turing es irresoluble: no es posible decidir algortmicamente si una mquina de Turing dada llegar a pararse o no. Aunque su demostracin se public despus de la demostracin equivalente de Alonzo Church respecto a su clculo lambda, el estudio de Turing es mucho ms accesible e intuitivo. Tambin fue pionero con su concepto de "Mquina Universal (de Turing)", con la tesis de que dicha mquina podra realizar las mismas tareas que cualquier otro tipo de mquina. Su estudio tambin introduce el concepto de nmeros definibles. La mayor parte de 1937 y 1938 la pas en la Universidad de Princeton, estudiando bajo la direccin de Alonzo Church. En 1938 obtuvo el Doctorado en Princeton; en su discurso introdujo el concepto de hipercomputacin, en el que ampliaba las mquinas de Turing con las llamadas mquinas orculo, las cuales permitan el estudio de los problemas para los que no existe una solucin algortmica. Tras su regreso a Cambridge en 1939, asisti a las conferencias de Ludwig Wittgenstein sobre las bases de las matemticas. Ambos discutieron y mantuvieron un vehemente desencuentro, ya que Turing defenda el formalismo matemtico y Wittgenstein criticaba que las matemticas estaban sobrevaloradas y no descubran ninguna verdad absoluta. ANALISIS CRIPTOGRFICOS (ruptura de cdigos) Durante la Segunda Guerra Mundial fue uno de los principales artfices de los trabajos del Bletchley Park para descifrar los cdigos secretosnazis. Sus perspicaces observaciones matemticas contribuyeron a romper los cdigos de la mquina Enigma y de los codificadores de teletipos FISH (mquinas de teletipos codificados que fabricaron conjuntamente Lorenz Electric y Siemens&Halske). Sus estudios del sistema Fish ayudaran al desarrollo posterior de la primera computadora programable electrnica digital llamada Colossus, la cual fue diseada por Max Newman y su equipo, y construida en la Estacin de Investigaciones Postales de Dollis Hill por un equipo dirigido por Thomas Flowers en 1943. Dicha computadora se utiliz para descifrar los cdigos Fish (en concreto las transmisiones de la mquina Lorenz). Para romper los cdigos de la mquina Enigma y permitir a los aliados anticipar los ataques y movimientos militares Nazis, Turing dise labombe, una mquina electromecnica llamada as en reconocimiento de la diseada por los polacos bomba kryptologiczna que se utilizaba para eliminar una gran cantidad de claves enigma candidatas. Para cada combinacin posible se

[5]

implementaba elctricamente una cadena de deducciones lgicas. Era posible detectar cundo ocurra una contradiccin y desechar la combinacin. La bombe de Turing, con una mejora aadida que sugiri el matemtico Gordon Welchman, era la herramienta principal que usaban los criptgrafos aliados para leer las transmisiones Enigma. Los trabajos de ruptura de cdigos de Turing han sido secretos hasta los aos 1970; ni siquiera sus amigos ms ntimos llegaron a tener constancia.

ESTUDIOS SOBRE LAS PRIMERAS COMPUTADORAS LA MAQUINA DE TURING De 1945 a 1948 trabaj en el Laboratorio Nacional de Fsica en el diseo del ACE (Motor de Computacin Automtica [Automatic Computer Engine]). En 1949 fue nombrado director delegado del laboratorio de computacin de la Universidad de Mnchester y trabaj en el software de una de las primeras computadoras reales la Manchester Mark I. Durante esta etapa tambin realiz estudios ms abstractos y en su artculo "Mquinas de computacin e inteligencia" (octubre de 1950) Turing trat el problema de la inteligencia artificial y propuso un experimento que hoy se conoce como la prueba de Turing, con la intencin de definir una prueba estndar por el que una mquina podra catalogarse como "sensible" o "sintiente". En 1952 Turing escribi un programa de ajedrez. A falta de una computadora lo suficientemente potente como para ejecutarlo, l simulaba el funcionamiento de la computadora, tardando ms de hora y media en efectuar un movimiento. Una de las partidas lleg a registrarse; el programa perdi frente a un amigo de Turing. Trabaj junto a Norbert Wiener en el desarrollo de la ciberntica. Esta rama de estudios se genera a partir de la demanda de sistemas de control que exige el progresivo desarrollo de las tcnicas de produccin a partir del siglo XX. La ciberntica pretende establecer un sistema de comunicacin entre el hombre y la mquina como premisa fundamental para administrar los sistemas de control. Sus estudios profundizaron en esta relacin estableciendo el concepto de interfaz y cuestionando los lmites de simulacin del razonamiento humano. ESTUDIOS SOBRE PATRONES Y LA BIOLOGA MATEMTICA Turing trabaj desde 1952 hasta que falleci en 1954 en la biologa matemtica, concretamente en la morfognesis. Public un trabajo sobre esta materia titulado "Fundamentos Qumicos de la Morfognesis" en 1952. Su principal inters era comprender la filotaxis de Fibonacci, es decir, la existencia de los nmeros de Fibonacci en las estructuras vegetales. Utiliz ecuaciones de reaccin-difusin que actualmente son cruciales en el campo de la formacin de patrones. Sus trabajos posteriores no se publicaron hasta 1992 en el libro "Obras Completas de A. M. Turing". EL FINAL DE TURING

[6]

La carrera de Turing termin sbitamente cuando fue procesado por su condicin de homosexual. No se defendi de los cargos y se le dio a escoger entre la castracin qumica o ir a la crcel. Eligi lo primero y sufri importantes consecuencias fsicas, entre ellas la impotencia. Dos aos despus del juicio, el 7 de junio de 1954 en Wilmslow, Cheshire, se suicid.

B. INTELIGENCIA ARTIFICIAL
Las Redes Neuronales Artificiales (RNAs) son una magnfica herramienta para el modelado de diversas acciones complejas -desarrolladas por el sistema nervioso de diferentes seres vivos-, con el fin de acercarse a explicaciones claras sobre su origen y funcionamiento. En las RNAs se simulan las neuronas y sus interconexiones, programndolas en computadores digitales ordinarios, y se introduce un algoritmo de entrenamiento que permita que se ajusten los pesos de conexin entre "nodos" (que simulan neuronas), afinando el funcionamiento de la red hasta convertirla en una mquina especfica y dedicada a una funcin determinada, como desarrollar una nueva tarea de aprendizaje asociativo o predecir los mercados internacionales de divisas. Turing concibi la computadora moderna en 1935. Este matemtico britnico fue un ser genial, clebre dentro del mundo cientfico por la mquina y el test que llevan su nombre. Pero no slo concibi la computadora, sino que tambin concibi la gnesis de los modelos conexionistas actuales (se ha denominado conexionismo al movimiento alrededor del estudio con RNAs), cosa que muy pocos saben, pues se suele identificar como padre del conexionismo a Frank Rosenblatt, quin public en 1957 muchos artculos sobre este tema. Sin embargo, Turing ya haba investigado las redes conexionistas desde 1948, en el seminal artculo Intelligent Machinery, que apenas es conocido (Copeland y Proudfoot, 1999). Este brillante matemtico britnico pas sus primeros trece aos en la India, donde su padre trabajaba en la Administracin colonial. En 1927 fue capaz de encontrar las series infinitas de la funcin tangente inversa sin haber cursado clculo elemental. Al ao siguiente, a la edad de 16 aos, encontr el trabajo de Albert Einstein, que no slo fue capaz de comprender, sino tambin de extrapolar el cuestionamiento que haca Einstein de las leyes de movimiento de Newton, a partir de un texto donde no se haca referencia explcita a esta cuestin. Pese a su excelente carrera acadmica, nunca mostr especial inters en dar difusin a sus ideas, y eso hizo que mucho de su trabajo recibiera poca atencin o pasara al olvido. Tambin influy el que muchas personas de su poca no entendieran los alcances reales de las propuestas de Turing. Por ejemplo, el manuscrito de Intelligent Machinery, preparado mientras trabajaba para el Laboratorio Nacional de Fsica de Londres, no obtuvo el beneplcito de esta institucin. Sir Charles Darwin, nieto del naturalista, quien diriga el laboratorio como si fuera un

[7]

colegio, desde el trabajo, calificndolo de "ensayo escolar". En realidad, este artculo, de largas miras, constitua el primer manifiesto en el campo de la inteligencia artificial. Por lo tanto, su trabajo permaneci indito hasta 1968, 14 aos despus de su muerte. En el artculo Intelligent Machinery, Turing idea una red neuronal a la que dio el nombre de "Mquina Inorgnica de tipo B", que consista en neuronas artificiales y dispositivos que modificaban las conexiones entre ellas. Las mquinas tipo B pueden contener neuronas conectadas atendiendo a una configuracin cualquiera, con la condicin de que cada conexin entre neuronas haya de pasar por un dispositivo modificador. Cada dispositivo modificador tiene dos fibras de entrenamiento: en modo de paso o en modo de interrupcin. La presencia de estos modificadores de conexin hace posible el entrenamiento de una mquina inorgnica tipo B, mediante lo que Turing denomin "interferencia adecuada, que remede la educacin". Para Turing, "la corteza cerebral infantil constituye una mquina inorgnica, susceptible de organizacin mediante un entrenamiento interferente adecuado" (Copeland y Proudfoot, 1999). Turing anhelaba simular una red neuronal y su rgimen de entrenamiento, valindose de un ordenador digital ordinario, pero emprendi su trabajo sobre redes neuronales antes de la introduccin de los primeros ordenadores electrnicos de uso general. Slo hasta 1954, Belmont J. Farley y Wesley A. Clark consiguieron hacer funcionar la primera simulacin computarizada de una pequea red neuronal, en el MIT. En ese mismo ao, Turing falleci.

C. MAQUINAS DE TURING
Una mquina de Turing (MT) 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.

LA HISTORIA DETRS DE LA MQUINA DE TURING A. 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

[8]

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. LA DEFINICION FORMAL DE LA MQUINA DE TURING Una mquina de Turing con una sola cinta puede definirse como una 7-tupla

donde:

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. es una funcin parcial denominada funcin de es un movimiento a la izquierda y es el movimiento a la derecha. ).

transicin, donde

[9]

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. CMO FUNCIONA LA MQUINA 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 hacia la derecha. Avanzar el cabezal lector/escritor hacia 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 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. LA MAQUINA DE TURING COMO DIAGRAMA Las maquinas 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 esta 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.

[10]

Mquina de Turing con cinta infinita a ambos lados

Mquina de Turing con cinta infinita a ambos lados

Esta modificacin se denota al igual que una MT sencilla, lo que la hace diferente es que la cinta es infinita tanto por la derecha como por la izquierda, lo cual permite realizar transiciones iniciales como .

Mquina de Turing con cinta multipista

Subdivisin de una celda de la cinta.

Es aquella que mediante la cual cada celda de la cinta de una mquina sencilla se divide en subceldas. Cada celda es as capaz de contener varios smbolos de la cinta. Por ejemplo, la cinta de la figura 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. Los movimientos que realice est mquina dependern de su estado actual y de la n-tupla que represente el contenido de la celda actual. Cabe mencionar que posee un solo cabezal al igual que una MT sencilla. Mquina de Turing multicinta

Diagrama de una mquina de Turing multicinta, las flechas indican los cabezales de lectura/escritura.

[11]

Una MT con ms de una cinta consiste de un control finito con k cabezales lectores/escritores y k cintas. Cada cinta es infinita en ambos sentidos. La MT define su movimiento dependiendo del smbolo que est leyendo cada uno de sus cabezales, da reglas de sustitucin para cada uno de los smbolos y direccin de movimiento para cada uno de los cabezales. Inicialmente la MT empieza con la entrada en la primera cinta y el resto de las cintas en blanco.

Mquina de Turing multidimensional

Diagrama de una mquina de Turing bidimensional.

Una MT multidimensional es aquella cuya cinta puede verse como extendindose infinitamente en ms de una direccin, el ejemplo ms bsico sera el de una mquina bidimensional cuya cinta se extendera infinitamente hacia arriba, abajo, derecha e izquierda. En la modificacin bidimensional de MT que se muestra en la figura tambin se agregan dos nuevos movimientos del cabezal {U,D} (es decir arriba y abajo). De esta forma la definicin de los movimientos que realiza el cabezal ser {L,R,U,D}. MAQUINA DE TURING DETERMINISTA Y NO DETERMINISTA La entrada de una mquina de Turing viene determinada por el estado actual y el smbolo ledo, un par (estado, smbolo), siendo el cambio de estado, la escritura de un nuevo smbolo y el movimiento del cabezal, las acciones a tomar en funcin de una entrada. En el caso de que para cada par (estado, smbolo) posible exista a lo sumo una posibilidad de ejecucin, se dir que es una mquina de Turing determinista, mientras que en el caso de que exista al menos un par

[12]

(estado, smbolo) con ms de una posible combinacin de actuaciones se dir que se trata de una mquina de Turing no determinista. La funcin de transicin en el caso no determinista, queda definida como sigue:

Cmo sabe una mquina no determinista qu accin tomar de las varias posibles? Hay dos formas de verlo: una es decir que la mquina es "el mejor adivino posible", esto es, que siempre elige la transicin que finalmente la llevar a un estado final de aceptacin. La otra es imaginarse que la mquina se "clona", bifurcndose en varias copias, cada una de las cuales sigue una de las posibles transiciones. Mientras que una mquina determinista sigue un nico "camino computacional", una mquina no determinista tiene un "rbol computacional". Si cualquiera de las ramas del rbol finaliza en un estado de aceptacin, se dice que la mquina acepta la entrada. La capacidad de cmputo de ambas versiones es equivalente; se puede demostrar que dada una mquina de Turing no determinista existe otra mquina de Turing determinista equivalente, en el sentido de que reconoce el mismo lenguaje, y viceversa. No obstante, la velocidad de ejecucin de ambos formalismos no es la misma, pues si una mquina no determinista M reconoce una cierta palabra de tamao n en un tiempo , la mquina

determinista equivalente reconocer la palabra en un tiempo . Es decir, el no determinismo permitir reducir la complejidad de la solucin de los problemas, permitiendo resolver, por ejemplo, problemas de complejidad exponencial en un tiempo polinmico.

MAQUINA UNIVERSAL DE TURING Una mquina de Turing computa una determinada funcin parcial de carcter definido y unvoca, definida sobre las secuencias de posibles cadenas de smbolos de su alfabeto. En este sentido se puede considerar como equivalente a un programa de ordenador, o a un algoritmo. Sin embargo es posible realizar una codificacin de la tabla que representa a una mquina de Turing, a su vez, como una secuencia de smbolos en un determinado alfabeto; por ello, podemos construir una mquina de Turing que acepte como entrada la tabla que representa a otra mquina de Turing, y, de esta manera, simule su comportamiento. En 1947, Turing indic: Se puede demostrar que es posible construir una mquina especial de este tipo que pueda realizar el trabajo de todas las dems. Esta mquina especial puede ser denominada mquina universal. Esta fue, posiblemente, la idea germinal del concepto de sistema operativo, un programa que puede, a su vez, ejecutar, en el sentido de controlar otros programas, demostrando su existencia, y abriendo camino para su construccin real. Con esta codificacin de tablas como cadenas, se abre la posibilidad de que unas mquinas de Turing se comporten como otras mquinas de Turing. Sin embargo, muchas de sus

[13]

posibilidades son indecidibles, pues no admiten una solucin algortmica. Por ejemplo, un problema interesante es determinar si una mquina de Turing cualquiera se parar en un tiempo finito sobre una determinada entrada; problema conocido como problema de la parada, y que Turing demostr que era indecidible. En general, se puede demostrar que cualquier cuestin no trivial sobre el comportamiento o la salida de una mquina de Turing es un problema indecidible.

3. APLICACIONES
Las computadoras como hoy las conocemos fueron diseadas por Von Newman, el cual afirma que la base de la computadora es un aparato que implementa una mquina de Turing. A este aparato lo conocemos como unidad central de procesamiento o bien, procesador. Gracias a la demostracin de que una mquina de Turing puede inclusive simular otra mquina de Turing, se inventaron los sistemas operativos multitarea. El sistema operativo multitarea es una mquina de Turing y cada programa tambin es una mquina de Tuiring, pero estn siendo "simuladas" por la nica implementacin de la mquina de Turing que es el procesador. Por la misma razn, es posible hacer un emulador de otras computadoras dentro de las nuestras, un claro y bsico ejemplo, es cmo podemos emular el super-nintendo (otra mquina de Turing) y cada uno de sus cartuchos con el programa Zsnes. Es por eso que sabemos que con las computadoras de hoy se puede hacer lo mismo que con las del futuro con las nicas limitaciones de la velocidad o de la memoria, un ejemplo claro de esta afirmacin, se puede sacar de NASA, quienes siguen usando muchas computadoras de los 80s. Adems se sabe que inclusive es posible simular una computadora del futuro en una actual.

4. DESARROLLO DE EJERCICIOS
Operaciones: 1) Parar la computacin.

[14]

2) Moverse un cuadrado a la derecha. 3) Moverse un cuadrado a la izquierda. 4) Escribir el smbolo S0 en lugar de cualquier otro que este en el cuadrado examinado. 5) Escribir el smbolo S1 en lugar de cualquier otro que este en el cuadrado examinado. (n+4) Escribir el smbolo Sn en lugar de cualquier otro que este en el cuadrado examinado. Ejemplo 1 escribe S1 S1 S1

[15]

[16]

Ejemplo 2 Duplicacin del nmero de 1s

[17]

[18]

Ejemplo 3 Escribir 2n unos en una cinta en blanco y parar, examinando el uno que est en el extremo izquierdo.

[19]

[20]

[21]

5. CONCLUSIN
Para concluir el trabajo se puede resumir que Turing, en sus aos pese a ser un aventajado en lo referente a computacin, informtica e inteligencia artificial se vio limitado por los paradigmas que en ese entonces regan en el mbito de su aplicacin, an superando los inconvenientes que se le presentaron su obra fue menospreciada y desvalorada debido a sus conductas inmorales en la sociedad europea del siglo XX. Pese a lo antes mencionado su aporte con el paso del tiempo, ha recobrado el valor que nunca debi perder, y se le han dado los crditos y reconocimientos meritorios, en relacin a las repercusiones que han tenido sus logros y descubrimientos en todo el campo informtico y computacional, dndole el crdito por sus innovaciones y siendo considerado como el padre de la inteligencia artificial, y el creador de las bases de toda la computacin moderna. La mquina de Turing, en conclusin es la idea de trasfondo de lo que hoy se entiende por procesador, donde ste puede reconocer lenguajes, y generar operaciones en base a la lgica aplicada dcadas antes en una abstraccin imaginativa del cientfico Turing, permitiendo a travs de su estudio y comprensin el desarrollo de hitos tan importantes como lo es la multitarea o la emulacin, dos conceptos muy familiares que tienen su origen en lo antes desarrollado por Turing.

[22]