Page 44 - 06 Turing

que se pueda determinar si otro programa ( o máquina de Turing)
se detendrá (halt) dado un cierto valor de entrada o input. Esta
conclusión fue obtenida por Turing mediante su propio objeto de

UN SINFÍN DE MÁQUINAS DE TURING
Un ordenador actual podría ser considerado como una máquina de Turing
que a su vez contiene a otra en su interior. Con el fin de explicar esta idea
considérese por ejemplo ENIAC (Electronic Numerical lntegrator And Com-
puter), uno de los primeros ordenadores. Este mastodonte de los primeros
años de la informática podría ser representado como una máquina de Turing
con tres cintas: una cinta de lectura que recibiría los datos de entrada o input,
otra de escritura que mostraría los resultados, salida o output, y una tercera
que desempeñaría el papel de una memoria.

Los ordenadores actuales
En un ordenador actual, la máquina de Turing que representa ENIAC debería
ser modificada actualizándola, considerando ahora que la cinta de entrada se
desdoblaría en dos segmentos: el primero sería la memoria auxiliar, por ejem-
plo el disco duro, una tarjeta de memoria SD o un pendrive, mientras que el
segmento restante sería el teclado. En dicha máquina la cinta de salida estaría
representada por el monitor, mientras que la de memoria sería la memoria
RAM. Si ahora asumimos que el sistema operativo es también una máquina de
Turing, por ejemplo, las distintas versiones de Windows de Microsoft, o cual-
quiera de las distribuciones de Linux/Unix o la familia Mac OS de los ordena-
dores Apple, entonces tendremos que el conjunto de programas que permiten
que un usuario gestione los recursos de un ordenador es una máquina de
Turing que controla a otra, el ordenador propiamente dicho. Más aún, cuando
un programador escribe un programa, el conjunto de sus instrucciones, esto
es, el llamado código fuente, debe ser traducido a código máquina o binario
con un programa llamado compilador, que puede ser también considerado
otra máquina de Turing. Una vez traducido, el programa ya podrá ser ejecuta-
do en el microprocesador, el dispositivo más importante del ordenador. Por
tanto, el modelo que subyace es que tanto el ordenador como el programa
con el que traducimos un programa a una versión ejecutable, o el mismo sis-
tema operativo son todos ellos máquinas de Turing. En otras palabras, «todo
son programas, todo es software», y aquí se incluyen también los circuitos
electrónicos, el hardware, como si de software se tratase, una de las ideas más
apasionantes consecuencia del trabajo que tiempo atrás realizase Alan Turing.

44 WUÉ ES UN ORDEN ADOR?