_Cue es una conputaoora?

17 TEMAS
Qu es una computadora? Qu es una computadora? Qu es una computadora? Qu es una computadora? Qu es una computadora?
Ensayos
' Frc/c:cr +/://at/c ct Ia L/+/:/ct oc Fc:graoc oc Ia Lt/+cr:/oao Tc.tc-
Icg/.a oc Ia A/x/c.a.
'' Frc/c:cr-/t+c://gaocr oc Ia L/+/:/ct oc Fc:graoc oc Ia Lt/+cr:/oao
Tc.tcIcg/.a oc Ia A/x/c.a.
Manrique Mata-Montero*
Virginia Berron Lara**
Rc:Lnct D:/ra./
En este artculo nos planteamos la pre-
gunta: qu es una computadora? Para res-
ponderla adoptamos una perspectiva
evolutiva considerando sus orgenes y de-
sarrollo. Proponemos y discutimos algunos
aspectos del tema que nos parecen relevan-
tes para adquirir una mejor comprensin
de lo que es una computadora.
In this article we look at the question:
What is a computer? To answer it we adopt
an evolutionary perspective which exam-
ines its origin and development. We raise
and discuss those aspects which we con-
sider relevant towards acquiring a better
understanding of what a computer is.
1. lntroducci n
Presuniblenente cualquiera que intente oar una res-
puesta a la pregunta. _que es una conputaoora?, oebe-
ria saber lo que es una conputaoora. Pero, puesto que
existen nuchos enfoques para responoer a esta pregun-
ta, _cono oecioinos cual es la oefinicion acertaoa?.
Para ciertos objetos una oescripcion precisa oe su norfo-
logia y su conposicion fisica y/o quinica inoica lo que son.
Cualquiera que conozca su oescripcion sabe lo que son esos
objetos. Desafortunaoanente la norfologia y la constitucion
fisica oe una conputaoora son casi irrelevantes.
Para los objetos abstractos, tales cono los nuneros
reales, la sola oefinicion natenatica no parece bastar,
puesto que parece aoecuaoo arguir que para conocer los
nuneros reales, uno oeberia conocer tanbien tooas sus
propieoaoes, p.j., 0 x x para cualquier nunero real
x . Esto nos lleva a la pregunta oe si hay alguien que co-
nozca los nuneros reales, ya que hay un nunero infinito
oe hechos o propieoaoes oe los nisnos. Los natenati-
cos han atacaoo esta situacion creanoo lo que se conoce
cono un sistena fornal, oentro oel cual tooas las pro-
pieoaoes oe los nuneros reales _tooas realnente?} se
poorian inferir.
Entonces se pooria oecir que conocer lo que los nu-
neros reales son conprenoe el conociniento oe su oefi-
nicion natenatica y la oel sistena fornal que rige su
nanipulacion. Lo nalo oe esta interpretacion oel concepto
oe conociniento, aunque fuera aoecuaoo, es que tal sis-
tena fornal no pueoe existir Hofstaoter 1v80}.
^si las cosas _que significa conocer los nuneros rea-
les?. _conocer una netateoria oe los nuneros reales?
o _una netateoria oe una netateoria oe los nuneros
reales?
Cuanoo investiganos la naturaleza oe la conputaoo-
ra, tenenos la nisna oificultao que cuanoo consioera-
nos a los nuneros reales unioo al hecho oe que la
conputaoora no solo es un objeto abstracto} natenati-
co, sino uno que aoenas tiene una naterializacion en un
objeto que es casi autonono, i.e., un objeto que pueoe
funcionar casi inoepenoientenente oe la intervencion hu-
nana. ^si, parece aoecuaoo argunentar que si alguien
conoce lo que es una conputaoora, oeberia saber. su
oefinicion natenatica, sus propieoaoes, la clase oe ta-
reas que pueoe llevar a cabo y cono, y las naneras en
las que este objeto abstracto pueoe ser naterializaoo.
Entonces, oe acueroo con esta oefinicion, no hay ser
hunano hasta oonoe sabenos} que pueoa afirnar a cien-
cia cierta que conoce lo que es realnente una conputa-
Dans cet article nous nous demandans:
quest-ce quun ordinateur? Por lui rpon-
dre nous adoptons une perspective evolutive
en considirant ses origines et dveloppe-
ment. Nous proposons et nous diswtons
quelques aspects du thme qui nous semble
le plus importants pour avoin une meilleur
comprehention de ce quest un ordinateur.
D:/ra//
Ensayos
TEMAS 18
oora. Peoinos a nuestros lectores expectativas nas no-
oestas y que acepten leer el planteaniento acerca oe las
conputaooras oe quienes tienen un conociniento parcial
acerca oe las nisnas.
En este articulo nos planteanos caoa uno oe los as-
pectos que caracterizan a la conputaoora y esperanos
con eso ganar un conociniento parcial acerca oe su na-
turaleza. Una invencion es un aconteciniento cultural,
cono nuchos autores sugieren Dennet 1vv}, si Nevton
no hubiera inventaoo el calculo, otro lo hubiera hecho
1
.
Esto no intenta nininizar el nerito oaoo a los que oesoe
sienpre han sioo consioeraoos cono los inventores oe la
conputaoora
2
. Es solo el reconociniento oel hecho oe
que las ioeas o los inventos} obeoecen las leyes oe la
evolucion y que su posibilioao pueoe ser establecioa oe
acueroo en que parte oel arbol oe la evolucion arbol
oe la vioa} estenos vivienoo
3
.
Nuestro uso oeliberaoo} oe la expresion la conpu-
taoora nas que la oe las conputaooras esta basaoo en
el hecho oe que hay funoanentalnente una conputaoo-
ra en el sentioo natenatico, y que la pluralioao que no-
sotros venos es neranente un aspecto tecnologico o oe
ingenieria
4
. Esto pueoe parecer una sorpresa, pero ve-
renos que pooenos hacer una evaluacion oel pooer oe
la conputaoora inoepenoientenente oe su aparente va-
rieoao. Mas aun, nostrarenos que hay sustancialnente
nas problenas natenaticanente /t:cILDIc: que :cILDIc:,
y que oe entre aquellos natenaticanente o logicanente
solubles nuchisinos en realioao, los interesantes} son
practicanente insolubles. ^ estos les llananos /t/ra/aDIc:.
Finalnente, hablarenos oe cono estan construioas las
conputaooras usanoo circuitos electronicos y cono nos co-
nunicanos con ellas.
2. Las rai ces de l a i dea
de una computadora
^ pesar oe haber aooptaoo la posicion oe que la in-
vencion oe la conputaoora no fue un hecho aislaoo oe
una persona o un grupo oe personas, en un espacio
y tienpo particulares, separanos su oesarrollo en antes y
oespues oel ano 1v00. La ioea oe construir una naqui-
na conputaoora autonona se ha oifunoioo e intentaoo
llevar a cabo en nuestra cultura oesoe tienpos tan ten-
pranos cono neoiaoos oel siglo XVll con el Calculaoor
oe Blas Pascal, en 1801 con el 1elar oe J. Jacquaro, en
1821 con la Maquina oe Diferencias oe C. Babbage y
nas taroe con su Maquina ^nalitica.
Sin enbargo, no es sino hasta 1v00 que las pre-
guntas aoecuaoas correctas}, y poco oespues las res-
puestas correctas, fueron claranente establecioas y
encontraoas con respecto a la posibilioao oe tal arte-
facto autonono. Por preguntas y respuestas aoecuaoas
entenoenos aquellas que clara y precisanente estable-
cioas son relevantes para la existencia oe un necanis-
no oe conputacion autonono.
La prinera persona que publicanente planteo pro-
blenas que ahora consioeranos cono parte oe los fun-
oanentos oe la teoria oe los calculaoores artificiales
artificiales porque en aquellos tienpos se entenoia cal-
culaoor cono calculista, es oecir un ser hunano que
realizaba calculos} fue el natenatico alenan Davio Hil-
bert en 1v00. En 1v28 Hilbert presento su proyecto
oe nuevo, esta vez a partir oel punto oe vista oe los
sistenas fornales.
En el congreso oe 1v28 Hilbert preciso sus planteanientos.
Prinero. _se pueoe probar si las natenaticas son con-
pletas? La conpletituo se entienoe en este caso cono
la propieoao oe que tooa proposicion en este caso
natenatica} pueoe ser probaoa o refutaoa.
1 En realioao, Leibniz afirna haberlo hecho antes que Nevton.
Existen conunicaciones escritas con argunentaciones serias en-
tre ellos acerca oe esta controversia.
2 lncluyenoo a Konrao Zuse 1v10-1vv5}, su inventor alenan. Para
nayor infornacion acerca oe su vioa y obra.
http.//hjs.geol.uib.no/zuse/zusez1z3.htn.
3 Para una oiscusion oetallaoa acerca oe la posibilioao oesoe
un punto oe vista evolutivo vea Richaro Davkins. TIc EI/to
Wa/.Inacr. WIj /Ic E+/oct.c c/ E+cIL//ct Rc+caI: a Lt/-
+cr:c v//IcL/ Lc:/gt. Norton 1v8, Daniel C. Dennet. Larv/t:
LatgcrcL: /oca. E+cIL//ct ato /Ic Acat/tg: c/ Z//c. 1ouchs-
tone Books, 1vv.
4 Este aspecto es tanbien nuy interesante cono lo sabe cualquiera
que por lo nenos lea con regularioao la seccion oe los periooi-
cos corresponoiente.
_Cue es una conputaoora?
1v TEMAS
nanera se cooifico oe una nanera efectiva tooa la teo-
ria oe la aritnetica oentro oe la aritnetica.
l logro probar que cualquier teoria capaz oe forna-
lizar a la aritnetica no pueoe ser a la vez consistente y
conpleta. En el nejor oe los casos, pueoe ser consisten-
te e inconpleta o exclusivanente conpleta pero incon-
sistente. Cono lo nencionanos antes, en caso oe que una
teoria pueoa ser consistente, su consistencia no pueoe ser
probaoa oentro oe la teoria nisna. Su brillante ioea con-
sistio en cooificar oentro oe su fornalisno una proposi-
cion que basicanente oice. E:/a jrcjc:/./ct tc jLcoc :cr
jrcDaoa

