LA MAQUINA DE TURING ‘Manuel Alfonseca En 1931, Kurt Gide! (1906-1978) publicd su famoso articulo Sobre tas Proposiciones Formalmente Indecidibles en Principia Mathematica y Sistemas Relacionados, que quiza sea la realizacién matemética més importante del siglo XX. Fh sintesis, el teorema de Céidel demuestra que toda formuacién axlomatica consistente de la teorfa de nimeros contiene proposiciones inde- Cidibles: siempre habré en ella afirmaciones verdaderas que no se pueden demostrar En 1937, el matemético inglés Alan Mathison Turing (1912-1953) publieé otro articulo famoso (obre los Mimeros Catculabes), que desarrollé el teo- rema de Gadel y que puede considerarse el origen oft clal de la informatica tebrica. En este articulo introdu- jo la maquina de Turing, una entidad matemtica abstracta que formaliz6 el concepto de algorit ‘mo y result ser la precursora de las computa doras digitales. Con ayuda de su maquina, ‘Turing pudo demostrar que existen problemas ois Cee ee Cee eee Eytacagheips SEAR ee an ee cee as eee nthe oa cuyarce cent susan orogens in at ‘computabiidad. {Una maquina de Turing puede considerarse como una cinta infinita divide ddan casillas, cada una de las cuales contiene un simbolo. Sobre dicha cinta acta un dispositivo que puede adoptar diversos estados y que, en cada ins- lante lee un simbolo de a casilla sobre la que esté situado, En funcin del sim- bolo que ha lefdo y del estado en que se encuentra, realiza las tres acciones siguientes: pasa a un nuevo estado, imprime un simbolo en lugar del que acaba de leer, y se desplaza una posicién hacia la izquierda, o hacia la derecha, 0 bien la méquina se para. El funcionamiento de una méqui- nade Tring puede represntarse 1, oe. tedlante una tabla de dobleenta- da. Las flas estan encabezadas por | P| 40D | pOl | rbD Tor etude, lols pt toa simbolos escritos en la cinta, En | a1 |sg0De| pot cada posicién de Ja tabla hay tres r rlD | sbP elementos: el estado sigulente, el Simbolo que se eserbe en ncintay |S el movimiento de la cabeza (LDP). aes Tia de na maga de Tg Las mateméticas del siglo XX 16533 ‘También puede haber posiciones en blanco. Por ejemplo, la tabla de una maquina de Turing podefa ser como se muestra en la pagina anterior En las casillas de la cinta de esta méquina de Turing puede haber tres sim bolos: 0, 1,0 la casilla puede estar en blanco (lo que se representa en la tabla ‘con laletrab). Observando la taba, es ffeil ver que los estados de esta maqui- na corresponden a las acciones siguientes: Estado p: mientras encuentra el simbolo 0, lo ignora y avanza hacia la laqulerda, En cuanto encuentra el simbolo 1, lo sustituye por 0, pasa al estado ‘ay avanza hacia a derecha. Si encuentra una casillaen blanco, pasa al estado ry avanza hacia la derecha, Estado 4: mientras encuentra los simbolos 0 1, los ignora y avanza hacia la derecha, En cuanto encuentra un blanco, escribe un cero, pasa al estado p yy avanza hacia la laqulerda. Su funcion, por tanto, es ahadir un O al final dela ‘cadena de ceros y unos, sobre la primera casillaen blanco situada a la dere- ‘cha de la misma, Estado r: mientras eneuentra 0, lo sustituye por 1 y avanza hacia la dere ‘cha, En cuanto encuentra una easila en blanco, pasa al estado finaly se detie- ne la maquina {Al principio, la méquina est en el estado p,n casilas consecutivas de la cinta de entrada contienen un uno, las restantes estén en blanco, y la cabeza lectora apunta al ditimo uno. Pensando un poco se verd que, cuando la maqul- 1a se pare, la cinta contendré 2n unos. En cierto modo, esta maquina de Turing multiplica por dos, Elconcepto de maquina de Turing es tan general y potente, que es posible ‘construir una méquina que sea capaz de simular el comportamiento de otra méquina de Turing cualquiera. Esto es lo que se lama maquina de Turing un versal Gracias a su existencia, podemos disponer de ordenadores electréni- ‘cos, que no son mas que méquinas generalizadas capaces de realizar cualquier céleulo computable Estudiando la méquina que habia inventado, Turing demostré la existencia de un problema ireesoluble: jes posible construir un algort ‘mo que, dada una méquina de Turing cualqulera M1, nos liga si esa méquina acabaré por pararse al leer clerta cinta, o bien si seguir fun- cionando indefinidamente, rmoviéndose siempre hacia la derecha, siempre hacla la Alan Tring primer orl zien) satindo lqulerda,o realizando clelos al auobis en 1946 ato con ores miemtsdet ‘mds o menos complejos? ator Ase Cd 166 ‘La maquina de Turing- “Turing supuso que se puede resolver el problema. Entonces ser4 posible ‘construir una maquina, M2, que lo resuelva, En la cinta de M2 colocaremos una ‘Geseripeién de MI (su tabla de transiclones) y una copia de la cinta que debe fer Ademas, podemos programar M2 de manera que, si MI se para, M2 siga funcionando Indefinidamente; por el contratio, si Mi no se para, M2 debe pararse-Puesto que M2 acepta la descripelén de cualquier miquina de Turing, Te ptoporclonamos su propia descripel6n, Nos encontramos entonces con una contradicel6n: por construccién, M2 debe pararse si M2 no se para, y vicever- a. Por tanto, tenemos que renunclar a la hipétesis de que sea posible cons- trate la méquina M2. Dicho de otro modo: el prohlema de la parada de la maquina de Turing es iresoluble. Se dice que la maquina de Turing es computacionalmente completa, con lo {que queremos decir que puede resolver cualquier problema recursivamente fenumerable, que equivale @ un problema resoluble por un ordenador dial Por esta raz6n, la maquina de Turing resulta ser un modelo adecuado de la actuacion de los ordenadores digitales, aunque no es el nico. Existen otros ‘mecanismos eomputacionalmente completos, como las redes neuronales, los, sistemas clasifcadores de Holland, ete La maquina de Turing ha encontrado aplicacin en el campo de la comple- jidad de algoritmos, que compara la dificultad de distintos métodos para la resolucién de wn problema, Se ha detectado un tipo de problemas (WPcom- pletos), que se conjetuta son imposibles de resolver en un tlempo razonable ‘cuando el nimero de elementos es grande. Este grupo Incluye problemas ‘como el del viajante de comercio oe! dela bisqueda del camino minimo en un ‘rafo, Los dos eampos de problemas P (més sencillos) y NP (potencialmente mis complejos) denunclan en sus siglas su relacin con la méquina de Turing, pues los primeros se definen como los que se pueden resolver en tiempo pol nomico (P) en una maquina de Turing determinista, y los segundos los que se pueden resolver en tiempo polinémico en una maquina de Turing no determi rista (4 aqui laN). Existen diversas modificaciones de la maquina de Turing, que han dado lugar a campos muy interesantes de la Informética Tedrica. Algunas son equi valentes a la maquina original en su poder computacional, como las méquinas de Turing no deterministas, que en cada posicin de la tabla pueden inclulr distintas postblidades; las méquinas con varias cinta; o aquéllas que en cada ‘momento sélo pueden realizar alguna de sus res acciones posible. Otras res- twiceiones conducen a miquinas menos generales, como el automata lineal acotado, una maquina de Turing con cinta finita; el automata a pila, que solo puede leer unidireccionalmente de su cinta de entrada, aunque puede escribir y ler en una segunda cinta, que funciona como una pila; el autémata finito eterminieta, que puede considerarse como un automata a pila al que le hemos qultado la pila En la década de 1950, el norteamericano Avram Noam Chomsky (1928) revolucioné la LingUistiea con su Teoria de las Graméhieas Transformacionales, {que proporcioné una herramienta que podia aplicarse a los lenguajes natura les y faciitaba el estudio ylaformalizacin de los lenguales de ordenador. Esta | ‘Manuel Alfonseca 1633 tcoriaresult6 tener una relacin sorprendente con la de maquinas abstractas, hasta el punto de que ambas son isomorfas, Chomsky clasficé los lenguales formales de acuerdo con una jerarqula de ‘cuatro grados, cada uno de fos cuales contiene a todos los siguientes. El ms {general se llama Tipo 0 incluye todos los lenguajes posibles. Los de Tipo 1, también lamados Lenguajes Sensibles al Contexto tienen algunas limitaciones, ‘aunque se permite que la sintaxis de las palabras depend de su contexto, Algunos lenguajes naturales (como el aleman-suizo y el bambara) tienen cons. trucciones gramaticales de esta clase, Los de Tipo 2 se llaman también ‘Lenguajes Independientes del Contexto y restringen la libertad de formacion de reglas gramaticales, pues la sintaxis de una palabra debe ser independiente de su contexto, La mayor parte de los lenguajes naturales y todos los de ord or pertenecen a este grupo. Por titimo, los lenguajes del Tipo 3, los mas sen cillos, se Haman también Lenguajes Regulares. Esta jerarquia de lenguajes es paralela a la de méquinas abstractas, en el sentido de que los lenguaes de cada tipo pueden representarse mediante ‘aquinas equivalentes, que pueden ayudar a resolver cierto tipo de proble- ‘mas 0 algoritmos. La tabla adjunta indica la rlacién entre as tres jerarquis. Problemar No Resolubles Lenguales | Maquinas Tipo ae deChomsty | Turing Lenguaies | Autmatas Tipo Uneales | Sensibies deChomsty | Acotados | alContesto Lenguajes | Automata | Problemas Tipo? a Independientes deChomsky | Pita del Contesto Tenguales | Automata | Expresiones Tipos Fritoe de Chomsky | Deterministas | Regulares Tabla que india alan nr los es gs Biblograsin Alfonseca, M: Sancho, 1: Martins Orga, M.A: Tore do Lenguaje, Grométsas y ‘Aurmatas.Promoso Pbliaciones RAEC, Madrid, 197, SBN. els 00823, ‘Brookstiear, J. Teora dela Computacén. Addison-Wesley, Mad, 198, ‘Chom, N:Schutzenbenger MLP: The algebraic theory of contexte languages". Computer Programming and Formal Systems, pp, 11816 NorthHolland, Asterdam, 1963. Fernandes. Sie Vacas,F:Fundamento de norma, Léa, Autmeta,Algortmos y ‘Lenguayes. Anaya Multimedia, Madd 1985, 168,