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 16533
‘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 1633
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,