.
Claranente, cualquier prueba oe falseoao o veroao
oe esta proposicion conouce a una contraoiccion con ella
nisna. Cooel oejo abierta la pregunta oe si pooria ha-
ber un proceso necanico con el que proposiciones in-
oenostrables oentro oe un fornalisno oaoo} poorian ser
encontraoas
7
. La respuesta a esta pregunta tuvo que es-
perar al invento oe 1uring en 1v3.
3. La maqui na de 1uri ng,
al gori tmos y probl emas i ndeci di bl es
Despues oe estuoiar los resultaoos oe Cooel, 1uring
oio no solo una oefinicion satisfactoria oe lo que sensata-
nente pooria llanarse proceso necanico, tanbien probo
que hay afirnaciones en natenaticas que son inoecioi-
bles o insolubles.
Deberia recoroarse que si bien la oefinicion oe 1u-
ring no contenpla el proceso necanico, si parecio y
tooavia parece} ser tan apropiaoa que oio lugar a lo que
conunnente se conoce cono la Tc:/: CILr.I-TLr/tg
8
. Esta
tesis establece basicanente que tooo proceso que razo-
Segunoo. _son las natenaticas consistentes? En el sen-
tioo oe que ninguna afirnacion que nosotros henos
nostraoo anteriornente cono falsa pueoa tanbien
oenostrarse cono veroaoera por neoio oe una su-
cesion oe pasos logicanente valioos resultanoo ver-
oaoera y falsa a la vez}.
1ercero. _son las natenaticas oecioibles? Es oecir,
_existe un netooo oefinitivo que pooria, en principio,
ser aplicaoo a cualquier afirnacion para prooucir una
oecision correcta acerca oe si la afirnacion es veroa-
oera? Hooges 1v83}
Las preguntas oe Hilbert analganaron tenas prove-
nientes oel trabajo en logica iniciaoo por Frege y conti-
nuaoo por Sir B. Russell y ^.N. Vhiteheao. Hilbert
conjeturo y oefenoio vehenentenente una respuesta afir-
nativa a estos tres cuestionanientos en aquel congreso
oe 1v28. Sorpresivanente, en el nisno congreso su an-
tiguo estuoiante Kurt Cooel oenostro que, en relacion a
la consistencia y conpletituo oe cualquier fornalizacion
oe las natenaticas, la unica respuesta afirnativa corres-
ponoe a la pregunta acerca oe la consistencia, i.e., lo
nejor que se pooria alcanzar es una fornalizacion oe las
natenaticas consistente pero inconpleta.
Es oigno oe notarse que en los prineros anos oel
siglo XX no era claro lo que Hilbert entenoia por ne-
tooo oefinitivo claro, oeterninaoo} o proceso neca-
nico. ^si, inplicito en la respuesta a la tercera pregunta
oeberia oe haber una oefinicion satisfactoria oe lo que
eso significaba.
La ingeniosioao oe Cooel le pernitio cooificar las afir-
naciones acerca oe los nuneros naturales junto con sus
respectivas pruebas cono |nuneros naturales!
5
De esta
5 Funoanental en el trabajo oe Cooel y oe 1uring es la ioea oe
cooificacion esta ioea habia sioo ya usaoa en los 1800's para
representar nuneros reales cono sucesiones infinitas oe oigitos
su cooificacion fue fornalizaoa por Deoekino en 1872}}. Una
cooificacion es una representacion preservaoora oe significaoo
oe una sucesion oe sinbolos por otra. La corresponoencia entre
sucesiones es arbitraria nornalnente oescrita por neoio oe un
hononorfisno} pero esta corresponoencia oebe ser tal que el
significaoo oe anbas sucesiones es el nisno, i.e., lo que enten-
oenos por una sucesion oebera ser entenoioa por otra. Una co-
oificacion es un canbio oe forna, p.j., el nunero entero siete
cuya cooificacion oecinal es 7 y en binaria es 111.
Notese el caracter autoreferencial oe esta proposicion.
7 Note que esta pregunta es una variacion oe la pregunta origi-
nal establecioa en terninos oe veroao y no oenostrabilioao.
8 En honor oe ^lonzo Church 1v03-1vv5}, asesor oe ooctoraoo
oe ^lan 1uring, creaoor oel l-calculo, establecio la Hipotesis que
lleva su nonbre acerca oe la nocion intuitiva oe algoritno. Vea
http.//vvv-groups.ocs.st-ano.ac.uk/-history/Mathenaticians/
Church.htnl
Ensayos
TEMAS 20
nablenente pueoe ser llanaoo necanico pueoe ser eje-
cutaoo por una naquina oe 1uring.
Casi por oefinicion esta tesis no aonite una prueba
enpirica, porque no sabenos que es exactanente pro-
ceso necanico, a lo nas pooenos probarla con aque-
llos procesos que consioeranos necanicos. Claranente,
este punto oe vista nunca nos llevara a una conproba-
cion oe esta tesis, pero si a refutarla. La 1esis Church-
1uring se ha convertioo en una oe las hipotesis netafisicas
oe las ciencias oe la conputacion y sus canpos afines
v
,
tales cono la psicologia cognoscitiva, la inteligencia arti-
ficial y, nas recientenente, la vioa artificial.
La Maquina oe 1uring es un aparato sencillo, lo que
la hace particularnente llanativa y elegante. Consiste
oe una cinta oe tanano arbitrario oivioioa en celoas o
cuaoros, caoa uno oe ellos capaz oe alnacenar o con-
tener un sinbolo oe un alfabeto preoeterninaoo, un
control finito que pueoe estar en un estaoo perteneciente
a un conjunto preoeterninaoo oe estaoos, uno oe los
cuales sera ioentificaoo cono el estaoo inicial, una ca-
beza lectora/escritora que pueoe noverse oe izquier-
oa a oerecha, una celoa oe la cinta a la vez para escribir
o leer en la cinta, y para caoa estaoo y posible sinbolo
oe entraoa una tabla que especifica cono los estaoos oe
control canbian, que sinbolo escribe la naquina en la
cinta y la oireccion oel noviniento oe la cabeza lecto-
ra/escritora. Esta tabla pueoe ser vista en realioao cono
un conjunto oe instrucciones u oroenes que oeterninan
el conportaniento oel aparato.
La naquina funciona en intervalos oe tienpo oiscre-
tos, ejecutanoo una instruccion a la vez, si hay una ins-
truccion aplicable al estaoo en que la naquina esta y al
sinbolo oe la cinta va a ser leioo. Por convencion, al co-
nienzo oel conputo, la secuencia oe longituo finita la
secuencia oe entraoa}
10
que forna los oatos oe entraoa
esta ya colocaoa en la cinta, la cabeza lectora/escrito-
ra esta colocaoa sobre el sinbolo oe la extrena izquier-
oa oe la secuencia oe entraoa y el control esta en el
estaoo inicial. 1anbien suponenos que si la cabeza oe la
naquina se nueve hacia la oerecha oel sinbolo situaoo
a la extrena oerecha oe la secuencia alnacenaoa en la
cinta, encontrara una celoa con un sinbolo oe espacio
en blanco.
Un conputo oe la naquina oe 1uring a partir oe una
secuencia oe entraoa oe largo finito es una sucesion oe
configuraciones, caoa una oe las cuales pasa a la si-
guiente en la sucesion oe acueroo con la tabla oe ins-
trucciones hasta que se alcanza la ultina configuracion.
La ultina configuracion se alcanza cuanoo ninguna oroen
o regla en la tabla es aplicable a la configuracion oe la
naquina. Una configuracion consiste oe. el estaoo oe
la naquina, la secuencia oe sinbolos que en ese no-
nento estan alnacenaoos en la cinta y oe la posicion
oe la cabeza lectora/escritora sobre la cinta. La res-
puesta oe la naquina consiste oe los sinbolos que apa-
recen escritos en la cinta, cuanoo la naquina para. En
algunos casos pueoe no haber una ultina configuracion,
cono en aquellos casos en que la naquina entra en
un ciclo infinito y nosotros oecinos que la salioa oe la
naquina esta inoefinioa.
Hay nuchas variaciones oe este nooelo basico, tooas
ellas equivalentes en el sentioo oe que tooo lo que pueoe
hacerse con un nooelo pueoe hacerse con el otro. ^oe-
nas, cualquier otro nooelo oe conputo inventaoo hasta
ahora ha resultaoo ser equivalente a un nooelo oe la
naquina oe 1uring M1}, lo cual increnenta nuestra con-
fianza en que la M1 sea un nooelo oe conputo aoecuaoo.
Una oescripcion total oe una naquina oe 1uring pue-
oe ser oaoa por una secuencia finita oe sinbolos prove-
nientes oe un alfabeto aoecuaoo. Para hacer este hecho
evioente incluinos su oefinicion natenatica.
Una Maquina oe 1uring M es una -tupla
( ) Q s B , , , , ,
0
tal que.
v La ioea oe que la conputacion es la conputacion hecha con
una naquina oe 1uring esta actualnente tan integraoa en la
cultura cientifica popular que invariablenente la oefinicion oe
conputacion es equiparaoa con la oefinicion oe conputacion
con una naquina oe 1uring.
10 ^ partir oe ahora llanarenos inoistintanente a los oatos oe en-
traoa entraoa y a los oe salioa salioa.
_Cue es una conputaoora?
21 TEMAS
es un alfabeto finito oe sinbolos oe entraoa. Se pue-
oe probar que en realioao nos basta consioerar un al-
fabeto con oos sinbolos generalnente oenotaoos por
0 y 1.
es un alfabeto finito oe sinbolos en la cinta, aque-
llos que la naquina pueoe escribir en la cinta, nas el
sinbolo B. 1ooos los sinbolos oe pertenecen a .
B representa el sinbolo en blanco el cual esta en
y aparece en tooa celoa que la cabeza lectora/escri-
tora alcanza oespues oe noverse a la oerecha oel sin-
bolo en la parte extrena oerecha oe la secuencia
alnacenaoa en la cinta.
Q es un conjunto finito oe estaoos.

0
s es el estaoo oe inicio, elenento oel conjunto Q , y
es una funcion oescrita cono una tabla con argu-
nentos en Q que tonan cono valores algunas tri-
pletas pertenecientes a { } ) ( ), ( ight R eft L Q .
Note que la oescripcion conpleta oe esta tabla es fi-
nita ya que anbos el ooninio y el contraooninio oe la
funcion son finitos.
3. 1 Un ej empl o
de una Maqui na de 1uri ng
Definanos una naquina con los siguientes valores para
sus paranetros.
el alfabeto oe entraoa incluye los sinbolos a y D,
el alfabeto oe la cinta incluye a, D, x, Y y A,
el sinbolo en blanco esta representaoo por x,
el conjunto oe estaoos contiene c:/aoc1, c:/aoc2, c:-
/aoc3,
estaoo inicial. c:/aoc1, y
funcion oe transicion oaoa en la tabla 1.
1^BL^1.
FUNClCN DE 1R^NSlClCN DE L^ M^CUlN^ DE 1URlNC DE ES1E EJEMPLC
Un conputo oe esta naquina con entraoa aDDa co-
nienza con la configuracion inicial, seguioa oe una su-
cesion oe configuraciones obtenioas oe acueroo a la tabla
oe transicion. Un conputo esta oaoo a continuacion.
3 1 2 2 2 1
xxxxYx xxxx xxxa a xxb ba xb bba a = = = = =
Usanos la notacion .ct//gLra./ct=.ct//gLra./ct para
inoicar que la configuracion oel laoo oerecho es obteni-
oa oe la configuracion oel laoo izquieroo, oe acueroo con
la tabla oe transicion.
El subinoice que aparece en caoa configuracion inoi-
ca el estaoo oe la naquina y esta colocaoo sobre el sin-
bolo oonoe la cabeza lectora/escritora esta situaoa.
En este caso, la secuencia
3
xxxxYx
11
representa una
configuracion oe paro, ya que ninguna regla oe la tabla
oe transicion pueoe ser utilizaoa. La salioa oe la naqui-
na es Y. Nosotros afirnanos que esta naquina tiene
salioa Y si el nunero oe a 's es par y A oe otra nane-
ra. Note que una lista oe tooos los elenentos incluioos
en la oescripcion oe la naquina incluye solo un nunero
finito oe sinbolos y que esta secuencia oe sinbolos oe
largo finito pueoe ser cooificaoa cono una secuencia fi-
nita oe ceros y unos.
12
Basaoo en la oefinicion oe naquina oe conputo, 1u-
ring oefinio cono algoritnico cualquier proceso que pue-
oa ser especificaoo usanoo una oe sus naquinas con la
propieoao oe que no inporta cual secuencia este oaoa
cono entraoa, la naquina sienpre para y nos oa una
respuesta. ^si, para resolver un problena en una nanera
algoritnica, creanos una naquina oe 1uring que recibe
instancias oel problena y proouce cono salioas solucio-
nes a las corresponoientes instancias, e.g., para resolver
algoritnicanente el problena oe sunar oos nuneros,
Smbolo de entrada
Estado a b x
1 estado ( ) R x estado , , 2 ( ) R x estado , , 1 ( ) R Y estado , , 3
2 estado ( ) R x estado , , 1 ( ) R x estado , , 2 ( ) R N estado , , 3
3 estado
11 Esta configuracion inoica que la naquina esta en el c:/aoc 3 ,
el contenioo oe la cinta excluyenoo los espacios en blanco} es
Y y la cabeza lectora/escritora esta colocaoa en el espacio en
blanco que aparece oespues oel sinbolo Y.
12 Pooenos escoger un esquena oe cooificacion que asocia secuen-
cias oe cinco ceros y unos a caoa uno oe los sinbolos oe la
oescripcion oe acueroo a una cierta regla, p.j., 00000 pooria
estar asociaoa al sinbolo , 00001 con Y y asi sucesivanente.
Ensayos
TEMAS 22
escribinos una naquina oe 1uring que acepta oos nune-
ros cualesquiera cono entraoa una instancia oel proble-
na, e.g., 3, 7} y proouce su suna en este caso 10}. La
naquina oel ejenplo oaoo anteriornente es un algoritno
para resolver el problena oe reconocer las secuencias oe
a 's y b 's que incluyen un nunero par oe a 's.
Usanoo el hecho oe que esta naquina pooria ser re-
presentaoa por una sucesion finita oe sinbolos, 1uring
paso a oefinir a la conputaoora en una forna que re-
cueroa las afirnaciones autoreferenciales usaoas por
Cooel para nostrar la inconpletituo oe las natenati-
cas. l oefinio a la conputaoora cono una naquina oe
1uring, llanenosla U, cuya entraoa consistia oe una
cooificacion para cualquier naquina oe 1uring, oiga-
nos M, seguioa oe una entraoa para M, a la que lla-
narenos w . La naquina U lee la cooificacion oe la
naquina M y oe su entraoa w y entonces :/nLIa las
acciones que M llevaria a cabo si tuviera a w cono
entraoa. l oio una oescripcion natenatica oe la na-
quina U y la llano la Maquina Universal, nosotros la
llananos la Maquina Universal oe 1uring MU1}.
4. Oue puede hacer l a computadora?
Hasta aqui henos oiscutioo la oefinicion oe conputa-
oora. En esta seccion, hablarenos acerca oe la existen-
cia oe problenas no conputables, nencionarenos un
ejenplo oe un problena no conputable natural y oa-
renos una afirnacion que intente generalizar algunas oe
las propieoaoes y oeterninar el pooer oe la conputaoo-
ra. _Cue es lo que consioeranos cuanoo nos pregunta-
nos acerca oel pooer oe la conputaoora? _Nos
preguntanos lo que es posible conputacionalnente oesoe
el punto oe vista logico? _Deseanos tanbien consioerar
lo que es factible y lo que no lo es?
En justicia, parece que anbos, los aspectos logicos y
los practicos, son inportantes para establecer su pooer.
Nosotros los tratarenos por separaoo.
Las ciencias oe la conputacion estuoian el pooer oe
la conputaoora oesoe el punto oe vista logico en la teo-
ria oe la conputabilioao y oel practico en la teoria oe la
conplejioao conputacional.
^lan 1uring nos nostro que hay problenas que con
respecto a su aparato oe conputo no son conputables,
lo que hizo que el problena oe Hilbert concerniente a la
oecioibilioao oe las natenaticas colapsara por su pro-
pio peso. Las natenaticas son inoecioibles.
Mientras que las proposiciones fornulaoas por Cooel
para obtener sus resultaoos tienen, para algunos una for-
na artificiosa, los problenas no conputables oe 1uring
son nuy naturales.
Para argunentar la no conputabilioao oe problenas
necesitanos un poco oe logica y algebra elenental. Pri-
neranente oiscutirenos la existencia oe tales problenas
y oespues nostrarenos la no oecioibilioao oe un proble-
na natural y practico.
Consioeranos un problena cono una funcion con
ooninio igual a tooas las instancias oe las que el proble-
na consiste y cuyo coooninio contiene las respuestas a
las instancias oel ooninio. La solucion oe un problena
pueoe verse cono el conputo oe esta funcion. Por ejen-
plo, pooenos consioerar el problena oe sunar oos nu-
neros cono una funcion cuyo ooninio incluye tooos los
pares oe nuneros enteros las instancias oel problena} y
un coooninio que contiene tooos los nuneros que resul-
tan oe sunar oos enteros las respuestas}. Una naquina
oe 1uring para resolver este problena recibiria cono en-
traoa oos nuneros enteros una instancia oel problena,
un elenento oel ooninio oe su respectiva funcion} y oa-
ria cono salioa su suna un elenento oel coooninio, la
respuesta corresponoiente a la entraoa oaoa}.
^hora pooenos oar un argunento oe conteo senci-
llo para nostrar la existencia oe funciones no conputa-
bles, i.e., funciones que no pueoen ser calculaoas por
ninguna naquina oe 1uring. El plan es el siguiente. nos
restringinos a una clase oe funciones sinples, las con-
tanos y encontranos que hay nas oe ellas que posi-
bles} naquinas oe 1uring. De aqui se sigue que oeben
_Cue es una conputaoora?
23 TEMAS
existir algunas funciones que no pueoen ser calculaoas
por una naquina oe 1uring, ya que caoa naquina
conputa una funcion.
Fijenonos en las funciones cuyo ooninio son los nu-
neros naturales y cuyo coooninio incluye las palabras :/
c tc. Caoa funcion asocia nuneros pertenecientes a un
conjunto particular oe nuneros naturales con la palabra
:/ y los nuneros restantes que no estan en el conjunto,
con la palabra tc. Por ejenplo, oos funciones en esta clase
son. la funcion que le asocia la palabra :/ a los nuneros
en el conjunto que consta solanente oel 1 y la palabra
no a aquellos en el conjunto oe los nuneros naturales ex-
cepto el 1, y la funcion que le asocia a los elenentos en
el conjunto oe tooos los nuneros inpares la palabra :/ y
a los elenentos restantes, los nuneros pares, la palabra
tc. _Cuantas oe estas funciones hay? Prineranente ob-
servenos que existen tantas cono posibles subconjuntos
oe nuneros naturales, oe los que se sabe que fornan
un conjunto no nunerable.
13
^hora, _cuantas naquinas oe 1uring hay? Ya sabe-
nos que existe una secuencia oe largo finito que oes-
cribe a caoa naquina oe 1uring, entonces consioerenos
sus cooificaciones en hileras oe ceros y unos justo cono
en nuestros oias las conputaooras cooifican su inforna-
cion en sucesiones binarias}. Entonces pooenos inter-
pretar estas secuencias cono nuneros naturales
cooificaoos en binario. Este punto oe vista nos pernite
inferir que hay tantas naquinas oe 1uring cono nune-
ros naturales. un nunero nunerable oe ellas. Clara-
nente no pueoe haber una corresponoencia biyectiva
entre las naquinas oe 1uring y las funciones oescritas
anteriornente, es oecir un apareaniento entre las fun-
ciones y las naquinas oe 1uring que las conputan. Luego
existen algunas funciones que no pueoen ser conputa-
oas por ninguna naquina oe 1uring.
Poorianos pensar que las funciones no conputables
no son oe relevancia practica, pero oespues oe tooo re-
sulta que si. Consioerenos el siguiente problena _a que
funcion pooria corresponoer?}. El jrcDIcna ocI jarc. Daoa
una naquina oe 1uring o un prograna}, llanenosle M,
y una secuencia oe entraoa, llanenosle v, _parara la
naquina en algun nonento oespues oe que le oinos los
oatos oe entraoa v, o pernanecera trabajanoo para sien-
pre en un ciclo infinito}?
En estos tienpos oe las conputaooras onnipresentes,
_que pregunta pooria ser nas natural?
Sienpre que usanos una conputaoora, estanos na-
nejanoo una naquina universal oe 1uring con un progra-
na otra naquina oe 1uring} y un conjunto oe oatos. ^
nosotros no nos gustaria que la MU1 nos nanoara un
nensaje cono |1enora que esperar nucho tienpo por
la respuesta, porque el conputo que estanos sinulanoo
para usteo contiene un ciclo infinito!, pero si nos gusta-
ria uno oel tenor |Los resultaoos estaran listos en 5 ni-
nutos!. Resulta que el problena oel paro no es
conputable. ^ continuacion exponorenos un argunento
que prueba nuestra afirnacion.
14
Estructurarenos la prueba cono sigue. prineranen-
te suponenos que el problena es en realioao conputa-
ble, esto es, que existe una naquina oe 1uring que
conputa su funcion asociaoa, llanenosla L, que sera un
oecioioor . La naquina L cuanoo le oanos una entra-
oa o la cooificacion oe una naquina}, oiganos A, y una
secuencia oe oatos, oiganos v, nos inforna si la naqui-
na A parara cuanoo ternine oe correr su prograna con
entraoa v o no note que los oatos oe entraoa para la
naquina L son oe la forna !A!,v}, oonoe !A! oenota
una cooificacion oe la naquina A}. En segunoo lugar,
usanoo esta suposicion, oerivarenos una contraoiccion que
nos inoicara que nuestra suposicion fue incorrecta, es oecir
que no hay ese oecioioor L para el problena oe paro.
Volverenos a encontrarnos en el proceso para llegar a
11 Recoroenos que hay infinitanente} nuchos nas nuneros rea-
les que nuneros naturales, y que los naturales son nunerables
y los reales no nunerables.
14 Lo que nosotros probanos es que su funcion asociaoa no es con-
putable. Esta es la funcion que asocia a caoa prograna A y a
caoa secuencia oe entraoa para A, oiganos v, con la palabra
:/, si el prograna A eventualnente para cuanoo le oanos v
cono entraoa, o con la palabra tc, si A ejecuta un ciclo infinito
cuanoo recibe la entraoa v.
Ensayos
TEMAS 24
esta contraoiccion con una ioea que nos recoroara a un
argunento oe Cooel, es oecir, otra vez enplearenos la
ioea oe la autoreferencia.
Llevarenos a cabo la segunoa ioea cono sigue. cons-
truirenos una naquina F oe problena} que recibe cono
entraoa una cooificacion oe cualquier M1 naquina oe
1uring}, oiganos A. La naquina F es sinilar a la naqui-
na universal oe 1uring ALT}, ya que nos servira para
sinular la naquina L, cuya existencia se supuso, con oa-
tos que consisten en una oescripcion oe la naquina, !A!,
y la secuencia oe los oatos para ella seran tanbien !A!.
Si la sinulacion oe la naquina L nos oa un :/, la na-
quina F se cicla para sienpre sin prooucir nunca una res-
puesta. Si L nos oa un tc, la naquina se para y nos
entrega un :/. Pooenos resunir la conoucta oe la na-
quina F cono sigue.
recibe cono oatos oe} entraoa a la cooificacion oe
una naquina, oiganos !A!,
obtenenos cono resultaoo un :/ y se para, si el oeci-
oioor L nos oa un tc, i.e., cuanoo L nos inforna que
la naquina A no parara oe hacer los conputos so-
bre una secuencia oe oatos que es una cooificacion
oe A nisna,
entra en un ciclo infinito, si el oecioioor L nos reporta
un :/ cono resultaoo, i.e., cuanoo L nos inforna que
la naquina A parara en algun nonento} oe hacer
conputos sobre la secuencia que es una cooificacion
oe ella nisna.
lgual que con cualquier otra naquina oe 1uring, la
naquina F tiene una representacion en una secuencia oe
largo finito. Consioerenos que pasa cuanoo la naquina
recibe cono entraoa una cooificacion oe si nisna, esto
es, nosotros sustituinos !F! por !A! en la oescripcion pre-
via
15
. ^cerca oe F pooenos oecir ahora lo siguiente.
recibe cono oatos oe entraoa una cooificacion oe la
naquina F, esto es !F!,
nos oa un :/ cono salioa y para, si el oecioioor L nos
reporta cono salioa un tc, i.e., cuanoo L nos infor-
na que la naquina P no parara oe hacer conputos
a partir oe la secuencia oe entraoa que es una cooifi-
cacion oe si nisna,
entra en un ciclo infinito si el oecioioor L nos oa un
si, i.e., L nos oice que la naquina F parara oe hacer
conputos en algun nonento si la entraoa es una co-
oificacion oe si nisna.
Claranente la conoucta oe la naquina F es contra-
oictoria, ya que nos oa un si cono salioa y para, si entra
en un ciclo infinito
1
oe acueroo con el resultaoo oel oe-
cioioor} y |se cicla para sienpre, si para!. En consecuen-
cia, el supuesto oecioioor L no pueoe existir.
17
Este resultaoo obtenioo por 1uring en 1v3 nos oa una
vision panoranica acerca oel pooer oe la conputaoora,
o nejor oicho, oe la oebilioao oe la conputaoora.
18
Es un hecho que la conputaoora no pueoe oecioir si
un conputo oe un prograna proouce una salioa en par-
ticular, o si para un prograna oaoo y una salioa oaoa
hay una entraoa que lo proouzca.
Ceneralnente pooenos oecir que cualquier propie-
oao no trivial oe los progranas son inoecioibles no con-
putables} por un conputaoor.
1v
Concluinos esta seccion replanteanoonos una oe las
preguntas originales. _que es lo que pueoe hacer una
15 No hay naoa en nuestro planteaniento que nos lo inpioa. _No
es cierto?
1 Esto es, la naquina no parara oe hacer conputos.
17 Esta es una aoaptacion oe un argunento estanoar para nostrar
la no oecibilioao oel problena oe paro, vea por ejenplo |v].
18 Cn Conputable Nunbers, vith an application to the Entschei-
oungsproblen, Proc. Lono. Math. Soc. 2} 42 pp 230-25 1v3},
correction ibio. 43, pp 544-54 1v37}. Lo interesante oel caso
es que antes oe que se construyera la prinera conputaoora ya
se habia pensaoo en sus linitaciones, ya que Konrao Zuse cons-
truyo su prinera conputaoora, la Z1, oe 1v3 a 1v38 y la pri-
nera conputaoora hecha en los EU^ se enpezo a construir en
1v38. No sabenos si Zuse estaba al tanto oe los trabajos oe
1uring, lo que si sabenos es que 1uring se intereso en la cons-
truccion oe una conputaoora Proposeo Electronic Calculator,
un original necanografiaoo oe principios oe 1v4 esta en la
oficina Public Recoro Cffice en el archivo DSlR 10/385}.
1v La oefinicion oe propieoao no trivial es tecnica y no anaoe nu-
cho a la conprension oe nuestros argunentos. No estarenos
nuy erraoos si pensanos que el ternino quiere oecir lo que
nuestra intuicion nos sugiere.
_Cue es una conputaoora?
25 TEMAS
conputaoora? ^unque hay nuchos resultaoos en la teoria
oe la conputabilioao y cono verenos en la proxina
seccion} en la teoria oe la conplejioao conputacional
que establecen nuchos hechos particulares a este res-
pecto, quizas la respuesta nas practica esta oaoa por la
tesis Church-1uring. Una conputaoora pueoe llevar a
cabo cualquier proceso que pueoa ser entenoioo cono
necanico.
5. Oue puede hacer
real mente una computadora?
Henos visto en la seccion previa que hay nuchos nas
problenas que soluciones conputacionales y que algu-
nos oe los problenas sin solucion conputacional son oe
inportancia practica. Pero, _que pasa con los problenas
para los cuales hay en principio una solucion algoritni-
ca? _Pueoen ser resueltos en terninos practicos, nas con-
cretanente, pooenos obtener soluciones para tooos los
problenas solubles aun cuanoo inponganos restriccio-
nes oe tienpo y espacio? En priner lugar, tenenos que
oecioir que tipo oe restricciones inponorenos y oespues
establecerenos si hay o no problenas cuyas soluciones
no satisfacen estas restriccciones.
Centrenonos unicanente en el tienpo que una
conputaoora necesita para prooucir la solucion corres-
ponoiente a una instancia generica oel problena. Vaga-
nente tenenos la ioea oe que no pooenos esperar por
la respuesta nas que un lapso oe tienpo igual al prone-
oio oe vioa oe un ser hunano o el tienpo oe vioa co-
rresponoiente a 10 generaciones oe seres hunanos,
cualquiera que sea su ouracion en anos para el lector.
lnoicarenos que hay un nunero infinito oe problenas
solubles que no satisfacen restricciones razonables oe
tienpo y que nuchos oe ellos son oe inportancia practi-
ca, lo que los hace particularnente interesantes.
La teoria oe la conplejioao conputacional intenta cla-
sificar los problenas oe acueroo a que tan caras son
sus soluciones. Hay nuchos tipos oe criterios, pero por
sinplicioao consioerenos unicanente el tienpo. Defini-
renos la viabilioao oe una solucion algoritnica para un
problena con respecto a sus requerinientos oe tienpo
20
cono sigue. oaoa una solucion algoritnica, neoirenos
sus requerinientos oe tienpo en terninos oe cono fun-
cion oe} el nunero oe caracteres que fornan las instan-
cias oel problena. Llanarenos a los requerinientos en
tienpo oe un algoritno su conplejioao oe tienpo. Por
ejenplo, el algoritno acostunbraoo
21
para sunar oos nu-
neros, oiganos n y r, nos tonaria una cantioao propor-
cional al nunero oe oigitos oel nunero nas largo oe los
oaoos en la entraoa
22
. Las unioaoes que usanos para ne-
oir el tienpo pueoen ser cualesquiera, oiganos cualquier
fraccion oe un segunoo, un nanosegunoo, un nicosegunoo
o un nilisegunoo, etc. Lo que es relevante es la caracte-
rizacion oe los problenas con respecto a los requerinien-
tos oe tienpo necesarios para prooucir las soluciones.
Se pueoe nostrar que para casi cualquier conpleji-
oao oe tienpo que pooanos inaginar hay problenas cu-
yas soluciones algoritnicas tienen precisanente esos
requerinientos oe tienpo Balcazar, Diaz y Cabarro
1v88, Hopcroft y Ullnan 1v7v}.
La tabla 2, que tonanos oe Carey y Johnson 1v78},
nos oa una ioea oe la inportancia oe la conplejioao oe
tienpo oe los algoritnos. Esta tabla nos nuestra, para oi-
versas conplejioaoes oe tienpo enlistaoas en la prine-
ra colunna}, la cantioao oe tienpo que tenorianos que
esperar para recibir los oatos oe salioa oe un conputo
que tuviera secuencias oe entraoa oe oiferentes tananos
las enlistaoas en el priner renglon}. Pooenos suponer
que los tienpos oe espera se consioeran con respecto a
la conputaoora nas rapioa que, segun los pronosticos,
tenorenos en el ano 2000.
Parece obvio que un problena cuya nejor solucion
algoritnica tiene una conplejioao en el tienpo oe o na-
20 Recoroenos que una solucion algoritnica para un problena es
una naquina oe 1uring que acepta cono entraoa las instancias
oel problena y sus oatos oe salioa son las respectivas respuestas
a las instancias.
21 |El que usanos para sunar oos nuneros sin usar la caculaoora!
22 En este caso particular, ya que el tienpo necesitaoo por el algo-
ritno es proporcional a la longituo oel nunero nas largo, oeci-
nos que su conplejioao en el tienpo es ..t, oonoe . es una
constante y t es la longituo oel nunero oe entraoa nas largo.
Ensayos
TEMAS 2
yor no pueoe ser resuelto en la practica, a pesar oe ser
soluble
23
.
Nuestros lectores seguranente se estan planteanoo la
cuestion oe si hay problenas solubles que aparezcan en
la practica oe una nanera natural y cuya solucion resul-
te ser intratable. La solucion es :/, al nenos en lo que
respecta a nuestro conociniento oe las ciencias oe la con-
putacion y las natenaticas. Sin enbargo, notese que al-
gunos problenas, aunque no se ha probaoo tooavia
natenaticanente que son intratables, son consioeraoos
por los investigaoores en el area cono tales, pues se con-
sioera que hay suficiente evioencia para eso Carey y
Johnson 1v7v, Balcazar, Diaz y Cabarro 1v88}.
1^BL^ 2
1^BL^ DE CCMP^R^ClCN DE LCS 1lEMPCS DE ESPER^ P^R^ ^LCUN^S
CCMPLEJlD^DES DE 1lEMPC D^D^S CCN1R^ 1^M^NCS DE EN1R^D^S
Henos nencionaoo que los problenas nas interesan-
tes resultan ser problenas intratables. _Cuales oe esos
problenas? No intentarenos enunerarlos tooos, solo oi-
renos que ya conocenos algunos niles oe ellos Carey
y Johnson 1v7v}. Hablarenos en esta ocasion sobre tres
oe ellos.
El prinero oe ellos es el jrcDIcna oc Ia /aL/cIcg/a,
este problena consiste en la oeterninacion oel va-
lor oe veroao oe una sentencia oaoa con respecto
a un sistena fornal al nenos lo suficientenente po-
oeroso cono para pooer incluir el calculo proposi-
cional.
24
El hecho oe que este problena sea intratable
es lo que hace que los natenaticos tengan trabajo,
porque la nayoria oe los sistenas que los natena-
ticos usan son al nenos tan pooerosos cono el cal-
culo proposicional.
Ctro problena es el que tiene que ver con la calen-
oarizacion oe tareas, por ejenplo, el problena oe la
calenoarizacion oe los exanenes finales en una uni-
versioao oaoa tal que sus estuoiantes no tengan que
presentar nas oe un exanen oiario oentro oe un pe-
riooo oe exanenes ninino o con otra conoicion pa-
recioa}. ^un no se sabe si pueoe ser resuelto por algun
algoritno con una conplejioao oe tienpo nenor que
la nuy buroa oe 2 pasos.
25
Ctro problena practico es el relativo a la eficiencia
oe la ioa al supernercaoo. suponganos que cuanoo
vanos al supernercaoo oe conpras oeseanos naxi-
nizar la utilioao oe las cosas que vanos a conprar
con respecto al oinero, el espacio y cualquier otra can-
tioao oe restricciones razonables y que tanto estas res-
tricciones cono la utilioao pueoen ser expresaoa por
neoio oe oesigualoaoes lineales la clase nas sinple
oe oesigualoaoes} o ecuaciones. Este problena es lla-
naoo por los tecnicos un problena oe jrcgrana./ct
I/tcaI ct/cra, el cual tanbien pertenece a la catego-
ria oe los oos previos.
En general, si inaginanos un problena interesante,
nuy probablenente sera intratable. Uno oe los canpos
oe la conputacion, la inteligencia artificial, se oetuvo fren-
te a la barrera oe la intratabilioao. Mientras que nuchas
teorias se poorian usar en principio para la creacion oe
una inteligencia artificial, las nas proneteooras han re-
23 Note que estanos usanoo la palabra soluble en el sentioo tec-
nico oe las natenaticas. En este caso querenos oecir que la
solucion existe pero que enplearenos oenasiaoo tienpo en cal-
cularla.
Tamao n dela entrada
Complejidad
en el tiempo
10 20 30 40 50 60
n .00001
segundo
.00002
segundos
.00003
segundos
.00004
segundos
.00005
segundos
.00006
segundos
2
n
.0001
segundo
.0004
segundos
.0009
segundos
.0016
segundos
.0025
segundos
.0036
segundos
3
n
.001
segundo
.008
segundos
.027
segundos
.064
segundos
.125
segundos
.216
segundos
5
n
.01
segundo
3.2
segundos
24.3
segundos
1.7
minutos
5.2
minutos
13.0
segundos
n
2
.001
segundo
1.0
segundo
17.9
minutos
12.7
das
35.7
aos
366
siglos
n
3
.059
segundo
58
minutos
6.5
aos
3855
siglos
2 10
8

siglos
13 10
13
.
siglos
24 Recoroenos que si la potencia oel sistena fornal es tan granoe
que la aritnetica pueoe ser expresaoa en el, este problena re-
sulta ser inoecioible, en cuyo caso no habria un algoritno para
solucionarlo.
25 Por eso no es oe sorprenoerse que haya tantos problenas con
esto en MUN.
_Cue es una conputaoora?
27 TEMAS
sultaoo ser intratables o, peor aun, no oecioibles. Sin en-
bargo, tenenos que oecir que hay nuevos enfoques en
la inteligencia artificial que quizas oeba ser llanaoa nas
propianente vioa artificial} que poorian horaoar la ba-
rrera oe la intratabilioao.
Mencionarenos aoenas que los problenas intratables
pernanecen intratables incluso si los intentanos resolver
con una conputaoora con cualquier nunero razonable
pero variable oe elenentos oe conputacion una conpu-
taoora paralela} que varien con respecto al tanano oe la
entraoa, i.e., al tanano oe las instancias oel problena a
resolver.
Henos oiscutioo ya oiferentes aspectos oel pooer oe
la conputaoora. Henos visto sus serias linitaciones logi-
cas y practicas. Sin enbargo para nuchos oe nosotros
es un artefacto extrenaoanente util y las inplicaciones
oe este hecho poorian ser el tena oe otro articulo.
Henos afirnaoo que cualquier conputaoora es la
naterializacion oe una Maquina Universal oe 1uring. En
la siguiente seccion oarenos una ioea oe cono este con-
cepto abstracto pueoe ser llevaoo a la practica por ne-
oio oe conponentes electronicos.
6. Ll aparato l l amado computadora
Si hay un aparato concreto} capaz oe hacer lo que
una Maquina Universal oe 1uring MU1} hace... eso es
una conputaoora. Recoroenos que la MU1 sinula a otras
naquinas para hacer conputos a partir oe los oatos oe
entraoa. Para lograrlo, prinero fijenos un esquena oe
cooificacion que usarenos para especificar las entraoas
oe la MU1 y sus salioas. Sin peroioa oe generalioao, po-
oenos asunir que tal esquena oe cooificacion proouce
secuencias oe ceros y unos. ^si, pooenos ver que la ta-
rea oe la MU1 es calcular una funcion con un ooninio y
un coooninio que incluye sucesiones oe ceros y unos. ^
esta clase oe funciones las llananos funciones boolea-
nas, porque pueoen ser expresaoas usanoo variables
booleanas variables que solo pueoen tonar oos valores,
a saber 0 y 1} y las tres operaciones bien conocioas oe
CR o}, ^ND y} y NC1 no}. Usanoo esta terninologia
pooenos oecir que la funcion oe la MU1 es la oe calcu-
lar funciones booleanas. El proxino paso en la construc-
cion oe un aparato que funcione cono una naquina MU1
abstracta es asunir el hecho oe que las funciones boolea-
nas pueoen ser consioeraoas cono un nooelo abstracto
oe un circuito con conpuertas CR, ^ND y NC1. Las con-
puertas son aparatos fisicos hechos oe transistores que si-
nulan las corresponoientes operaciones booleanas. Esto
es un nooelo real nuy sinplificaoo oe la MU1, ya que
cualquier circuito tiene un nunero fijo oe entraoas y cono
tal solo pueoe procesar entraoas oe cierta longituo, nien-
tras que la longituo oe las entraoas oe la MU1 no esta
acotaoa, pero es sienpre finita. Los ingenieros y cientifi-
cos oe la conputacion han encontraoo algunas fornas oe
soslayar este problena utilizanoo lo que popularnente se
conoce cono nenoria. Los oetalles oe la construccion
oe una conputaoora son nucho nas conplicaoos que
esto y van nas alla oel objetivo oe nuestra oiscusion. Uni-
canente nostrarenos cono se resuelve un pequeno pro-
blena que involucra funciones booleanas para transnitir
un poco oel sabor oe este proceoiniento. Suponganos
que oeseanos construir un circuito que sinule la asocia-
cion entre entraoas y salioas oaoa en la tabla 3.
El priner paso es separar la infornacion oaoa en la
tabla 3 en oos tablas, caoa una oe ellas relaciona a oos
entraoas con una salioa cono se nuestra en las tablas 4
y 5. Siguienoo un sencillo proceoiniento pooenos extraer
las expresiones booleanas que oescriben las relaciones
nostraoas en las tablas 4 y 5. Estas expresiones estan oa-
oas a continuacion.
( ) ( ) ( ) ( ) y NOT AND x OR y AND x NOT s = y
( ) y AND x c =
1^BL^ 3. ^SCCl^ClCN DE DCS EN1R^D^S CCN DCS S^LlD^S
Entradas Salidas
x
y
s c
0 0 0 0
0 1 1 0
1 0 1 0
1 1 0 1
Ensayos
TEMAS 28
1^BL^ 4. ^SCCl^ClCN DE DCS EN1R^D^S ^ L^ PRlMER^ S^LlD^
1^BL^ 5. ^SCCl^ClCN DE DCS EN1R^D^S ^ L^ SECUND^ S^LlD^
^oenas, siguienoo un proceoiniento sencillo pooenos
construir el circuito para conputar la relacion oaoa en la
tabla 3 a partir oe estas oos expresiones. El circuito re-
sultante es nostraoo en la figura 1.
FlCUR^1
ClRCUl1C P^R^ lMPLEMEN1^R L^ SUM^ DE DCS DlCl1CS BlN^RlCS
Si niranos con atencion encontranos que el circuito
nostraoo en la figura 1 sinula la suna oe oos oigitos bi-
narios, la suna esta oaoa por : y lo que llevanos por ..
Entradas Salida
x
y
s
0 0 0
0 1 1
1 0 1
1 1 0
Entradas Salida
x
y
c
0 0 0
0 1 0
1 0 0
1 1 1
La construccion concreta oe la MU1
2
es nucho nas
conpleja pero los principios seguioo por los proouctores
oe harovare son sinilares.
7. Software.
l a especi fi caci n de l os al gori tmos
Pooenos pensar que la conputaoora cono objeto fi-
sico, el harovare, es un nooelo oe la Maquina Univer-
sal oe 1uring y que los oatos oe entraoa oe esta naquina
son pares oe la forna !M!, v}, oonoe !M! es la cooifica-
cion oe una Maquina oe 1uring que para}, un algorit-
no, y es la entraoa para ese algoritno. Los algoritnos
pueoen ser largos y conplicaoos y su cooificacion pueoe
requerir oe un proceso nuy oetallaoo y conplicaoo. Las
prineras cooificaciones para algoritnos que se usaron en
la oecaoa oe 1v50 eran nuy prinitivas, reflejaban las
operaciones basicas oe la conputaoora nuy cuioaoosa-
nente. Cuanoo cooificaciones nuevas y nas expresivas
fueron oisenaoas, las especificaciones oe los algoritnos
se volvieron nas sencillas. Estos esquenas oe cooifica-
cion nas pooerosos son llanaoos lenguajes oe progra-
nacion}. ^si, usanos lenguajes oe progranacion para
cooificar Maquinas oe 1uring.
1ooos los lenguajes oe progranacion perniten la co-
oificacion oe los nisnos algoritnos, la razon oe la exis-
tencia oe tantos oe ellos son las ventajas que ofrecen para
cooificar oiferentes tipos oe algoritnos. Hasta ahora nin-
gun lenguaje oe progranacion ha pooioo ser oefinioo
para que pernita la cooificacion oe tooos los algoritnos
con la nisna sinplicioao, algo asi cono un lenguaje oe
progranacion universal sencillo}. En consecuencia, hay
lenguajes oe progranacion que facilitan el proceso oe
cooificar algoritnos para el procesaniento oe textos, nien-
tras que otros facilitan la escritura oe progranas para cal-
culos nunericos. Puesto que hay nuchos lenguajes oe
( ) NOT x ANDy OR N
s
( ) x ANDNOT y
( ) NOT x ANDy
( ) NOT x
( ) NOT y
x ANDy
c
y
x
x AL j
ACTx]
ACTX] AL j
x AL ACT j]
ACT j]
j
x
.
:
ACTx] AL j CR ACTj] AL x
2 Las conputaooras actuales tc corresponoen a una MU1, sino a
naquinas R^M universales. La naquina R^M es otro nooelo oe
conputacion y cono tal no es nas pooeroso que una MU1. Este
nooelo es el que se usa actualnente en las conputaooras por-
que su operacion es nas eficiente que la oe la MU1. No se usa
para el analisis oe conputabilioao y conplejioao porque su oe-
finicion natenatica no es tan sinple y elegante cono la oe la
naquina oe 1uring.
_Cue es una conputaoora?
2v TEMAS
progranacion y el harovare oe la naquina esta oaoo,
_cono oecooifica una naquina las cooificaciones en los
oiferentes lenguajes oe progranacion oe, oiganos, un
algoritno oaoo?
Para no tener que construir una conputaoora para
caoa lenguaje oe progranacion, lo que seria una solu-
cion particularnente costosa y oificil, se crea un progra-
na que traouce la cooificacion oe un algoritno que ya
esta cooificaoo con un esquena oe cooificacion en una
cooificacion equivalente que la conputaoora pueoa oe-
cooificar. Por lo tanto, hay un prograna para caoa len-
guaje oe progranacion esquena oe cooificacion}. Estos
progranas son llanaoos conpilaoores y tienen, o oebe-
rian tener, la propieoao oe que la traouccion jrc:cr+a cI
:/gt///.aoc, i.e., lo que significa el prograna original es
lo que oebe significar el prograna en la cooificacion que
el harovare pueoe oecooificar. Esta clase oe solucion nos
lleva a plantearnos la pregunta. _que significa jrc:cr+a-
./ct ocI :/gt///.aoc7
La ciencia oe la conputacion ha tenioo que crear for-
nalisnos para especificar el significaoo oe las oraciones
en un lenguaje. Hay nuchos fornalisnos pero su oiscu-
sion cae fuera oel anbito oe este trabajo.
Pooenos entenoer la jrc:cr+a./ct ocI :/gt///.aoc con
respecto a oos cooificaciones oe un algoritno. oos cooifi-
caciones oe un algoritno tienen el nisno significaoo si,
oaoa una entraoa arbitraria, las salioas prooucioas por los
oos algoritnos son las nisnas cuanoo las interpretanos
oe acueroo al significaoo oe sus respectivos lenguajes.
El significaoo oe una oracion en un lenguaje pueoe
ser oaoo oe nuchas fornas, una oe ellas es oescribir la
conoucta oe la naquina subyacente
27
cuanoo se le pre-
senta una oracion en ese lenguaje. Cuanoo oescribinos
el significaoo oe las oraciones en un lenguaje en terni-
nos oe la conoucta oe su naquina subyacente oecinos
que oanos la senantica operacional oel lenguaje. Cui-
zas la senantica operacional oe un lenguaje es la nane-
ra nas intuitiva oe especificar el significaoo oe las sen-
tencias en un lenguaje oe progranacion, pero tal vez no
es la nas conveniente para tooos los casos.
Una solucion alternativa a la traoucccion entre cooifi-
caciones oiferentes es inaginar que hay una naquina que
pueoe oecooificar las oraciones en un lenguaje particu-
lar, oiganos el lenguaje Schene, y que los algoritnos es-
tan escritos para ser oecooificaoos y llevaoos a cabo por
la naquina oel nisno nonbre. la naquina virtual oe
Schene. Ya que las naquinas virtuales no existen enton-
ces se escribe un prograna para sinular esa naquina
virtual en un lenguaje oe progranacion que pueoe ser
oecooificaoo y ejecutaoo por el harovare existente.
Cuanoo nosotros oeseanos correr un prograna es-
crito en Schene, solicitanos al harovare que ejecute el
sinulaoor que ejecuta sinula} progranas naquinas} es-
critas en Schene.
Cuanoo enpleanos un procesaoor oe palabras un
prograna, una naquina oe 1uring} le inoicanos a la Ma-
quina Universal oe 1uring el harovare} que sinule el pro-
cesaoor oe palabras. El texto que nosotros escribinos es
la entraoa al procesaoor oe palabras y el oocunento fi-
nal es la salioa oe la sinulacion. El oesarrollo oe algorit-
nos y sus cooificaciones es una tarea conpleja y es la
principal ocupacion oe los progranaoores.
Los usuarios oe conputaooras no necesitan saber
cono progranar porque ellos generalnente usan proouc-
tos oesarrollaoos por progranaoores. el softvare. Fre-
cuentenente los usuarios solanente necesitan
faniliarizarse con proouctos oe softvare particulares Ma-
quinas oe 1uring}, aprenoer cono peoirle a la MU1 que
sinule el prooucto oe softvare que quieren usar y, final-
nente, proveer los oatos para la sinulacion.
8. Concl usi ones
Henos oiscutioo la oefinicion, construccion y la capa-
cioao oe la conputaoora. El lector pueoe tener la inpre-
27 lnplicito en esta afirnacion esta el hecho oe que los lenguajes
oe conputaoora tienen naquinas que llevan a cabo las senten-
cias escritas en esos lenguajes. Estas naquinas pueoen no existir
en la realioao en cuyo caso son llanaoas naquinas virtuales.
Ensayos
TEMAS 30
sion oe que el tono general oe nuestro oiscurso fue esta-
blecer las linitaciones oe la conputaoora. Ninguna afir-
nacion fue hecha acerca oe lo que pueoe hacer, aparte
oe la afirnacion general conocioa cono la 1esis Church-
1uring. Creenos que la capacioao oe la conputaoora es
suficiente para nooificar la nanera cono nuestra cultu-
ra naneja los problenas. Problenas nonetarios, oones-
ticos, cientificos y acaoenicos se resuelven ahora oe una
nanera oiferente usanoo la conputaoora. En un articulo
posterior nos referirenos a algunas oe las ioeas que es-
tan revolucionanoo la nanera en la que entenoenos a
la naturaleza y a nosotros nisnos. Nosotros sostenenos
que la influencia oe la conputaoora es tan granoe que
esta causanoo un canbio oe paraoigna en la ciencia y
en un futuro cercano en las hunanioaoes.
El lector pueoe notar que hay nuy poca o ninguna
nencion oe la tecnologia oe la conputacion. Fue una
onision oeliberaoa. Creenos que a pesar oe la gran in-
ventiva, la astuta ingeniosioao y las granoes inversiones
nonetarias oe los fabricantes oe harovare, no hay nin-
guna oiferencia sustancial o funoanental entre el priner
conputaoor que fue construioo y los ultinos nooelos. El
lector interesaoo pueoe consultar cualquier libro oe oi-
vulgacion que oescriba el funcionaniento interno oe la
conputaoora
B^LC^Z^R, JCS LUlS, JCSEP Dl^Z Y JC^CUlN C^B^RRC
1v88 6/rL./LraI CcnjIcx//j /. Springer Verlag,.
D^VKlNS, RlCH^RD
1v8 TIc EI/to Wa/.Inacr. WIj /Ic E+/oct.c c/ E+c-
IL//ct Rc+caI: a Lt/+cr:c v//IcL/ Lc:/gt. Norton.
DENNE1, D^NlEL C.
1vv Larv/t: LatgcrcL: /oca. E+cIL//ct ato /Ic Ac-
at/tg: c/ Z//c.1ouchstone Books.
C^REY, MlCH^EL R. Y D^VlD S.
1v7v Johnson. CcnjL/cr: ato /t/ra./aD/I//j. CL/oc /c
/Ic TIccrj c/ AF-.cnjIc/ctc::. V. H. Freenan
ano Co., San Francisco.
HCDCES, ^NDREV
1v83. Iat TLr/tg. TIc Et/gna. Sinon ano Schuster.
HCFS1^D1ER, DCUCL^S
1v80 CcocI, E:.Icr Ea.I . t E/crtaI CcIoct Era/o.
Vintage.
Bi bl i ograf i a
HCFS1^D1ER, DCUCL^S
1v82 1r. Mario ^rnaloo Usabiaga Branoizzi.}. CcocI,
E:.Icr Ea.I. Lta E/crta Trctza Lcraoa. Conacyt.
HCPCRCF1, JCHN E. Y JEFFREY ULLM^N.
1v7v /t/rcoL.//ct /c L/cna/a TIccrj, ZatgLagc: ato
CcnjL/a//ct:. ^ooison-Vesley.
CHRlS1CS H.
1vv4 Papanoinitriou CcnjL/a//ctaI CcnjIcx//j. ^ooi-
son-Vesley.
SlPSER, MlCH^EL
1vv /t/rcoL.//ct /c /Ic TIccrj c/ CcnjL/a//ct. PVS
Publishing Conpany,
VlLLl^MS, MlCH^EL R.
1v85 //:/crj c/ CcnjL//tg Tc.ItcIcgj. Prentice Hall.
Una excelente pagina en la reo para conocer nas acer-
ca oe ^lan 1uring es.
vvv.turing.org.uk/turing/scrapbook/
T