{· ~····· ...

¡.,

i/aiiúccidn ~de · . . . .... ·

IRimE·''I'tJLLI DE FIRtyfANl
.. -·· LA INTELIGENCIA ARTIFICIAL
· revisada por ,
PRBSENTAéiÓN PINERO por
. ·'·

JOHN HAUGELAND
·'

. '

~ ...

.'· .·~· ··

·· ·.· ..

; ·,

,~·~:· ;:." ,: :.:.: .:'·:••Y.k·f!,~

1
" 1
 . 'T
·: ,
LA SAGA DE LA MENTE MODERNA
48

.---------~---~- -- 2. LOS SISTEMAS FORMALES AUTOMÁTICOS

Recuadro S ·
EL ESCEPTICISMO SEMÁNTICO

JUEGOS FORMALES
, . d, titulada "Sobre el escepti- .,
E~ una sección d€ los Trata o.sd " Hume describe la tea-
A fines de nuestro siglo resulta .un poco d.ifícil tomar en serío la "pai:a-
cisma en relación con lo.~ Je~~~ ~~i~tencia"' según la cual doja de la razón mecánica''. Por supuesto (insistimos impacientes) que
ría que él llama. de la 1 o b'etos qu_e (supuestamente) re- pueden existir máquinas que razonan -muchos de nosotros las lleva-
nut:stras percepCl~~e~~~ ~~s~i~tas·. Las percepciones. son fu- mos en el bolsillo. En filosofía, siri embargo, nada es tap traicionetci
p resentan, son entl a t l~ientras que los objetos se como lo "obvio". Aunque sea cierto (como puede ser) que .la paradoja
gaces y d ependen de naso ros, ternos· más aun, , segu'n .ca-
esté ahora resuelta, tenemos que ver cómo se da exactamente la solu-·
duraderos Y ex
supom:. que son . usan las percepcwnes _q ue, a su
' ·
ción; tenemos que entender muy bien qué nuevas ideas y descubrimien-
. be -suponer, los objetos e~ b rgo Hume (como deben tos pudieron abrir finalmente el camino en el cual Hobbes., Descartes
ellos Stn em a ' ás
vez, se parecen a.. . ue todas esas cosas no son m. y Hume (para no hablar ~e 1o,s ps,icólogos introspectivos, los psicoana-
- haber- se- da~o . cu~nt,?-) cree ~Ú~ traba]~ ~'ólo c.q~ per.cep~10- lista~ y los conduciistas) se habían perdído. En. otras palabras, debe-
- ·-que. topteFil!\S·\ ~uestra. m~ •r ó . J;amás p.ingup.aexpenen- mos' ..entender , en té~;min,Os fund~unentales· qué es r.ealmente una
- ~.. ,s'~es deCir,, . nasot"OS no tenemosa···,~ - . ·--dt"e' ntemente
•,e ' . .. ·'
. . de. .las ' '
; ~ne ,. : computadora. Los conéeptcis que se ,incluyen no son particularmente p\, ·,
" • 1, .-
. " 1 . b"etos, lll, «;!ge:q _ . . . . . . - -
. '"Cl·a ,!~du:ec~::J: ~·· ,de... os .Q.l.J . t 'n' el: a de percepcwn.e s nQ po
j

'· • ·• · · -1 ' a ex1s e ·· · · · · ·dlfícÚes; . aQ~quetampqcÓ muy, obvios. : · •. _. ·. _ . ·

. . . ·.: per~epciones. A:~teq;l~~·' . . núnte 'q~~ ·exista aJguri.a o~r-~- co- , Unacomp~tadora es ppsistemaformal aut01nático interpretado. Ex-
.· . -drí~-jf/.~-~s.: irp.p\w~r. og~.ca ," -' or lo t~ú~t<;>,_ ·P<? p~eden.ser. plicar el sig~jficado de esta d~finjción nos H~rará dos C;lpftulos. Más ..
.· E , b 1 e:tos externo!? ~~ P . ,. .. . . . ;. .. -· . ·,. -_ ,-,:
-~B-~~1.'"'"· .. ··y· : ~ ·s~: ' ?t()s .~:!Q ? . ''ae nuestra jmagi~a~w:p.. '·. '< . .· . - ~sp~~í,fica.~.YQ~r. ,éste é](plic:~r~.ctué es 1,1nsiste111a formal ~uto~ático y
. ..
· ·•r ·ma's · '.... ·"· s . .. ' ' h·1stona··
. ~ queHI<:;Cl~H1~. ' ·, ' · · ·· m
' u' y cl·n · a· e :mgemosa ,so .
~o · ·· · : ' ·1 el ~jgi.li~nte . cómo interpre~a.~lo, _que ~s cuando interyienen el significa-
~ ', . _- ,, , :Hume :no~ ..~~ 1~t;l - ~na. · . ·:~~ió~'·'nós h~éé eso; pOJ: ~ue a . dqY ,lé;l-i'a~ion.alidad. Mientr,as ~l¡l;nto, ¡:mtes de pode.r. h~blar de la 1:\Uto-
.. : , : bre .p or qué .n,uestra ¡ma_gl_n . . t 'ble y. p'or 'qué los hlo~ofos
: ., ' . es tan ¡rr:esls 1 1 p ue- matiZ<lcióQ haymucho que decir ac.erca de los antiguos sistemas. formales
' , confuswn·mlsma d d llegar a aclarar o. er~ q ''rria~\:i~l~s". · · .. ~-- · ..
ran zas e po er · · · ··a · , H me •.de
·n o tienen espe . - ' 1 ' ' ropia teoría· e u ._ UnsistertJaformal escomo u~~nel cual ~ElR':!!~~J~ pi~~ ·
·da el hecho,:de ac~~rd~ c~~l ~~objetos no ·mentale~ es m- zas de acuerdo con ciertas reglas, con el fin de ver qué configuraciones
q ue la repre~entapon ~e . 1 carácter significativo del. .;....... ..;,~;....-~~...; '(---;.,:_.;.-.: - -· ...... ~_,,.~- ~~~-.;., ...: ~.~-,:-·- ..,~ ---··· - .. ~ . --·-·-. __ .. ........:' __ •• - .••, _____.... ~·-:·· · ...• - --.... -•-1'- ..,., ... _• ., .. - ~-- · • • .•,, ' . . - ·

se pueden obtener. De hecho, muchos delos juegos que conocemos-co-

.. .. "

caneeb 1"bl.e.·- B,o r eso ' -mientras .. 1 f 0 ndo . . . . do. reyre

e " un'-"contenl r. sen-
·. pensam1:ento 1nc · ·luya• en e · ' · · · , · ·' · " · tr· as ~éfi-ez'Jásdamas,las d(lmas: ~hill(l,S, el g(). ~- ~1 gato~ son ,si~­
·' . - · · . - lugar
. - .. para · · ella ·· Y·.asr . ' m1en
. : .plemente sistérriá~ fqrmales. ·Otros.jyegos, en ~a,mb1o. -como las cant
, tacional", Hurp.e .~~.. tl~n~ . ;· · b· a~'. 1' ·Cóm'ó 'pue'do ·s aber
-,d. e oe~? cartes · c. de'respon · · -·· der: a ·la •. cas,Japulga, ·el qillar: .y d . béisbol:-:: _no· son formales-en absoluto (en
,el· escéptico.
· · · . .. - ,.dpregunta
H · · \n\Ht' e_i~(;!~tido :·q~e ·l~ ~(!nws . cJ.a<:lo). 1 ¿(Juál es la d~f~ren~ia? Todoslos jue-
· , '>" 1 scéptlco. e , ume · · ,.. · · - · ner lo
·lo -que. se. :··;e : be ~ . ca'· " :Como .púeáo : s_iquier~, sup~ .. . ' go~formale.s ~ien~11Jr~s c~p:~:c~erfstiFas bás~cá~;. (que no tieqen los de-
. 'regúhta.:Il1a,s; asl . c.,·.' .. '. .. 1:'•'· ,. · . : ·;·· t· ,. . . •
;;.:·.~u.e; 5tipqn,~q;(~'. ' · · ·. · -::.. ,.~, . -,· _ ··:- ·'· · á.' . · . _' o~): son.'J~~go_s :Cri:' Ios cu~~~~-~~ -' 'rnanipt1lan e]emen,tos'', .son
m?Iii
._. :di~!t~I.e ':' y._.tien(!~ u.~~ · '~./~~Jfad~: juegO.'', . Tenemos que
veraora .lo que s1gmf1ca eso. . . .··. .· · . . .. , . ·. . ..
.· ·' .Lbs:·:eteln(/ntos ~~ ~IJ· j~·~g'o. fo.~m~I s.on justamente la~. ~ '.piezas'' ('.'mar-
• ." ,-,- ."·'· e_' • •·-- .·: ' -• ~ - •-.' ' '. • ... - • •- ••• . .. ' ' , . •

Los juegos de.cartas .y m~cho~juegos de tablero (como backgammon,letras y monopo• .

.
1

liq){ql.le incluyen urt elemento aleatoricí'(barajar, robar, tirar dados); _proba.blemente están con,
s¡'derados' rnás,' bíen comó juegOs formales con una ''entrada'' extra; pero, para los-propósitos
presentes~ es una complicación i¡ue sólo ¡:iuecte distraer y que•,podemos ignorar. ·
 SISTEMAS FORMALES A~TOMÁTICOS JUEGOS FORMALES 51
so
cadores", "contadores", o lo que sea) con. las que se juega el juego. Las posiciones cambianmediante (y sólo mediante) movimientosvá-
Por ejemplo, las piezas, las fichas y las piedrecitas son los _elementos . /idos'. ~s decir, mediante las mani pu~~'::~~!l:!Q~_ gJJt;!_~~~
con los que se juega el~-d-rez;~ s damas y el go. Estos elementos son, permlttdas por las regllls. Éstas dependen, en cada caso, de la posición
. .....
· ~-~---- ·· -·-- ~- ~
en general, pequeños -'bjetos físic fácilmente manejables, que se p~e­ que ocupa el elemento, y de nada más. Por eso, un movimiento que
den agarrar y mover con os e os; pero los elementos fOrmales no tie- · ' es v~lido. en una posición puede no serlo en otra; pero si es válido en
neri por qué ser siempre así. Tan es cierto, que los_elemento~ ~el gato , cierta posición, entonces lo será siempre que se dé esa misma posición.
son casisiempre una O y una X escritas con una ttza o unlap1z; Y en ., E~:tí · o punto se refuerza diciendo que los sistemas formales son
muchos juegos ele~trónicos los elementos son en realidad el enéendido
de interruptores y ciertos modelos de luces de colores.
6'utónomo ; el "mundo exterior" (cualquier cosa que no tenga nada
que on la posición en juego) carece por completo de importancia. A,¡,_,,, ,. . ·1 ! :): ·_,\ ,•]
•
-· Manipular elementos significa lina 'o más de las siguientes opera- Por ejemplo, en un juego de ajedrez como tal, es completamente indi- ··:&(' •.:
·r·: (':' ,.

ciOnes: .. _ __ .__. _. . . . __ . ferente que las piezas hayan sido robadas, O · que el edificio se esté in-
J:. cambiarlos de sitió'(pot ejemplo, moverlos en un:tablero o en un
campO: de juego); -
2. ·alterarlos(o su_stituirlcis por otros);
...
cendiando·, o.que 'el destinO de las naciones dependa de lo que tarde el
juego -los mismos movimientos siguen siendo válidos en las mismas
posiciones. Aunque los jugadores· y los espectadores tengan los intere~
•
3. afiadir otr'os nüevos a la posiCión; Y1o ses más diversos, lo único que interesa al juego, como tal, es Ú}posi-
4; 'quitar':algUrios. · ·. · ·.·. · . · _· . ..· . ción de las piezas y las posibles después. 3
En el ajedrez y en·las damas, por ejemplo, lo más frecuente es e~ . Una consec · decisiva de la autonomía es la poca importancia
. dÜnbiO 'd e·i }Ugar ' dtfli{s' piezas / á veC'e~ _Se quitan(CCHllen)_Yde _vez .e0: del-aspecto sigriÍficativ . Al ·concentrarnos. hasta ahora en :los juegos · \.
· _.• cüihrdo ·c~fubian ~(aift}'ehd~ri);pero :ppriéas~ ~~ _añacte~nph~s.:~riel go; _herrws aplaza o. mente tualquier.pregunta sobré si los elementos
.·:.eid:á:mbio:;· cadajugl:fda cc)nsiste ·enañadir una fnievaftchaen el table" formales tienen!sigriificaclos. Pero ho es:necesario tener una bola de cris- -.
•f'il")r:; ;ae··.vei;eríctíarido', qtiitii~ 'álguh~s; ._pé'r6,: u~a: vez que !a_fiC_ha~st~~ ­ tal;para• ver qUe estás 'cuestiones ya estári.llegando (en el capítulo si~ . ·: ~
; en el Übkro n6 ·se mueve jamás; 1hi' cambia·: Desde luego , qu~ ·escqb1r
' lii1a o ó una':x~·i(fmbv'ei uh''lntert'UpÚ)f pá'ra' ~n'é:erider ó apágar'hices •. ~~i~~t~,!aa~~~:~:d:~i~s;~~tra~~r~tieo~e~~~:r~=c~;~i~~j s::~~~~~~~~~ ~ ~
· ·!Jileaeil"s~Fiam6reilmaiii1íúlado~es·~~ ,em,?1:~-~t.9sL depehd}~ndo·de_l''ju~-- ­ ~ión está relacionadacon el .'~,mi.indo · exterior''. _Lo podemos ver con ..
~Qi;:(~ltrrie~H??~-~s' c9~~eni~nte ~sa_r ~~ .~étTiri? "!overp~~a, _c·~~~q~~:r tt- un;ejemploü.n poco imaginari6 : ·Su¡kmgéil:nos un juego en el cuál la si-
.. po de mampulación de los·elementos, no ~019 par~ cam\)1? de pos1~1~0,· )_ gulentehilera de le.~ras sea parte 'de lá posición: "El gato está sobre ·e1
· · PaJ'a' poder _deÍiÍlif':globalinente'·cúalqúier ''jue~o'' :--cual~\lJer _ ~Is" tapete." (Y para mayor cla[idad, supongamos ütmbiénque ni los gatos
tema fornúil ":· .qúe se base en'la. maniptiladóh de 'eleinent~s -h~y :e¡ u e .. : . ni Íos· tapetes son elemeilt6s del juego~) El punto en cuestión entonces
: 1 • ~

espedflcar-tres cosas:
.. -. • . :-_' -

·
. 1 -~ • ~' ; • •
és: nada 'que tenga que ve'r ~con algÓn gato, tapete o 'eón alguna relación
J. qué son· lós, elementos; . ·, gato/tapete influye en qué mo:vimientos formales son \'álidos en ese jue- '
1
2. cuál e·s la ·posición inicíal (o cuáles 'son las posicio~es· iniciales al- gü. DesdelúegOlabilerade letras puedemuy bien tener un significado'

~
: ternativasf:y . ·._. · __ _ _ · · ' _ ' _ .· ' ._ ·
1
< · · :- · .1 : •---- ·' , <' ) .. . · (sobre ~algún gatb<i tapete, digarriqs); pero ese significado (si lo tiene)
·. ·J·;'qUé rrioviiriientÓs •(Ína~ipuiaciones) .está~"~ú~itidos :e~ :t<id.~. :P9'~ ·. ·no 'intér7sá alsistehia formáicómotal : ' . ·. . . .·
-' : ' :;rod'os' los sistemas\ formales 'ci~é:hrmos considerado hasta aquí co-
~-i~i~~~·g;:t~~~~~~?~~~·, ~~:Jg¡~~a,~¡~tt& ·~~~~~~~<o•·:uA·~·: ~&:fig,traciJ~.••_d;e :_· _· · .·• ·'ri-ld'júegos;tierien algúbÚpo espedál de posiciones conocidas como me-
elementcis · (en: ün\~·om'elüo ~ado)'.El· ju~gq -~mpieza !C.?n al~1lr1~ :¡:;~~~- ,
ciÓri'in'íc'iál:§!·se1oesafrOlhr camoiáricl'ólá'; 'c~~··ü~ ínóy.imiérttc)·~ór rjug~: ' ·.·
dá'.:·:Mut~h6~~ jU~gds'fdtmálés (com·o pór ejemplo el ·ajédréz y)as .darrt.ás)
, _;. •-_tasio pOsiciones "ganadoras" .;;En estos ju~gos; el jugador o los jUgadores
· -se esfuetúinporalc~hzaruna· de esas posiciones planeando.y seleccio-
·~

~
tieher{>urt1Cpósicfofi•:rnid'ill,determina:d'a~' sieínpte ·la~'misma! "i!J<f&_p ;·· éri o • : ~; .-: ~.::~'f.}h· ···- : : /~- .,.:·: :~ - . :-:.- . -. ' : :(•:·~·- ·:::; .: :T·: .c:<i'::;,~·:· -;~:- ~ --- :. ·-.•:. ·. _
.•_._.•• •·.. -.•·..·_ .•._.... ·. Las reglas de los movimientosválidosdetérminan implíCitamente lo que son las posicio-
-;:: / ·_:~ ;:·: ~ -. ,::: !::--··. ;· ,::: ·'·: _·~ . , ·, : . . . .·' : . - .
cambio .·. titÚié varías posiciones iniciales, que •depéhden 'de•lá füerz~; de , ; -, ';. n~~ : :;esd~cir; si ra: Válidez dé' Úri :movimiento cualquiera dep~ncte de una característica X \ ·enfÓn>
. toi jtigictores',' 'f ótros :sisternaiperrriifen\in.· núméi-8~-arbi'trai:idoe'posi- · . ': ,. :·des !'a c~tactÚísiicá; x~d~be" tÓ~t~fici:nno<parte' de la posiéión formal, (Eso hace triviales a nó
2 . · •· · los a'utoéonteqidos, porqueclos ~istemas'Jormales _deben también ser. digitales y dé juego. rinitó ,) ·
dones iniciales posibles. . . _· . .. . . __ _ •• . ••. _ :
·:· :,HaY,' que _observár queJo~ sis(emas :aut~cQ~tenidos . sori áhiStó;i~os:, es decir , ·la hist~ri~ pl¡sad~
.·-· '· 2\;~ .;ro~·¡:~a·a~ ~J;ct~e~;(dei.t~~úií'~~,~~te:IM:bl~~c;-~;,.e~-J9;,j\l-g!!~·~t~'~ .P;~de c_~_rstct,e' _ . ... ?eJo's,l)1ovihiien.tos'·nó. pueMafect!!r loqÜe es -válido ahorá,- ri_excepción ele los _efeétosque po'
rar como .un j1.1ego f,orm¡¡I 11 .tnuy par~cido al'ajedr~z, conla . diferen~!a · cte ·que~o juega upa sola -.:dtla tbri¿r én bipósicióri presenie_:(pbreso ur(ajedr~z · plenarrtérite .formal nece;ita' Üricis pocos
persoñá y. exist~n muéhas,posiciones}niciales . dif~rentes .. · ·.. ;·--.:- :, -- rey
_·:. eíe'hl'én{ds:fJera dellúgar'; ~iríl"h1~rcar'~¡~¡ O':lato~fe 1fJ:Úin \ movidó~ do'sí1s !pof ei•estÜo{ y ;..¡
1 '

.· •.. :.!·:
 52 SISTEMAS FORMALES AUTOMÁTICOS SISTEMAS DIGITALES 53

'•'
r =·
nando sus movimientos con mucho cuidado; cuando hay más de un ju- i,.
La primera "complicación importante" es realmente tan básica, que
gador, se trata a menudo de adversarios que compiten para verquién debemos introducirla de una vez. En el juego del solitario hay sólo un
puede alcanzar primero la posiCión ganadora. Pero es importante no- tipo de elemento: todas son clavijas, completamente iguales e intercam-
tar que no, todos los sistemas formales son competitivos, ni tienen to- biables: Pero en los sistemas formales más interesantes hay, en cam-
dos una posición .ganadora; estas características· son comunes en los /f! bio, muchos tipos diferentes de elementos. En el ajedrez, por ejemplo,
juegos sólo porque sirven para aumentar el entretenimiento y la diver- existen seis tipos de elementos diferentes (de cada lado): el rey, .la rei-
sión. Pero 'muchos sistemas forn;¡ales importantes deben su importan,: n¡¡t, la torre, el alfil, el caballo y el peón. Los elementos formales se pue-
cia a razones que no tienen.,,nada que ver con la diversión (y la~ den intercambiar libremente si, y sólo si, son del mismo tipo. Por eso
computadoras son tin ·ejemplo muy notable de .eso),, ·. da lo mismo qué peón blanco avanza a un escaque de peón blanco; pe-·
Un ejemplo muy sencillo de un sistema·formal que no implica una ro cambiar un peón por una torre o un peón blancopor uno negro pue-
competición (aun teniendo una posición ganadora) es el 'ramoso juego de suponer una gqm diferencia. Por supuesto puede ser válido también
deL~olitario que se juega con clavijas en un tablero que tiene una serie un movimiento que p'ermita cambiar piezas de diferent~ tipo; pero eso
de hoyos e~ forma de cruz. La posición inicial es la que aparece abajo. da coino resultado una posición nueva y diferente. El intercambio de
Los puntos negros representan hoyos que contienen clavijas y el círcu- piezas del mismo tipo ·no es un movimiehto y no afecta a la posición.
~ocent~al representa ei hoyo vacío (el único en la posición inicial). Este A propósito, ... alterar" una pieza (uno de los tipos de manipulación men-
Jueg~'tiene sólo un tipo de movimiento válido: si se tieneri dos clavijas,· cionados antes) significa,_realmente, cambiar su tipo (o sustituirla con
una JUnto a otra, en un renglón o uria columna y un hoyo vacío junto una de tipo diferente).
. a una,d e·ellas en el mismo renglón o columna, entonces se puede elimi- . A fin de cuentas, son las reglas las que determinan los tipos de ele- .
· n~:r1a~, clayi~a· intermedia ''saltando.!' la otra -clavija:;h'a sta el ho)IO .va- m en tos. Las reglas son las ·que especific;an qué movimientos son váli-p ·. :
<;~o..{Así que Jos dos hoyos que tenían clavijas se'quedanvacíos, mientras dos y en qué posiciones. Si intercambiar do~ piezas determinadas no ¡ \ ·
- ~u~:.et~u~ estaba vaeío •ya: tiene una cl~;tvija :') EL·objetivo del juego es . afectaraqué.movimientos . .
.sou.
válidos -en cualquier
. . posición, . entonces
. . ' ' ·'
Ir ~ehmmando.Jas ;clavijas .hasta que ·quede una sola en -eL centro. ·
,. · ·, . ¡ ' ' •· .
eso nq afectíiría en•todq eljuego, y esos elementos serían del mismo

• .... . .
' ! ·r ,,.r -' .· ¡..;,· tipo. En algunqs;juegos de ajedrez más elegantes, cada pieza es única;
" < ; ·-;· . . .. . -~ .,
cada peón blanco, por ejemplo, es 1;1na figurilla, ligeramente diferente
a las demás. ¿Por qué, entonces, son.t odas del mismo tipo? Pórque en
cualquier posi~ión que est'éQ., al int.e rcamb.iar dos cualesqt1iera de ellas,
•• \ '

..
..
.. .,.._:, , .· ;, ... seguirán siendo válidos exactamente Jos ·mismos movimientos,· Es de-

. ' :.·
·

'
;¡· •.- . ··.
• .•

•
; i

..
• . •

. ·, ·~

;
cir, cada una de . ellas contribuye a una posición de conjunto exac~a­
mente .de la misma ,manera, es •decir, de la manera que lo hacen los
peones,, Y eso es lo que hace que sean todas peones.
Los sisteq-tas formales, .según.se dijo en un principio, se caracterizan
p()Téte p.~~ tf~·~,,~ª~P,ectos .~senciales: ·.sonjuegos de manipulación de·.ele-
mentos, son···,afgítal~s . y se pueden .jqga:r, finjtarn,ente. Ya hemos vis.t o
alg<,> d~J() que . ~ignjfica la:-~ ~manipulación .cie ·elementos", así que pode-
mos pasar a las otras dqs .característic~s, empezando •por los sistemas
~:Iig~tale~, ~ ·,;: : ..
. ..... .'. :~ ' ~· -~
..·... ' •·; /; .. ' :"

··.;, ~stc; sqJitari9 .es ,uf! .$i.s temaJormal$encillo

.. _,.-··' . ' ""'• ' " . :· tl ·. • . . , :·) ·':-" ,.
· ·.••.' ·.· ·· ·.. t·¡:. '· ' . ···..
p~ro
'_;;~·~ ·. :. " :. · ::
· auténticb~
.-... · :,··
,No;se trata · ~·:·
·.· :.···· · .. · , ··:.·:···· . . : ~: ' .·· ~· ·· :::
~ . . ·J • :} ..' ' .: . . .. ;

·.·•sóJ~, ge, l1r*~nal9g~<i q qe;~.m1 .cp~pár~:ci.P*~Hg~s(iv~;· 1~).9g: g~e;¡e; r.e¡¡h

¡

~ ' \ .

. m~~t~·mi · s~stenja formai EEst;in'aqllf todos l'os' elem~ht9s.; esenciales:, .. y .. : ; :~-, - ~-~ ·. ~

·•en··lo' qu_ e·sigue)i()s ·referiremos ·a·'ellos ';t>eriódicatnerite:para·explicar<otros.

ª
pu~tt<:,~:. I!:Ii.Hgr10'r Ja'.· v~rcta~; un,_ ejeli:íplo • tan'elemei1tal como .éste··ca-. · :La palabra .'digital' por.· lq general trae:·a la mente• las , computadoras
rec~: :g~,:~ ~~h'~S':~~~i}e2:~-~;~i, .ss~ili ic~cib.hes ,i~ poha~'it:'s · <·:'l:>oi:'eso~ ten e~ . f!! . electrónic:as o tal:v,éz: un' '}lector''. numér.ico discreto (como lqs relojes
Il1QS:~ que . :prceínirar,;e):
• .' . •' '·. . . ..
.ca~po,,tª¡pqién;
' : ' : '' ', . ' . . .... ' .•. ' ' ''
.Para .ej empiq~··
. ' '' ' . ' . . ·.
P-tássilh'
' . .. . '' .-:_¡"
¿tr~fi. ·: •
~~S::
'1 !~ ' ' " ~
· digitales;Jos.sintóni;z;adores Y los termómetros)'. Pero los sistemas digi-
 54 SISTEMAS FORMALES AUTOMi.TiCOS SISTEMAS DiGITALES 55

tales abarcan mucho más que eso -incluyendo desde luego a una c~te­ que mencionamos para serrar una tabla con un margen de error de dos
goría metafísica fundamental. Todo sistema formal es digital, p<:ro ~~~ centímetros no sólo es positivo sino también confiable, porque puede
todo lo digital es unsistema formal. El alfabeto es digital, como lo sori tener éxito casi si~mpre. Si el objetivo fuera estar dentro tie un margen
la moneda de uso corriente (el dinero), las barajas y el botón para en- de un milímetro, entonces la técnica seguiría siendo positiva, pero sería
cender nuestro estéreo. En cambio la fotografía, los lingotes de oro, confiable o no dependiendo de la habilidad del aserrador. Peto si las
las antenas receptoras y los controles de volumen del estéreo por lo ge- especificaciones tuvieran un márgen de más o menos un milésimo' de
neral no ·,son digitales . .¿Cuál ·es ··la ·diferencia básica? milímetro, entonces la técnica no sería ni positiva ni confiable, porque
Un sistema digital' e~ un conj~nio de técniCas· positivas y confiable~" es imposible cortar la madera con tanta precisión. .
(métodos, dispositivos) para producir y reidentificar elementos, () con~ Muchas técnicas son positivas y confiables. Lanzar una pelota deba-
figuraciones de elementos, a partir de una colección de tipos ya especi- loncesto a la canasta es un método positivo (para hacerla entrar) por-
ficados con anterioridad. Vamos a ver la esencia c;Ie todo esto: primero, que puede tener un éxito absoluto y sin restricciones; es más., para los
por el momento podemos hacer ·caso omiso de las configuracioites de jugadores con talento es bastante seguro. Contar, es una técnica positi-
lós elementos ("elementos complejos''), así como dar por sentados la va para determinar el número de lápices que hay en una caja Y la mayo-
veracidad y los tipos ya especificados. Segundo, podemos sustituir los . ría de la gente lo puede hacer con plena seguridad. Mover un interruptor
términos "escribir" y ·"leer" por los más altisonan~~woducir" y "rei- es ún método positivo para encender un horno y los termostatos lo pue-
dentificar", pero sólo. con dos advertenCias: 1) ~ ú() es simple- t den hacer con seguridad. Por otro lado, no hay ningún método positi-
mente hacer unas marcas con la pluma o el lápiz, sino mas bien cualquier y) vo para mantener la temperatura a 37 grados exactamente: inclus? ~~
tipo de manipulación -d e elementos qüe cambie la posición formal (en- ·1' mejor termostato, lo únieo'(iue podría hacer es aproximarse al ob)etl- \.
tonces Úponer una ,clavija en el hoyo centrat'es ~escribir''; un •elethento ... · vo. Ningun~técnica puede determinar positivamente el peso exacto de ._,
del tip~;: • uria·da\rij'a ,en el hoyo: central);· y '2)cfeei)nó implica cbrtlpfen- lqslápiCes que hay en Úna ·caja o hacer que la pelota p~:J.se exactamente
SÍÓ!l ·(ni¡siqúiera!reco·nocimiento), sino solo· ~renciaCión:· por; tipo ·Y poc el centro de la 'cárüiSta:, etcétera. . . ..; . . . .. . .
I?Osición•'(un,eievador ''lee'~: 1~ presión;deh~ot~n·,~ P.'arán" .:. ·Las técnita"s· digitales ·son..técnicas de. escritura/lectura. ''Escribir''
doseen el 'pis'o ' debidoY:' Estas simplifibiciones :permiten -dar una ver~ unelernentd 'signifiCa' ptddllcir '\lno de un tipo especificado dado (posi- '
sión- ba~'tan~é :e~e,~ante cte.la defiriic~ón: uri~~~ó~hto. , • olemenúi cOmplejo); "leer" tinelemento significa. determinar de qli~ J\ .
· ·~~~\~~D-~ii~i~i~W~:~~iiii~~;~r
de técmcas :pOsttivas ' para escribir/leer-; .,.·,> . . · •. · .,, ; ·: · · · .·,.· ·
· ~Tiíi1Gf"aihi~ñ'te; 'en ·e¡ ·significal:i'o de 'positiVO.':
Una técnica•positiva>es:aquelláqué .puede"terteNin-6xito:absolutóftotal·
Y·:sinorestricciones; ·es decir; ·que<se-\dá· ~·~ positivam·ente''. 'Lo cohtrafio és¡)~ilicaacFJ;arrr~· tecliica ' de; 'escritura. Un sistema digital es un c~n-
sefíánmétódos•cuyo'·éxito es sólo tebitivó, parcial o''tiU:e pueden clasifi- . jun.to e· técniCas• e ¿scritura/ledura que son positivas y confia!;lles;
carse ·de ''casi exactamente'', '''ert ·casi ·todos' ·Io{casds 1 '; :o ···C;isFst:ifi- en relación cori. este 'estándar de éxitQ para la escritura/lectura (y algu~
ciente para dominar'' ; Que unatécnica•dada··sea,. positi:Ya dependeniUcho . na 'critegóríaya·esp'éCificada de tipOs apropiadOs). · . · · . . . · · .·
deJo que :se tonsidera como · éxito~ · lrriaginernos, por'ejerrtplb, que me:< · · Hayuna grándiferendaéritre prci'dudr elementos e' identificarlos:
dimós.·cüidadosaménte dos ;rnétros dé tabla;itfaz'amos•,don' umúéi;cu~- · Por· ei;'o pÓdríariios deCif que lograr qí..te una pelota pase ' o no por '!a
dra· unaJínea petpendictilariy :,uego!.c6rt"J.Ilbs:ciotl ·Úna-sierra.s-igtiie·rrdo ·. ·~· canaSta s'O'ÍldóS'''tipbs dé''' ''elementos' pá'ra::ra.nzaf~lá-pelota n: .larlzár la
la' :línea;. ¿Es .ésta•üna: técnica p'ositiva? ·Búeno;:esó <deperide. Si'él ;obje.:: ·. · ·:·pel()t'a:e seséri?ir ún:derrlento;:yv~r si•entró·ono·esléerlo :. P~r To-t~n~
hvo especificado ·es ::
óbtenér
:
una tabla.qt1e
. . ·:.·.· .·····.' ··. ·.'' .
varíe entre'
. .... . , ..
1:'.99. )r.;z:Olhti•
·_.:: ' .·· . '
. · .•;to, 'dadO '.u n'jugadór qué 'ante ti'Jiá :órden· pueda 'acer~at o Jallaf detm~
., ·•·marierái~ohfiábte;: y rtrrjú~z · que:~ae'liííá mari~ra .igualírieot{cqñfiaplé
_·, __ ,· · ·. '
. ~; . podemos qecir que la técnica tiene ún:. éxito total y Ci'tle··por ·Io. tanto .es ·
positiva ..Pero si el o bjét~vo es obterier una tabla de dos metrOs ex~tctos :_ ·sabe'·disting.\iir;lds ··áCiert'Os ,. de las·· eq~lvotacionesV tenemos:·mi, sist~ma ·.
de largo/ entoh¡;es.el rri~todo:no. es PO.sitivo; ya que:como!rrtáxirriopue- ·. ·digital¡sirrit)Ie:; Pera:·esf6:es :bi'Ciett8~iriodo un:absurdo >N o' más absur- .·
detener :un :éxito .aproximado. .. ., · .. ··· 0 :.; ,. . :: ,>,:·> ·, ~ J.:.t.· ,··. · .. dó' qué uri'ihteirh ptÓr:élé'Cffi'c'h',Cfe'iiiUlti pdsieión; LoS 'ti pos son'las difeiiCed , ·
,Una·.téc_nica·posiüya p.o t~ene el éx.ito garantiiadd;"ili:: §Iquih'á .e:s.lhÜy . rentest·pdsiciones/pósif>ies; :. escribir Uri'élemento' :e<iúivalé' á colocar"·el ~i~: :
probabléqueJO·ténga<La cuestiónno es si tendrá éxito (él con'; q).léfre~ ir~terruptor ·en. alguriá p'o sidóíi; y leer la · ~;olocación equivale a ri:J.an'dar
,cuenda),· sirio.Jo., bieiY.~que puede 'resultar: '1.lna técniéa pudde .resultar :urí eledricidiül atinterrúptor y, tener (solamente) Ja direcciór(del . circuito
1 é~itó perfectamente; ·En.caq1biorcuandp· preguntamos-;sÓbrei:Iiqk~$ibi;: .:·. .cteséáda .:.-.E sfói:es .pos itivá.·y.cooJiable· porqti'e ,las. diferentes posiciones
. lid~d
::..:: .
de·éxit9,;se.tratá
. .. ' .
tte~:u.ri~!cü~stiómde:fiabilidal'[.rPar:.
. . -~ . ' - •. .
i e. sd!elini~tdd6
·;_ ... - : i::; <. ·y _
· e-~~·(p .. ej. por '.'chasq~- .
.··.··•.. . ·· .
\
 56 SISTEMAS FORMALES AUTOMÁTICOS · SISTEMAS DIGITALES 57

solutamente inequívoco ,y determinado qué circuito conduce (en ca.da .1...

de hacer eso. Pero el sistema de fichas es digital: existe una técnica po-
posición). sitiva para determinar el monto de cualquier apuesta (específicam e,
Pero la verdadera importancia de los sistemas digitales surge cuan- contar las fichas de cada color) y, por lo tanto, ca\fa apuesta es exact
do i1~s referimos a casos más complicados. Consideremos por un mo- La ventaja del arreglo digital. aparece en e.! caso de apuestas grandes
mento Jos destinos .de los retratos de Rembrandt y-de ios sonetos de , y precisas. Puesto que un volumen de arena no puede ser jamás medi-
Shakespear~. Incluso brindándoles los mayores cuidados, Jos retratos do exactamente, con el sistema de arena habría siempre algún pequeño
se .van deteriorando lentamente; de ninguna manera son iguales ahora 1 error en una apuesta -digamos ± 20Jo para fines de exposiCión. Aho-
que Cl,lando eran nuevos. Lo~·. poemas, ~n cambio, se han podido con-' ' ra,. supongamos que se tengan+ 914 unidades:Con las fichas es fácil:
servar -perfectamente. Algunos, claro, sejmeden haber perdido y otros 11¡ se cuentan nueve azules, una roja y. cuatro blancas, y se tiene el monto
pueden haber sido mal copiados, pero,. con mucha probabilidad, tene- ··' exacto. Pero con la arena las cosas no son tan sencillas. El 201o de 900
mos a la mayoría de ellos exactamente iguales a como los escribiera Sha- unidades son 18 unidades; porJo tanto el error esperado con la arena
kespeare .~sin la menor.imperfección. La .diferencia está, evidepte~pente, azul (losgranos que se pegan a la cuchara, etc.) vale rnás que .toda la
en que el alfabeto es digital(cmi dciclo estándar de escribi~/leer), mien~ arena roja y blanca juntas. En efecto, la impreci'sión en las grandes de-
tras que -los colores .y.lá text1.1fa dejas -pinturas no lo son .. nominaciones hunde por completo la significación de las pequeñas de~
! En el mundo realÚiste siempre una pequeña variación y un peque- nominaciones ylas vuelve superfluas. Pero pequeñas "hnperfecci.ones"
ño error. Una pelota no pasará jamás por lacimasta· dos veces de la .... no afectan el valor de las fichas azules. Aunque estén rayadas y desgas-

~~~~:;::~~a~~~t~~~~~:ci:I:.~~e~·~~~~~~s:~~~¿i~~~i~l~:n:;t~~f~ · ·r
tadas siguen valiendo exactamente 100 fichas blancas, y por lo tanto
· las fichas blancas adicionales no llegan a ser jamás superfluas.
~~JI,Ü:Ú)<i.?- ~o~ igu.~les. t:~ada e~_ per(~~~o:', _d~~imos éJ. Il).enu~o . .Los sis- P--.~:~~,' f~ - Por sqpuestO ,que eL2o/o. no es una medidamuy pr~cisa, y que 914
temas digitales, sm embargo, alcanzan (a .veces) la perfección, pese. al pf.. fi. unidades ·es en cierto modp una apuesta extraña; pero la diferencia es
mundo: ¿C~mo? Esen~·ialmente al p~rmitir cierto "marg'en de err~r'', .una q1estión de principio: en algún momento veremos que la compleji-
d~qtt(): d«?l C]lal toqos.los resyltados son equ,i~~l~nte~ y e~ é~1to esJotal. , 1 daq_y.la versatilidaq permitidas con las diferentes denominaci9nes se.
El .eleqwnto exacto; pqrlotanto, notieJ;Ie importancia, siempre y cuando ... .rán factibles Ónicámente. en mi siste~a con técnicas p~sitivas de p. - ·
s~,~~~ntenga,·''dentr{) .: delato~erancia} ~--~~ En. el ·balonc~sto~.' ~na can~·s­ escritura/lectura. Lo mismo ocurre en cualquier sistema complejo, en
ta, .es.:u na_cánasta; ,yfallar mia: noJo es. I-Jay. muchas . J;Ilan~ras ligera7 donde pequeñas desviaciones en una parte pueden producir enormes di-
.· mente difé~é~tes de 'es.cribir un.caráéier querepresente.:de ~na ma~~~á ferencias -en otras; debe haber alguna manera de evitar los componen'- "'
tQt~l~ . in'~qJÚY()c~.un~ A~ : Por,eso . do~ ~~pia~ . de _ Ón , po~m~puede~ - ser . , tes cuya influencia pueda repercutir accidentalmente en los que son
.igu~lmynt~
\''•¡' ·:· '
¡ p¡;:r;fectas ~u,nque est..é.. n
, ..- ,, . _. ._,_ - · ·:··· . .. · , .. .. . ' -,: ' .
·. escri(as .(o impresas)
·._ '' . •. _.· ' .. •·· , . ' "' . .... :.
con .'• un. a ·letra
' •. . ·, .
sensibles; Los diseños digitales son Uno de los medios conocidos más
difer.ente, sietnprey ,cuando cadacarácte.r . resulte~laramente reconoci- eficaces para enfrentar este problema, que es una de las principales ra-
blé .it~' eo~r(!cto)~ ~ · · .. · · . · · · ·· ·.· ,· ·' · ·_· · · . .· zones. por las ·qu~ son, ifl1portantes. ·
Unáraz~n éle,por.,gu,é es i~portant~ ·esto.,es qÜe. pe~m'ite lJ.na ~ier'ta . Por definición, .todo sistema formal es un sistema.digital. Por eso
complejidag :q~e- de .otro ll10do· seria .:4ifícil _p imposib~~.. pªrél. ver.eso, lo& .sistemas forii1al~q~áílextra,O'i=aJñiiiTa~te intrin-
a
. vamos considerar..dos formas. completamenie;difererités de -manejar . cad2D': compltcados sin qu~qarfuera de control ,:-;-_un hecho importan-
.~~. 4iri~~9· en~.Il;;i~egq ~e. p~k,(!t~;):-asdp~l~tiu~a~- cplQr;~..~~fe~.~ntes•pa~.'.l te p~qt ~éJ. . int,eli¡sencil:l artificiaL por m:tJc;lla~ razones:. Pero .primero·
esp(!c;ifipa~ ,<;lep.o!JJ.inac;jone.s dife.r~nt.e.s:~ a~ul"',rojp.,cy, 'l?laJ;Ico Pél.ra repr~ 7 , deberíamos considerar los casos más claros, empezando.con nuestro vie-
s~ntal: el.:d~n:· ;.._eL~:Üe.z ,y .el :mi~, re.sp~ectiv~u1wni~_;¡,,P,ero: nü~ntras que en - jo, ,ejempl,o;d~Lsqlitario. ¿f».qr qu~ ~s digitéi11 ·.~;'J3scribir'' up elemento
~~ si~i~ma :la; ~nidad .d~;cada. de~oÍni~aciqn esi disco .de.;plástico 4n: ·ele' sü~llific¡¡, producir u11anueva pq,sicí(>n por m~dio, ,de ug movimiento (es
cgjg'i '{la ;fi'bii~. Pij PA~~;)f .e~ e.l ,ptr~ ei .~~~ éH~~~·t,é\déi;_~e. iina él.~~n~ .d.~ decir,. ~áltar una clayija por enci.tna _dr;: otra y eliminar esta última) y
.colp!f?S,,¿pH~!e~;SWtJa.s .x~I1t<lja.,u~laJ.iy~§. g~ ,~sqs !i9&Jlrr~glp~? , B~~P:?• ·· ..· ., ~.Ie~r',' ese el~m~nto · sign,ificft ~e¡;o,nocer,la nueva posición(y,· pprlo tan-
el·. sjst~rp.a.:; ~-~,; Ia,a.rei1i.t P~[ l}l\te;h~c~r áP-~~.sta.~:_fp~~C(~9.I1.él.rÍfl~ -~sélndp p11a · to .determiJ;I;:tr qu.é .moyimi~l}tos: ~erán válidt;>s -en ad.elante). Este. ciclo
pu~qa.~~da. ·,'~e ~.re,p~;~ bla.t1cf! ql.l~ 119 ~st~ ll, ~I1a.,<;:,9,11,· Ias Kisha.s.no,,sé p~t;!: es·positjyo y conf~a,ble pprqu.e las clavijas.se pueden poner y qJ.iitar.(con
. féic:ili.da.p) . delo~. hoyqs,del ; t~blero,in~quívoca y.c:oínpletamente, y des-
• • ·. ·•. t • .. . " ' •. '" ' · .; , ·, '

.\ · • ;,;4~·ás 'tdleranda: .~ar~ 'l~s;té6nicis''~e ':s~rit~r~ ··están ;det~fritl~ád~s ·r~ái~~~i~ · t~~,~~ preci) Da
pués se puede decit: c:on,~xactitud y .perfectamente en qué hoyos están.
lo mismo,ql,l~ ~Q,a davija ~sté algo inclinad él () no 'esté bien centrada
sión; deills.tecriÍcasdeieciuloar.Y·viciwersa;· '~s·. ei;Cido .de. esérltura/Ieetura•cl qüe::debe;seHpósitivo··
. · ·Y'9o~,(iable: ··;,:.,-; '· , . ,,, , ,r•G)ii >';· i(b i3 1t·:· el). el.hoyo: •!l:\ln as( se e11cu,ent.r:a absqluta y perfectamente en ese hoyo
 '>l'iTI·MI\~, Hli{MAII 1.S 1\ll'lllMATit:tlC. INill~l'l~NOENCIA DEL MEDIO Y EQUIVALENCIA FORMAL . 59

Y no en otro, como puede ver cualquier niño. . y las reglas de los saltos, entonces la cosa cambia: el juego se Úansfor- ~
Lo mismo es válido para el ajedrez, aunque con la complicación adi- ma en otro completamente diferente.
cional de las piezas de diferente tipo. Pero una distinción positiva de Del mismo modo, hay piezas de ajedrez de muchos estilos y tama-
las piezas (de cualquier conjunto decente) es tan trivial como identifi- ños -aunque el color es importante para distinguir a los contrincan-
ca~· en qué escaque están. Una vez más, el amplio error, el hecho de tes. Mejor dicho, lo -que verdaderamente importa es que cada pieza sea
que las piezas sean completamente distintas y que rio tengan por qué totalmente identificable, tanto por forma como porjugador.(así como
estar puestas exactamente en el cen,tro del escaque, es lo que hace posi~ : el escaque que ocupa). Sin embargo, según esa I:estricción el límite lle-
ble -las'técnicas positivas. El billar, en cambio, no es digital: la posición ga al cielo. Dos millonarios tejanos, por ejemplo, podrían jugar aje-
exacta de lás bolas puede ser de enorme importancia. Vamos a ·conside- drez desde · sus respectivos penthouses usando 32 helicópteros
rar la diferenCia que puede haber entre revolver accidentalmente un juego radiocontrolados y 64 azoteas. O, si fueran dueños de un hotel de ocho
de ajedrez y uno de billar. Los jugadores de ajedrez con buena memo- pisos, con ocho habitaciones por piso, podrían poner en las ventanas
. ria podrían reconstruir perfectamente las posiCiones (básicamente por- persianas con unas marcas muy brillantes (que redistribuiría el perso-
que mover las piezas unos pocos milíinetros no importa). Una posición . n.al del hotel según las órdenes).
de billar ,•en cambio; no puede ser jamás reconstruida exactamente, ni Estos extravagantes ejemplos se mencionan únicamente por ser tan
siquiera con impresiones fotográficas y los mejores instrumentos; una extraordinaria la independenCia del medio en sí; la mayoría de los jue-
partida entre amigos se puyde reconstruir sin problemas,' pero un em- gos no formales no son independientes de su medio en absoluto. Aumen-
pujón a una mesa durante un torneo puede ser una tragedia. · tar al doble (o reducir a la mitad) el tamaño de un balón de futbol, por
· El aspecto digitalde los sistemas formales está profundamente rela- ejempló, cambiaría mucho el juego, en especial en la estrategia de los
cionado toóH'á-inteligénCiá ;artificiaLNo sólo logra ql.Jé algo 'enorme- pases y de. los tiros; Si se aumentara el balón veinte veces (por no men-
·m.ente 'có'mplejó se vuelva'ifactible, 'si'ñó qué estambiéri élfúridamento cionar el caso de que fuera-sustituido por ún helicóptero), lo que se es-
·. de ótra·ptopiedád''ésencial de los sistemas fo'rmales: su 'independencia . tar:ía jugando no tendría .· n.ada que ver con el futbol común. El billar
.cle cualquier medio m·aterial paftiCular. La inteligencia'debe tendÜm- es ,igual de .sensible al ·tamafio{yal p_e soy la forma y.Iatextura. :.) -de
. bién esta: prOpiedad para quepl1edahaber;álgu~a vezrobots ingeniosos. las · bolas~ Pequeñas variaciones harían. sólo ÜI}a diferencia.menor, pero ' '
·. f :~ '
chocar -.-digam,os-- contra clavijas de madera 'o rodajas de cebolla se-
ría•imposible.: ,. ·
r• ·
·?'
· ; Losjuguétes.:electrónicos aclaran :el punto de otra manera, Cada di" ·
'·._~- · .._:;~ · . · ~ ; . ':'· · ·. : ·.~: !.- : ._ '·· ·>i, -~ - ;',. ; _ ';: '' t-< ·;·· ,;.: .'· · ,:_1· · ·:-' -·.. - · '
ciembre,.los alm,ac~nes están inUndados .c on versiones nuevas y más in~
LA· • .•.INDEPENDENCIA DEL. 'MEDIO Y LA; EQ.ÍJJVALENCIA.FORMAL .
~-· -;~
: .,. ... . :•·: _ -: . .: . . ·. _J·: ,; : :;- - --~ .- ,...; ;, .- . . --. ·, . ·'
geniosasde:: 'hockey· de.bolsillo'', ''futbolines'' y demás,. así c_omo cori
ajedre<;es y damas electrónicos. Pero hay una diferencia pavQrosa en-
Los sistemas formales son independientes del 'medio en el cual ~e en- tre los casos .- EL,hockey: dé ~bolsillotienetanto en común. con el hockey
cuentrim ''Ihaterializados''. En otras palabras, e's encialmented mismo como las figuras de .1111\dera con loshombres: .se puede ver cierta anal o"
· sist~ma formal puede ser materializado en düilquÍer ntírrteró"de medios gía·en algunos ,aspectos· estructurales; ·. pero fuera. de eso ni siquiera se
· diferentes :sih ninguna ;diferencia formal· ~igQificátivá: :ÉSf~ es' UÍla Ca" parec;en~ :ELajedi:ez' electrónico, emcambio, ·es ajedrez -.;..rio de la cali"
·.:·racteiística·iiri.p ortánte1de lbs' sistemas 'f órmáles eri gért~tál(y6:Hflfárrio da<f de':! Os grande~ rrü!estió's 't al<vei, pero sígenuin:P.rRemplazar balo~
"la 'irtclep(mdefic'il d(ü•;. ' a"""· •<+ . ..;,. ' ' ' ·' ·''t:,·••¡ , ., , ' . ; ,' ' '· ' nes·y :diseos reglanientarios:'c on..séfiale$: electrónicas es mucho peor que
:..., ·. -'Par~·empez~r con' ::tej~fuplh fámiliai,'esevid~~i~-q_~e;~·alo.~rs!
ya ·canibiapJel.taniaÍi():;sirr1plemente.un mariscal de campo real; vivo, :ni
: mo. · p·~·tai él'tabler.O·'déJ. ,solitarió''qÚé'' llfs+eíaVij'a's seaif·dé': maBGfit·o·· aé· siquierá :p~ede•tecibirúria' sefial; ;p asarla·o patear la; .:Perolas :.repí:esew
'1 ·. plásticor::rojas· o·-vétd~s·y de'medib 'centímettó- o ·dérindoe~gf~ésa·s :' Po~· táciones luminosas· furlCionari igual de bien que ,las piezas (genuinas)
dem os. cambiat}oü~:Iq uiera de•estas,ciiraCíerí~tica:s :: o .fbda'i>; Y''Séguii.-J Íl-
1

de ajed~ez; Iós carripc:;ones rusoslas pueden atacár (y próbáblementeco-

~ 1

!'
•.!i:,~:r::~~if~~~1:;:;d~1tr~;~~¡ft~J}(l~~~~~8f"*;
.desú luego·,:Jes·c ambios podtí&n 'ser.áunríüaydres: ··l'il~ Ciilvija\if)ó&üiri
mer) tan bien .como) cualquiera;, J : ' . ' . .. . .
; -'La' difétenciaJlO·e~ :simplernente .que unos;jue~os'son, intelectuales ·y
otrOs ·físicos. En pritnédugar, 'los,;depones profesionálestequieren1de mu:.: ·
' 1

1! sustituirse por ·.carikas ~.(}ue er1tr*tán~eh ;pbquéños · agilj~tos.'; .o:pór ~nas ._ éha ¡plalieacióny;estrategia; lYi :d'esde luego; las piezas del :ajedrez .· y.·las
X ': marcada~ :con :tiza._·en''iiná'!casill'as;·· a incluso ·por rüédás1:de 'c-ebolla· fichas :ddas damas y del 'go..son•o[>jetos tan;físicos •comoJas pelotas, · .
l ____colg=: d~:no; clavót. ~«~óa=ti·:~•i¡s~lñodlfiCari:Jaffó~iéi6ti iÓicitil Io~ pates y los t.acos de':billar. Más bien es la independencia: del' medio ·
•
 60 SISTEMAS FORMALE S AUTOMÁTICOS INDEPENDENCIA DEL MEDIO Y EQUIVALENCIA FORMAL 6l

~ la que explica por qué, no obstante esto, el ajedrez parece mucho me~ 3. Un movimiento consiste en intercambiar dos fichas de la canasti-
· nos "físico'' que el futbol o incluso que el billar. El punto esenciales .·
que en un .jueg? fo:r,nal na?a depende de ni?guna car~cterística espe_d- r\ lla blanca por una ficha de la negra; pero hay una restricción para este
intercambio:
fica de su medio flsico, mientras se mantengan las mismas secuencias ,
de movimientos y posiciones válidas; el juego mismo; por lo tanto, pa- ~
rece ~~aterial de que está hecho. .
. La digitalización hace posffilela independencia del medio. Volva- .. '
1 ~; ': ·
a) oías tres fichas deben- tener la misma letra inicial y las últimas letras ·
ser secuenciales, o también tener la misma letra final y las primeras ser
secuenciales;
b) o la letra intermedia de la secuencia no puede estar en la ficha
mos al caso de Shakespeare versus' Rembrandt: ya que .el alfabeto es ' que se va a pasar de la canastilia negra a la blanca.
digital, los poemas so:nindependientes del medio. Pueden estar ci,nce- Por ejemplo:
. lados en piedra, grab¡1dos en Braille o en un código de computadora, 'AX, BX< = >CX y AX, AW< '= >AV son movimientos válidos;
o románticamente trazados en la arena y, si el orden de las letras y la pero ET, EV < = > EZ no es válido (no son letras secuenciales);
puntuaCión se mantienen constantes, el poema como tal no se ve afec- AW, BX<= >CY no es válido (no es la misma'Ietra); y
tado en nada. Podríamos pensar que lo mismo es válido para las .pintu- AX, CX < = > BX no es válido (la letra intermedia en la canastilla
ras: mientras eL"orden" de los colores, las texturas, los reflejos, etc. negra).
se mantengan.exactamente, un retrato puede ser ·r eproducido indistin- El juego lo' juega una sola persona y el objetivo es terminar con to-
··=·
tamente en óleo, 1lcrílico, acuarela, o en el medio que se desee. El pro~ i das las fichas intercambiadas (es decir, todas menos DW, que se queda
·:;.::
blema ,es que, en la práctica, las propiedades de las pinturas hose pueden 1:.,· en la canastilla negra) .
. reproducir ex e. ni. siquiera en un solo medio, no digamos en ¡ Evidentemente se trata de un juego digital y formal, y por lo tanto
varios;. . EsJa. igitali?,:ació del alfabeto ~Y por lo tanto la independen~ 1 independiente del medio. Las fichas pueden ser de madera, en lugar de
cia del medio...:..: a que . a ce posible lareproducción exacta deJa s'ecuencia ' ,!¡;. ser de plástico,· estar marcadas con dígitos en lugar de letras, y usarse

Qo.~~:~~~~;¡;; Ja obsorvación O• quo in<\opondencia do.,;;:lio no qui•- ~~ cajas. en lugar de canastillas; y desde luego se pQdría hacer todo con
.unos helicópteros marcados·, a través del canal de la Mancha. Sin em-
re decir, que:los m.edios apropiados sean totalmente arbitrarios; Es twi~ .1i bargo, ¿podría haber diferencias aún más espectaculares que éstas? Una
· · dente que no:se :'p odría juganajedrez (o grabar poemas).con bocanadas ·•. ··,.:.· •~..í:. ,···· · respuesta.asombrosa puede surgir cuando terminemos de definir el jue-
. de humo, .ya que son.casi imposibles de m<mejar y además ·se·esfuman , go,· puesto que todavía nQ hemos especificado qué parejas de ietras es-
demasiado.pronto; En el :otro extr.emo, sería casi igual :de difícil utilizar · .• 1 tánmarcadas en esas 33 ·f ichas: La especificación es sólo una lista, pero
.u,ri ajedre~ de.acero,.nJ.acizo con todas las pi7zassoldadas al tabler,o; •Es Rr,Lro>t~,, la lista pueqe estar. ordenada para mostrar de una manera reveladora
eyidente que el me io S•elementos) de un: Sistema formal debe ser:lQ /Vl¡&,;"¡~~ la posición iniciaL
suFicientemente. anejabl pava poder realizar los 'movimientos permi. fot! '.¡
tidos:'(de~escritüra · .suficién't'émente dudtble para •qrie1as posiciones ·
puedan ser nkonoddas.b ien (leídas) cúando.Ietotamover al>siguiente; AV 'AW AX
· Aunque niuchos .sistemas materiales y muchos .procedimientos satisfacen ' BV BW BX
estos.: r:equisitos,.· otros.muchos. rio Jo. hacen:, no. todo ~pue~k ser. digitáL cT cu· ·e \/ cw ex e-Y cz
.. , :Ha~ta ,l:\hora,: n~.estr.a .·.~xposicló .· .· e ,haJ~mitaqo .a:: unª :, p.<;>ció:n · b.as.~. . .DT .DtJ.Dv >... -..· .D.X .I ?ypz,;,... · DW
. tante.íntuitiv:a,y./directa ,de :la• {igualdad · ': . misinojuego;; mismo movi~ · ET EU ' EVEW EX EY EZ
. . . FV. EW f')( _
' riü~mto,~ mismo;o;poema'i etc'; ·pe ·, ·realid¡:tpe;esta>,h6ción ;·fiq- es . · t~n .
sencill~', •y;c~aÍidd. está.bajo:· presióp.•surgefl: aliunas·.:v~riaciones;bastaQ!­ óv .ow dx'
te interesant,es: :consideremos· eEjúego ·formal .(des~onocido) definido .· Canastill(l ~egra
de..•l a•.. sig;uient~ ·~~n'era: ,. n·· · ·•.: . ·•·:..¡ ·~>.i' i). • . Can,Cfstilla blanca
' .;.];!Los .elb:nentos' sori,,~3 . fichas de .plástico,..pequeñas r en{cada una . ·
·delás·'cuale~iJiay . esprit.as, dos~letras: ~una::de ~ntre las.prüneras;del alfa-
. . :·~~: . :r . . .
.·. : . .
Sobra dedr que cada ficha corresponde ·a. un hoyo del tablero de nues-
. betq . (A~G) y, otra·•de :~ntte..las .últimas (T,~Z){' .:. · · . · tro ·viejo e}efi1plo del. solitario. Pasar una ficha de)a canastilla blanca
·2,, Enla' posicié>11 inicial; t()dasladichas estánjuntas •·en .una.éanasc. ala. n~gra equivale a elimina'r una,clavijaqel tablero, mientras 'q uere-
tilla blanca; excepto: laJich~. marcadwcón .DW, ·que está solita en·,ün'a; gresaruna ficha es .comovolver a poner una clavija en unhoyo vacío .
.. ' .carias~i.llá · negrat ,; ., ,... •·· .u·· . > ··:/ :. · ,. ,. Y, dada esa analogía, la regla más bien complicada de l~s intercambios
~ ' :'· . ·. ·- '
 62 SISTEMAS FORMALES AUTOMÁTICOS POSIBILIDAD FINITA DE JUEGO Y ALGORITMOS 63

de fichas corresponde exactamente con la regla de los saltos de las al ajedrez común; pero ambos son formalmente equivalentes también
cl~iju. · . al ajedrez que se juega por corre~-el cual los movimientos se hacen ·
En cierta medida los dos juegos son, por lo tanto, el "mismo". Pe-
. ro no se trata simplemente de un caso de medios diferentes como expu-
simos antes. Los elementos, · es deCir las . fichas· y las clavijas, no
escribiendo una fór,mula (como: 4R) en tarjetas postales, en lugar de
. mover las piezas físicas. Si dejamo . olar un poco la imaginación, po-
' demos ver que muchos sistemas formales, completamente diferentes, . ,> ' .··
p,,-:,: t' ¡::
1
corresponden; son 32 clavijas, todas iguales, contra 33 fichas, todas di" tienen sin embargo la misma estructura de acceso a la posición del aje- ' · '

ferentes. Por otro lado, hay 33 lugares distintos en donde puede ir una· ·;' drez y son, por .lo tanto, formalmente equivalentes a este, ' 6 ..
clavija, contra sólo desJugares destinados alasJichas-. En realidad,Jas Las nociones de independencia del medio y de equivalenCia formal
diferencias de Íos símbolos están compensadas con las difer(mcias de sonde vitalimportaricia ,para lainteligenéia artificial y la psicología com-
los lugares, lo que significa que después de todo se tiene el mismo nú-- putacional en general. Si bien algunos de los significados pueden surgir
mero de posibilidades. La correpondencia entre los dos sistemas es, por sólo a medida que avance nuestra exposición, el punto fundamental pue- r
lo tanto, completa y exacta, sólo qu~· a un nivel más alto o más abstrac- de plantearse crudamente así: l~~l.~las del cerebro y los circuitos elec- r,·;J·· •...
to que la correspondencia directa eleme_nto-por"elemento, eséaque-por- tr.ónicos son man~fiestamen~e ~~· diferent~s; pero quizá en algún (t¡ "f'r · ,
escaque de , digamos, el ajedrez del heliCóptero. mvel de abstracción apropiado pueden ser med1os para sistemas for-
·Esta correspondencia más abstracta relaciona las posiciones totales
en' lugar del os. elementos particulares y sus localizaciones. Los movi~
males equivalentes. En ese caso, una mente computacional podría ser
una· mente tan real (auténtica) como es ajedrez auténtico el ajedrez del ·e:
mientas, entonces, se consideran como cambios en la posición de con- .helicóptero (o .de una computadora), sólo que en un medio diferente.
l,.

J:
junto; así col)cébidos; se sigue dando la correspondencia, át1nque no Por supuesto <'!Ue falta todavía mucho camino por recorrer antes de po- ,,
pued~ ~lútber -~orrespondencilt directa. en las recolocaciones.(etc.) .de.l os d~r,l decir que _estoes algo más queuna8tentadora. · _. · . :
.;:·..'
elémentós ,:particulares.'' Estas . nuevas: concepciones·'intuitiva:s de' una . · (';'·:·:
¡
i
; ~igualdad, de; más alto,nively las podemos expresar co11 una.definición - '.1

-~
más explícita·:,J)os ,sistemas .formales. sonforrrzqlmenté:eqÚivah~ntes só-
lo~ en: eLcas.o :,de··que¡ ..·,: ... . .- '/·r,. ..._, ,_. ,. ·,J. ~,·~ "'···· . · . ,. · POSIBILIDAD .FINITA DE JUEGO YALGOIÜTMOS
,. ,;, .

..
:..: ;1.' pátá':éád~6posició'i1 .distinta de un sistema:: exista exactamente ~na
Has~a ~hora he~ o~ úatad~: las defi~iciones de'í~s sistemas formales ~on
pÜsicióD.;. corresJ:l.~rld.Jep:t~ :en. el -otro; ...
~
1

.: ':'' ,:·:: ··.=· ' •• ' ••

¡:,· J-~Í• siempli'ectueun .movimiento sea válido .e n·un ·sistema,· ~1 movhhieii·- bastante aproximación (por no decir con ''informalidad'') evitando en
to ·coir_espondiente (es decir., .de ::la posición···correspqhdiente ala 1;posi: lo posibleJostecnicismos matemátic()S;"Sin embargq, una cuestión téc-
cióri correspondiente) sea' válido ·en él otro sistema; .y·' · , . nica es esencial para la ~dea pur,a deJaformalidaP,: ¿cuáles son los lími-
3. ~ (todas) Jas posiciones iniciales correspondan._'
- · Esto.implica que también existe ur1a correspóndencia e~acta en las ·
. . · ., tes · (si, existen)': altamafio y la 'co~pH:jidad"de los sistemas formales?
El problema·:principal es el relativo a qué hacer. para "jugar al,juego';
;¡~
posicion~s . permitidas a las que se puede llegará partir de#s ·posiciones , ..:.:...esto es¡ hacer y reconocer los movimientos permitidos por las reglas.
iniciaJes de los dos sistem~s: si·~ puedeii\q~. aquí a allá ert:)ino, se pue- Aunque sea UI).a falta de delicadeza; queremos. fnsistir .e n que los juegos
,de ir taf!1biérí' de ,aquí a allá en el otro) (S_Lse cQnsidér~ ,¡\;' Jqs do.s •siste- formales los pueden jug~njugadores finitos: no . se· requieren poderes
·=
~~
mas•como juegos:·cónposiciones'enlas·'que se·:gai}~; ::eritorices'ést'a:S deben i{1f~nitos. o'mágicos ¡ ; Por <,>tra parte,r.nrestra definición teórica no tiene
córres'ponder ,.tailibiéri';) /} · · . . · ' ; ,- '' ···· ·: .,. ' · :... · ., ' :' \ porqu~, ~er estricta: los jugadores no.tienen que' e$ütr - limit~dos a habi-
N~estras ilustracione~ anteriores de la iridep~ride~_~i~ . d~i medió sort, ... - lid~des~ó: reo,ursQ~'-·espec;:ialesi:,( corno ·SQ,ll. las.ha.bilidades -hmnanas .O de
desdeJuego, sólo casos.especiales 'de equivalencia fohnal: exactamente la'época}. ~aque . son indiscutiblemente finitos. El· problema, es explicar 1
1

cúandolas'posic!qnesy.los.movimientós correspOnden pdrqué.los ele- ·. esto en forma .. clarl)\. ·, ·

men't oslpa'Ú'itulátbs';y\'las combinacion'es de 'los·· . e!e016r#Bs ·correspon- ··:'•: .:~. >:. ;' '¡ .
:¡=
·:1.: i,

den0: O.bviam~nte el ajedrez del helicóptero es' formalmente ¿:quivalente :., . i. ,·~ M~ct¡:~s .:de : éstos podrían iser.más difíCiles de er)lender o· de '·'jugar ' \ que otros; debido a
' ·;:· ·./:·~· -.:: · . ..-.,~ "·. \ ,~ ,.. :.-~·-.~. ~ :1. '. :¡ . .· '. ·. ;,\ • ••
1
las .~onfusas Go¡nplicaciones de lasreglás o a la care11cia de una estructura visible en las posicio:
· nes., Nuestro jue¡lod~ fi~has, porejemplo, quizá sea más difícil que el juego equivalentede. clavi~
s' >··:. ·\ . ·.<. '\~:·/ :.;:·:·.<.<,-:. ···;;.·.~·· ~}··. ·· · .·: .. . ·:. ;·;< ...... ~. ·. : . i.· -·/ '·o.: . . . ·~./ . ...... ;
jas, ,porque es-bastante difícil segÚii el ras ti-o de 'qué fichas se pueden intercambiar legalmente
Esta es todaví¡¡ una noción bastan~efuerte de eqi.Ji~alencia; los matemátiCos podrían mÚ·
chas veces corisidenir éoino equ¡valelites Úil~ssisthmas; aunque ~o 'cumpla~ completámenle es- (a rrierios' qÚe las C!ejemo~ afuer~ pad simular el modelo del 'tablero de las clavijas): Por lo ta~to~
las condiciones. Sin el'nbargo; lás diférentes.éalificaciories posibles soli difíciles y técnicas; y no desde el punto de vista dejugaf!a Unjuégo, los sistemas fórmálesequi~alentespueden tener dife"
nfla<len mucho u lu . idea. básica. ., . ren~ias baslant~ : signifi¡:ativás .',. '; : . \; '<: " ~
. ' :: . "
 64 SISTEMAS FORMALES AUTOMÁTICOS POSIBILIDAD FINITA DE JUEGO Y ALGORITMOS 65
-~ -
Poder jugar un juego formal_es ??der~~~ -~~~~s., ~ero, ¿q.ué ·~-
. !' \ ' ' plicadas al efectuar combinaciones ordenadas de operaciones primarias.
implicaeso exactamente? En prmcipto, unos JUgadores habiles deben Para ver, por ejemplo~aStaíiañilrartüdisras
poder siempre (esto es, en cua}quier posición dada) piezas del adversario, una por una, y ver si alguna de ellas está atacan-
J. decir _:_sobre cualquier movimiento que se vaya a realizar·- si el do al rey (lo que a su vez podría significar una combinación de pasos
movimiento es válido (en esa posición), y

existe nmguno). . . '

·
.2. ef~ctuar po. r lo menos un movimiento válido (o demostrar que no
. -. r
,
.l>
aún más pequeños). Obviamente, esta secuencia de pasos no se elige
descuidadamente o al azar, sino que está diseñada explícitamente para
ese propósito; además, se debe hacer correctamente, o no funciona. En
~1'
,. 1"' :¡ r.~,._ · ('
.b.h.~
Así que no tendríamos mucho de jugadores de ajedrez si no pudié- ' efecto, l~ combinación espeCial de pasos que se r~quiere en una opera- r· •f>. . r
ramos decir con seguridad si son válidos los movimientos de nuestros Lf¡, ci~n coÍnpíe]áaéte'estái~éspedfíc~da· 'por' alguna sueii'é
de regla o
adversarios o no supiéramos mov.er nosotros mismos en la forn1a debi,- ''fó~se[jugáélor- i:eiíC!ráciU:e-seguír~ para poder lle-
da. Insistir, pues, en que los sistemas formq!es teng;:tn una posibilidad varla a cabo'. ' -- · ....-· ,. .. ..· . .,
fin(t{l' c!e)UelJ? e~ ÍJ:lSistire~§s~UOS-~Il~cfa_g~)i necesarias estén Por d-esgracia, ése es el punto c~n el cual empezamos: cuatro párra-
al alcance de los jugadoresJinitos. Y así surge ~gunta: ¿qué se puede · fos atrás preguntábamos qué se tenía que hacer para seguir las reglas, V
1

ésperar-ae-·u:nüsjugaaóresfínltos? y ahora resulta que lo que se tiene que hacer es precisamente seguir las
Algunas operaciones están claramente dentro del significado de fi- reglas. ¡Espléndido! No todo está perdido sin embargo, ya que algunas
nito, rriás que nada porque son triviales. No se necesita,' por ejemplo, reglas son más fáciles de seguir qu~Qt.ra~. Lo que tenemos que hacer,
ningún poder mágico o infinito para ~un elem~nto d~ la letra _ entonces, es definir una categoría(~speci~e reglas que requieren sólo
A en .un trozo de papel cada vez que se cierra un determmado mterrup- de habil.idades primaria~ashgias ·es decir, habilidades ·Jj
tor. Yl1o sólo portenerlo ala vista, sinotambién.porquetenemos.una que, ahgual que las operaciones primarias mi~mas, estén claramente U•;·:·" P~
demostración adicional en el hecho de que las máquinas de escrib · 'e~ dentro de una h<~J2ilidadfinita; Estas reglas especiales se pueden usar f:,:.t~~.::t
tricas (finitas, no mágicas) lo pueden ha·cer. La facuitad de<{dentific entoncés para ·~') tanto operaciones complejas como reglas ';·~~'e ''lprn·
elementos ·sirnples de un conjunto común y corriente es en priñcip o tan complejas para lo que sigue. -· ' , '· ' ',~':, •:.':'-
. t~rrenal como se ve por ejemplo en la clasificación de las monedas que Un '!l~.f!!:.iJ!E!!. es una fórmula-infalible; paso a paso\ para .obtener
haceri'Ias rl1áqüinas traganione~as; De nuevo es fácil mover, digamos, un resultado espeCificado con anterioridad. "Infalible" significa que
una pieza de' ajedrez de un· escaque a otro indicándolo apuntando con' el procedimiento está garantizado para tener un éxito total con un nú-
el dedó.; ;11i se necesita mucho para movenei .ín.diee hasta .un escaque mero finito de·pasos{suponiendo que ·cada paso se lleva a cabo correc-
cer~al1o, en una dirección dada, etc.Sin embargo, no esimport~nte ca- tamente). Hay que notar, sin embargo, que aunque el número total de
talogar; ·ni siquiera delirriitar,.completamente,· estas habilidades ·eviden- pasos debe ser siempre finito, no debe haber ningún límite previo al nú-
temente finitas, ya qqe queda ·establecido que existen. I~o .que nos da' mero de pasos que pueda haber. "Paso a paso~' significa tres cosas: P(r":r:,·,,:
un luga8 r donde empezar: se supone que un jugadodinito tiene un l} la fórmula indica un paso ala vez, uno d .uéS-4 otro; 2) después Aly'''-!"'1
f6oJ',~~;~~;~; epertorio inito de ~especff!cas·~ue pue~e~reali- /!f de cada paso, el siguiente está plenamente eterminad (no hay opcio-
Al-~,;i,Y: :~' zar, .•.. ~·· una manera positiVa .y. confrable, ~ualqmer numero ·flmto de nes niindecisiones); . x 3}·-desR_ues de cada paso, e Iguiente paso es ob- pnJifl¡t> :
veces; ·· ~ (I?:Q.:~~:.!l~~J~~~rsp~~t(c)~!Eg,~~~.:J~é:lE~ :i~:J:~i-~~E~:-~9). -";- ~(r¡(¡¡)l<,1¡
·!r·Las 'operacion'e's·primariasfdesdeluego; son sólo· el principio, Para ·Jntmti~amente; ·los:afgontmos sorr ·má~ que ·r utinastontas que ''ha-
jugar ajedrez se ·.hecesita mucho más que saber identificar- y mover las cen giraPla manivela'' quesiempreJunciona(tarde o temprano). Por !

piezas indicadas entreldsescaques indi~ados;'·en·cada~·m.ovimiento.-que' · ejemplo,·si .tenemos un. llavero con-lláves; una deJas ·cuales correspon-
piensa, unjugadbr debe poder determinar también si es válido para: esa de a ·determin'a da .cerra"dura,.ir probándolas unatnis. otra en 'forma se-
pieza, si pone en' peligro al rey, si le comerán la piyza, ·etc. Ya-que,estas· cúendal es'un algoritmo para abdt la cerradura: se'guro.que ~na la abre
'pruebas •suponen •casi siempre una· di:v ersidad ·de ,factores relac~onados f~nalmehte (no i:nipotta.:cuárttas :llaves se prueben) y ''cualquier tonto
.. entre s.í;'mo son todas,simples :ni .triviales;.i.por: do tanto no se ·deberían lp puede hacer'~. De la misma manera, existen algunos algoritmos bien
considerar domo pi"iln.árias: En córtsecUenCia, los •jugadores finitos_de- conocidos.para''clasificarp(!)r·orden alfabétiCo .listas de nombres>ende-
ben poder efectuar operaci9nes. que no son Pfilllarias.. Esto es bast;;mtti sÓrden, dar jaque mate a un rey sólo con un rey y una torre, transpor-
.soriJr:end~nte; la tar~aah.()ra,., e.s 9efirlir _estas 'ntiey,as. habilidades no ,pri- t¡:tr 9anciones .él otras .claves .musicales, multiplicar enteros (usando
marias de form(l qUe .,sigan..siendo. indiscutiblemente 'finitas. -- n.ú~eros_ará~igo~); etc..Hayque ~?tar qu~eses-al-g~.rJtmos están espe- ¡_,P"t
Los jugadores
,-:
'
pueden realizar operaciones indeterminadamente cpmc.
' '
Cificadosen te.r;-mmosdeunarelacwn de~~~~ga: hay que empe- odr,-t
 66 ' SISTEMAS FORMALES AUTOMÁTICOS POSIBILIDAD FINITA DE JUEGO Y ALGORITMOS 67 ~
zar eón una entrada de algún tipo (una cerradura y un llavero, una li.sta
de nombres, la m~~ica de una canción), y la meta es una salid¡¡. que está
· relacionada de determinada manera con esa entrada (esa cerradura abier-
temente obvio, que r~~ombrosamente eficaz: en general, hacer
que el paso siguiente~de (esté condicionado por) los resultados
del paso anterior. .E xisten varias maneras para lograrlo (todas bastante
•
~
7

n:
ta, esa lista ordenada por orden alfabético, esa canción transportada). interesantes para los matemáticos), pero bastará una muestra para ilus-
El tipo defórmula más sencillo es una lista ordenada de .instruccio- trarlo. ·Considérese la fórmula:
nes: primero haga A, luego B... y, por últirho, Z. No se nec~sita mucho
l. Empiece con una llave cualquiera y áfele una cinta roja.
para "seguir" ese tipo de fórmula: básicamente, el jugador tiene que.
2. Pruebe esa llave en la cerradura. ·
leerla instrucción indicada, obedecerla, y después seguir con las demás '
a lo largo de la lista~ Pero estas habilidades para seguir la lista, por m o-
. destas que sean,son bastante diferentes de las que se necesitan para lle-
¿SE ABRIÓ LA CERRADURA?
. SI SÍ, PASE AL PUNTo' 4; SI NO, PA'SE AL PUNTO 3.
3. Pase a la siguiente llave del llavero.
t
var a cabo las operaciones que están en la lista (decir lo que hay que
hacer: no es lo mismo. que hacerlo). Un jugador necesita dos tipos de
habilidad para poder llevar a cabo la fórmula.
Puesto que en el repertorio de unjugador finito existe sólo un nú-
¿TIENE UNA ÓNTA ROJA?
SI SÍ, PASE AL PUNTO. S; SI NO, VUELVA
4. Cesa, triunfante y feliz.
AL PÜNTO 2. t
5. Cesa, frustrado y molesto~
mero finito de operaciones primarias, podemos suponer que para cada ·~
una existe sólo una instrucción primaria, a la cual el jugador puede obe- Un jugador que sigue esta fórmula repetirá los pasos 2 y 3, intentan-
decer con confianza. Pensemos, por ejemplo, e.n los .diferentes cambios do una llave tras otra (no importa cuántas) hasta que la cerradura se
de tecla para cada upa de las oper~ciones primarias de escritura en u~a
máqui~ade esc::rjbir.: cetrar~ UI).O de. esos cambios es una;operaciqn pri·,
maria·que I::t máquina d~ escribir puede obede,cer~: Es igualmente cla~;o ·
abra o se hayan probado todas las llaves: así, el comportamiento cam-
bia ac:lecuadamente de. acuerdo con la entrada y los resultados interme-
dios, que .es· exactamente .lo que . queríamos. ·
'·
¡:
que .unjQgad,or¡finjto•sabe seguir orden,adamente una lista ·fini,a; .cada
. paso. sucesivo está plena y clar~mente' determinado. (Considérese:una
I1láquina··de escrib.i r ,. que .se .pueda'llen~r con una secue~~i~ ·de :instruc-
ciones, prirnarias(i~, escritura,, codificadas en una tira de papel,) Tene-
Es evidente·,ql,le.la mejoras~ <)ebió a, las instrucciones.especiales, es-
critl:l.S con mayúsculas. ~StaS no .i ndicanninguna operación primaria es-
pecia:} (como lo hacen las instrucciones numeradas); sirven más bien
como indicadores explícitos para guiar al jugador a Jci largo de la fór-
a:
~
mos ash 1ú1- .repert,orio il).i<;ial dt; babilidade~. Primarias .par~:t: seg11.i rJas mula y especificarle cuáf ~s la ·instruccjón: siguiente, dependiendo .de lo
reglas: .. 1) !obede~er la$ .instqú;ciooes Primarias y .2),,~~­ que ocurrió. ~a.r¡¡.llevar a cabo el algoritmo se necesitan dos nuevas
ción siguiente de .u na.h sta finita, Adem s, estas,habilidades son; e11: prin~ habilic:lades relacionadas con recibir-seguir: responder sí o no a preguntas ;
cipio; suficientes pa.ra :seg'uir. c\}alqqier lista or~ a; por}o 'tanto, relaCionadas con eLpaso antetiÓr y "ramificar" a una de las dos ·ins-
cuando esa ·lista es también infalible, es un agoritm .
Elproblem,a co~ las listas qrdenadas, sin ei'llbfltgo, es que son total~
trucciones especificadas, dependiendo de la respuesta; Dichas instruc-
ciones . condicionadas (a este tipo . se . le .llama ' una . ramificación . ·a=
mente inflexibles: se establece:exactamente la I'lliSID:a secuencia de Pa~ condicionada)' proporcionan la flexibilidad que faltaba a IasJnSfiútCiones

~
~·. ·, .
sos, sin tomar en cuentaJa,entrada ..o cualqQier resultad,o intermedio; de Ja1ista ordenac:la. Así, la segunda .indicación de arriba es la que exa-
Por· eso, .ninguna .fórmula ~ori: esa.. estructura es -adecuada ni· siquiera mina. el lfesultadolinteu.nedio. e interrumpe la búsqqeda, .en Jugar de se-
para eLabQrr:iqo¡ algodtmo:inteJ;lte con ,unallave tras otr~ h{]sta,cque . . guirla::estúpidamente . una ·vá·:qu~ ·se _ha encontrado.• la llave i::oriecta.

~
ericuentre.la;opriecta:.·En prim.erJuga~; ·• elalgor:itnn) · deber;ja, servi~ para; .· Y..ht:indicación:''iteración -haciá atrás'' .en .la tercera indiCación (vuELVA
cualquierdlayei;q,·;(·7." 'd ifer ent~s e~tradas}; . pet.o r.puestp.',qy.e Qn11Jist.a ·o~­ ·AL~ PUNTO 2)p~rrtiite. que la fótmula: ::rnaneje.u·n·número •indetermirtado .
den.ada ¡tie~e sq¡p : dete~minada~ 'entr<~cdas;, Jlega ~ólo J¡asta, ,allí. \·S.e gun ~· de;llaves .con sólo,repetir dos pasos unnúmeró.ihdetérrrtinádo d~ veces. 1
·do;;.d 1algof:itino,: de,.~ería • parar•,cl,lan.d o se · • encuentr.~ ;la Hav~. cotrecta > ~Pero; ¿qué significa·! a cinta roja yJa. otrairidicación er¡)a,,segunda .
·C;;;:resultádo intermedio); per() un,a lista ordenada .sigu.e ac:lelante ciega~ . comprobación? o¿~or!.qué:nó•dat, sim¡:Hemente .la yuelta•al llavero, llave
inent(l{;pásé.Io:que . páse. ·:·,· >~ . · .·. · ,·.' · · por,Uave; basta ¡qu~ tina logre .abrii·,?.: Elproblen::ia, evidentemenú~. está
" ¡()~mbas , lím.itaciones,tienenxemedio q:>Il Ul), s.olq !~ecanis~o; aparen~ · en,_ e) :casG>i~desafmtunadó de qhe.Ia:cerradura . nose,abra nunca;; pero·
· ·t' r ·
!· -' . :/.-:-f . .• , ·,· esio . e$·; más ,seriolde lo;qúe :pare'Cei.' Puesto que .e).llavero piiede ·terier
•.· : 7 No está . ciar~, 'sin ~Í11 bárg~~, que todÓslo; algÓdtmós' i'J~uierán; de entfadas( as( pbdría~ un tamaño ·indeterminado; eL algoritmo debe poder seguir:.iiitentandó
m'ds i:brisiderár c<i~O ·aJi¡Cífit~lO ;:J prdcediniiet'ilo.·geOmétrico'·d~ constr'Íüi'i)n·-¡iéñtagónó regüláf . (repitiendo su NiteraciÓn 1-'·dedós_pasos)sin ningún;lr'l!lite; y eso es pre"
con- regl~ y compás -:c;pero.. nó, paree~ . r\!Cj\ler~r_¡lli!JgUna em~ad¡¡ : ;,;, i; . tisamente l~ que le daJ~ efica.Ci~t:en general. Perb / por ser un algoritmo .
 68 SISTEMAS FORMALES AUTOMÁTICOS

debe poder gárantiza'r también un éxito al final; no puede seguir siem.- .

i\~
•'
POSIBILIDAD F INITA DE JUEGO Y ALGORITMOS

¿SE ABRIÓ LA CERRADURA ?

69

:' ~ \

pre adelante en busca de una llave que no está allí. La rutina termina, SI SÍ, PASA AL PUNTO 4; SI NO, PASA AL PUNTO 3.
normalmente, cuando encuentra· la llave correcta. Pero si esa llave no . 3. Pasa a: la siguiente cerradura de la fortaleza.
está, debe haber alguna condición que interrumpa el proceso y demuestre ¿TIENE UNA BANDERA AZUL?
que ninguna de esas Ha ves sirve para esa cerradura. Eso es precisamen- SI SÍ, PASA AL PUNTO 5; SI NO, VUELVE AL PUNTO 2.
te ló que hacen lacinta roja y la indicación "ramifica al punto 5". 4. 'Cesa, triunfante y feliz.
Es evidente que un jugador fini,tq puede contestar a algunas pregun-...· 5. Cesa, frustrado y molesto.
tas sí o no de una manera total y segura: por ejemplola máquina traga- ' El punto 2 comprende un número indeterminado de "subpasos" (uno
monedas hará un cambio si se introducenm'o nedas más grandes de lo para cada llave, no importa cuántos). Pero puesto que tenemos un al-
que se necesita. Además, puede, con cierta facilidad, "ir a'' (seguir) gorítmo para eso, podemos considerarlo como un solo paso y darlo por
los segmentos alternativos de una lista finita, dependiendo de la res- sentado. A propósito, aquí vemos también lo importante que fue la cinta
puesta: es decir, la máquina dará (seguirá las instrucciones para ciar) . roja en el primer algoritmo: si se hubiera omitido, esta nueva fórmula
el cambio correcto, unavez .q ue ha identificado l(ls monedas. Por eso, no habría pasado de la primera cerradura (o se abría la cerradura, o
en prinCipio, los juga~bres finitos pueden seguircualquierlista ramiji- el paso 2 hubiera continuado sin éxito y sin terminar nunca) .
cadá (es decir, listas con ramificaciones condicionadas), suponiendo que
las condicionesén la ramificación (las preguntas de sí o no) sean 'ade-
cuadamente primarias: Ya que dicha lista es también .una fórmula paso
a'-paso,seráun:alg~ritmo.infalible -.,es decir; sfestá gara.ntizada·pára Recuadro l
llegal'·alres\lltade' especificado (y detenerse) en· un~ número finito de pa-
1
LO FINITO, LA . MAGIA Y EL MECANISMO .
sos? IJaniemos\i un: algoriÚno :de lista-FiÚnificádai C()n ~condi:c. . S· de
. rafuificáción•·prii:natlas·; e ·instrúcciones primarias rfífiOritrrzó prirriarr . /!.t . o

· Hemos "Uegad():pot-lo ta:nto·a-, establecer ia· siguiente' conc us · . reali~

zai-:.algOritmosq)tiinarios'(totaFy seguramente) está~ éii el campo de'ac~ Supongamos que alguien le hace una simple prueba numé-
. ci6íf.deüos~júga~dares 'Iinitds. ·, · · · · • ·· , · · · · ·' ric;;tY le pregunta: ¿Cuál es, si existe, el entero positivo más
r '· Ésta conclusióh:tiene:uiui:'-irilpoftancia 'extniordinaria. Etfprimer·lu~ ·•P.équeño que _la satisface?. Para algunas pruepas podría exis-
ga.'ri·potque : nos:' ~<Ú:á de 'a puroscotifespecto a seg\lir:l á regla; ·ya ·que tir una·soluciónan:alítica (p. ej. algebraica) al problema. Pe-
no ipre~üpone habilidades'que no. son p~imarias : y emsegundo/Jp que . ro consideremos un caso que no tenga ese tipo de solución,
·es aún 'más' espeataé~lát~ porque amplía realmente 'el campo de lo ' que en.el cual la: ünicamanera de abordarlo sea la fuerza bru-
sepuedeqonsiderar :coll?-o ''pritnariol •~ •. Naqa ,concretO ~e : hadicho so- . ta: intente la prueba con el número 1; $i falla, con el núme~
brdoque es y'lo :qu~ no:es primario,ya que larealizaéióri.totaly segu~ ro2;: y así sucesivamente. ·. .
ra ·'qu~d~l'ihb.ltlida> claram•ente 'dentro de · una' ha:bilidad,'' finita: ' Peto . · · S~ hubiera una ga~aritía para que un número por lo me-
precisªmente 'vimos .que 3realiz'ar. 'álgóritmos.priniarios¡éstá inclüi"do efi nos pudiera ~atisface:r la prueba; ·entonces la fuerza bruta
tina'habi,lid~d· fi~ita;.rpotd;ü· ~ ·~omp~a · -t-, ·se~í~ - un aJgOrrtll1:0 p·ara ·enc.o ntrarel más peqÚeño; ·y a qu·e
utili'zárTíünbién·;válidam.'enté.'éomo:una:solalriSttuc~primana' ~· en . ·<,no impórta>cuáó''graride sea· es'e-•nó.méro; contando llega-'
~rthfa~ñiPí~07E'll~tra~s- 1)a-ia1Jr~~·;r5t~éü.ñsicré(áili(?sTa~Tós . · damos' finalmente ii'éL;Si, 'e h camb'lo, I10 existe nüi.gúnnú-
~~m~r,Q~s;c'omolosqu,e estári:eri el .nivel.rtiásfbaj(i, entonces· ·. meró qt1e ·s at,i sfag;:>laprúebl:l, hi fueüa bruta nunca-podrá
Iosálgdritmos~.- ~év§egünd()-·riivel ·puedem;utilizar;,operadones ·e·•ipstruc~ ·•establecer eso; ya qtie noimpo~tac1lan' arriba nos vayamos,
ciones .;simplesi'quer;. están definidas en . realidad' 'por·dos .:algoritm.os¡del' existen siémpre 'núinero~ rriás altos .con los cuales 'todavía
primet-•nivel; ' y 1.loS:i~l:g'~r~tmos:del!tercer,niveFpodrían·, Utiljzanlos i· algo~ no lo hemos inte.n tad6: Cuando un pfocedirriierito prosigue .
· •r itmos•d el {~egll,íí~o :'ni;Vel .como.::sus>.p rimarios ; ~ Y· asf sucesi~arnerite; >:· así, sin fin, se dice que es sin terminación. En un juego for- .
·:~·-•tNue~itrO'<aJgoiitmd.;ctéi•· Havefo;;,pór! ejemplb;. podníá':serhiifsimple 'paso· ,.: mal, d{los)procedimiehto(s)1 para<:ieterminar·si es 'legal un·
cte':un.ábfór.mula:if~qpéri~~·J, 'paráfti:atair qeiabri~· tó'das:'ras :.cerl"aduras·· ,. .. rlí'?.Yirqit;nt() .q:ue _s e preten'dé hacei _debe 'termüiar.siempre
· alrededorúde ·~ uha -Jor.taleia :,,x:J .,: ;.; ¡i'>'' • l••_,, .{ i \ ,i¡;.;.; .-.~···rt·?:Ul··,::J , . ~st·~ . J:!());·:{~t,~; es e1 púl}t9 cent~~al . de.'Iaj)<;>sibilidad ·finitade ·
·1;,Empieza,• por:•cu;llq\i!e~¡ cerradura ·y .,_colocatuna,ba:nderai ázüE ahL·' ; J_uegq,.- . .,.. ..,, ,·;, . ._. ,, , .-...... .
. 2 >:;p-fi:ie:ba:'tt6éias ·l~s; :JlavéS; erúesa:"cer~r~duras!r.;•; : ~:J. ..:• ' -. Pero; ..¿qué\ pa~~tia si tuviéramos ~~, on3.'cn1lo; una .bol.a -
¡
 70 SISTEMAS FORMALES AUTOMÁTICOS 71 ~

=
de cristal que diera respuestas (correctas) aun a los casos . LOS ELEMENTOS COMPLEJOS
de otra manera irresolubles? ¿Haría eso que el juego tu-
viera posibilidades finitas después de todo? No, y éste es Antes de pasar a los sistemas automáticos debemos considerar una úl- ·
el momento para decir que no se necesita ninguna magia
para jugar el juego, Si la magia estuviera permitida, enton-
ces la restricción de finitud (o cualquier otra cosa) no ten-
tir':ta ''complicación", a saber: los sistemas en los cuales los elementos
aislados están compuestos por elementos aún más simples, o construi-
do~ con ellos. Se trata de una' idea· bastante conocida: los elementos de
·¡¡:
dría sentido. 8 · una oración están compUestos por elementos de palabras, y (en la es-
_ La magia, por l)aturaleza, és ininteligible. Sin embargo,
no se sigue -de esto que todo (ahora) lo ininteligible es má-
gico. Por ejemplo, los precursores de los sistemas forma-
critura) los elementos dt: las palabras están compuestos por elementos
de letras; de la misma manera, los elementos de las cifras arábigas son
hileras de elementos dígitos (con un punto decimal quizá). Esta idea es
t:
les matemáticos no estaban seguros de si la-"penetración"
y la "intuición" matemáticas pudieran ser mágicas. No es
que pensaran quefueran mágicas, sino que simplemente
tan familiar que en realidad parece trivial; pero nada más lejos de la
vffdad. .
Desde luego que existen casos diferentes, algunos más interesantes
·¡:
nadie podía estar seguro porque nadie sabía en realidad có-

a:
que otros._ La diferencia radica en la composición interna de los de-·
mo operaban. En realidad, la única manera de renunciar mehtos, que es la que determina sistemáticamente cómo se pueden usar.
-a la magia es insistir en procedimientos que son 'inteligi- En este sentido, la clave de Morse, por ejemplo, es algo tediosa: puesto
bles de una manera transparente, como es el caso de los que sus letras aisladas están compuestas de "puntos" _y "rayas", su es-
mecanismos físicos. Por eso las máquinas de escribir y las ¡

t:
truétura es_ pedfica no tiene significación (lo único que importa es que ·,,,
~.· ...
tragaiT1onedas son• tan valiosas como ejemplos, y' por eso' cada tipo de carácter sea único). El sistema. de composición alfabética,
tambiénlós procedimientos algorítmicos son siempre ''sin el deletreo, es rnás complicado,- puesto que proporciona una guía tosca
inteligencia y mecánico_$". para la pronunciación. Lo que importa de las palabras, sin embargo,

De maner~··~inÚlar, se pu!!de po,n struir •UI1 gran_ edificio algorÍtmico ·

no es cómo suenan, sino cómo se usan para 'decir cosas; y en eso su
,deletreo no ayuda náda. Por lo tanto, aparte de la fonética, la compo-
.-sición - del alfabeto es, en, el fondo, tan trivial como la clave . Morse ..
.a:
ciment~do,en : i~~¿piézas primarias éiei aje~r,ez (identificando piezas y;
_ escl;lquf!s', etc~).;Pérp a arte ~e éstos poderrios ~onstruir tambiénalgo-;
ill.,~~~!.-~~_Q~~)~Q,~~$L,~$~a,~e·_!!¡
se
Esa cuestión puede ilustrar muy bien comparando.el deletreocon
'un sistema que decididamente no es trivial: las cifrasarábigas. Cuando
conocemos la composición de una cifra arábiga compleja (multidígita)
tt:
'

·a:
sabemos todo lo que tenemos qt,te saber de ella. Vamos a comparar,
-:a~..E..~.~rn.~~.P;!~~~~.Y~~l?_~~ql::~-~-?.V~~lef~!?S potejemplo, las siguientes listas de dementas compuestos, formadas
pondrían enpeligro-alrey.Apar'te de estos,_a,su ,vez, podnamo~ cons-
fruir-iin algO-ntmopáñrcomprol:J~r si e~ válido el movimiento que se . respectivamente con sistemas de cifras arábigas y letras del alfabeto: J,l

piensa hacer; y luego, 'li#lizando ése; im ~lgodtmo élirepto pued~ gene-

rar (!a}i~ta q~}jodoslos_m<?vimien~.os váliqqs ,en¡,;adll·-~ ()Sició9. E~tá
1
dol
a::
e
- de lllás qes,irqu.~-~e l?t1~deUC()f1Str:uir, mudlp~ 01fO,S ,algoritqt.()~ extraya7, 'noq
mit'
gantes.y cornplic~dos¿ª; par~irAe todo Jipo,~e,prim,ªrh:>~ sit?pl~s.No­
importa: cl1á.ntos ;nivel~S, de, compiic(.tción .~e'' vaya_n •acl!inul,~rido,:.siem- .· ret
preyc\.i~ndosetratede algoritmos.-Sólo Ías h~bilidal:iés'del primer ni-_: ··kiame
' ...:':.:·· -,:.,,-: _:, > ·. ;:.'·o••,"< ,i ·:-~:-~·:), 1
~- .J ·~.'', :.! ·~ ..-,. .. :' :', ·, '
J._.:
· vel_·tienen que ~e~ .• genvillamente , prirnaria~ ,;c-Ü,sando .~st,O$ la~~jllos y,
_: ,.,•__ _r;,·', , · .. .; ... -. ··.' _:; ;•¡_ ,
)dlo
1

¡)_ egamento algodtinic:o; 'no hay límite de, altura.~' . oospo· 1

¡~
: •.:·'· _. ' ~ ;: : ~ • ' ' .-' :' .- • : ~'
' '; ' _: ', - '' - -\,: •- ' : • -< ' " ' • ' '.
yaaz'
--.. ;.:_ .. _,

Con e~o nó ~e qüiere neg¡¡~ que yn 1qispqsi¡ivp p¡¡recid9 a un oráculo {9,omo los 1dados).pueda ·
8
,
suministrar_. una' entrada a upjueg;o perfect¡¡meniefinito. _·. __ __ ... _ _. _ • __ - _ ,

·t:
1

. Éste. e~ un pueri molllento:para reflexióíÍ~r ot~~ vez acerca del sighiflcadode la digjfaiiza- ,
9 >.Supórtgarrios 'que nb herrtb~ vistd antes ninguna de estas cifras ó pa-
ción: sllas openlcionesdel primer n'hÍel no fueran
poWiva's, ni muy éonfiables,entónces _ya no• .Jabtas• en particular, y· supdhgárnos que nos piden. que las usemos co~
habría nada que decir acerca de -loque pasaría con la e~orme y c~mpleja estructura que desci¡risa , .rrectamente en. un cálculo ó en -una oración específica. ¡Qué-diferencia!
qu~.-. recorda'r la';discusión ~ sobie, las.:fíchas
sobre ellas,,-... (Hay.
¡· ..•. ,- , _ , .. ___ , '<."··' '. - . .. ..... •
de: póker y la arena:)· ·
Es fáciLutilizar correctamente las cifras complejas aunque sea la pri~
......
 '.
72 SISTEMAS FORMA LES AUTOMÁTICOS ELEMENTOS COMPLEJOS 73

mera véz qué las ,vemos, puesto que sabemos lo que podemos hacer coq pongamos que hubiéramos aprendido las reglas y los movimientos de
ellas por la formaL en que están construidas a partir de los dígitos. Pero, la multiplicación (en cifras arábigas) antes de tener la menor idea de
· si esasÍJalabrasf\ueran nuevas p:Üa nosotros, no tendríamos la ríleJJ,.Or que estos elementos tuvieran algo que ver con los números . (Aunque
idea de cómo usarlas correctamente -y el deletreo no nos ayudaría en pueda parecer atroz, me temo que hay niños que aprenden la aritméti-
nada. , ca así.) De cualquier manera, la posición inicial es un par de elementos
Por desgracia,. estos ejemplos engañan: se aprovechan del significa- escrhos uno arriba del otro, alineados a la derecha, con una línea deba-
do de sus respectiivos elementos. La composición de una cifra dice qué) jo y un signo a la izquierda:
núme,r o repres¡;:nta, mientras que efdeletreo d~ una palabra no dice lo '
que ésta significa,, Pero·eE~sto~~t_~_:,l_~ ~?t~~l~s C<:)~8 t~les es- Posición inicial: 54912 (primer elemento)
~-ll ,~!!!.O.s.?.~~-n~gp~.~ nada q11~ es~~ relaci9nado con ellos puede depen- ,(1¡ ..( x783 (segundo elemento)
~r~!,!.i~.~?~~: Por eso los eJem~los, como los hemos presentado,
no muestran realimente nada de los sistemas formales. La forma de sa~ ~-.,;_·:~·. · . El jugador escribe entonces uno o más elementos nuevos debajo de
!irse de la trampa es dejar que sea el uso del elemento el que represente éstos, cuidando que todos queden escalonados hacia la izquierda me-
la contribución a la pqsición formal -es decir' que sea válida la dife- nos el último, y traza otra línea por arriba del último.
rencia quehace c:on respecto a -lo que se mueve. Si la composición de ·. 1
los elementos det¡ermina su -"uso" en este sentido, entonces' esa compo- ;H ,,. ·''-"1) :j'i 54912
sición es f~~~--~igr..!{iC.f!!1te. . ./ . ·¡ x783 1
. Con esa estrat¡egta ~n ·mente P94emos presentar tamb~en el eJemplo l
164736.' (pr!mt!r movimiento) _
'• ·

· • _ q~J~ _<;ifrél; ·c;~m~in :P,~q\le. ñoj\legode JlléliN~:el: !rucq consiste \el}.consi- 439296 (segunde> movimiento)
•derar aJa.aritrn,étj.Cfl misma un ~imple, juego. ,:par.a-~er m á~ p_reciso~; !SU- 38438~ (t~rcer rp.ovimiento)
·-; :·_--: :·-, . .;,· . ··'··
}-.
. 42996096' ' (último. movimiento) ··

··.; 'B.~s.u~4~9: '~. . . . Confío en que esto resulte lo suficientemente conocido como para
' SlMPLE ,Y cól0PL.EJO ,no tener que explicar las .reglas con'mayor detalle. . ·
· ·.-·~·· :· :!· -··.' , ., · .:;- f,.·:: t :.
• . \ ·. .•:¡·_· Un punto acerca de lasúglas es, siirerhbargo, muy importante: que
<>·'?;~~:: "·~ :~ ,:,,.
. ' .:<~¡·.__ : ·:"<2( ·->·~· .:-· ' ' yo las podría deletrear sin mencionar jamás los númerós (o cualquier
,.: . ; ' ' . '•' . :'·' .' , i:- . ,, •: : . , .. '' . ,; . · ' ' ·' . • otra cosa "fuera'' del sistema): digo solamente·qué manipulaCiones 9-e
; ; Y Aqu{·vá~os · ·~ ·; U:~ar .'simple' y 'complejo~ , t:!n .su
- ~igrü(icado elementos hay que hacer en.qué po-siciones,· en la· debida forma. Puesto
' ... ..... .·__t· rico"
.es. ·. ·t...·. _·. · .·_-·s·.:.-.
. Iu•_·p·_l....
e' s_ign
. _. ífica··
. ._
·"co_.
._m_. _..pUe_
. s_._
t.._o_ . _.,.,.
_d._e_·_un_
. a. só_· _la. ·p_ . . ' a:r_
.te-: · ,que los movimientos son también dígitos, resulta que'la ''multiplica-
qt.ie'no .~estáfi>rmado por di~tíntos somroneqtesu·. 'Coii1ple- . ción'' de cifras -arábigas se puede definii como un sistema completa-
jo' sig11 ifica Jo coptr~trio: "compuesto o form~do/ por dife- mente · fornial, que :~ podríamOs ·llamar er ' juégo ·.¡ormal dé la
rentes componeqte~; 8~~ -. t~ene _!(1áS' de up~-: :parte'~, g¡· .. niultiplicación: · . . .. .
ejempl6 clásj~pA~ tie.J}~ e,n t,a :t~otí,(iquíJ1!i(Oé}t;;~.~.glÍI) . la .9:ual · : , Sal~o por::un pequeño problema: ~~xiste un ~numero infinito· de ele-
' 10~ átofuos· sP.l1 simpl~.syJ~s rn()lé,c ulas comp{~jas · (f9rma- •iuerltós de cifras ará\:)igas diferentes / Ror lo·.t antü, la multiplicación for-
d.a:!);_pú~_'?ifefe.n.~~s 1:~!o~?s)_. _ ?l.·_~jern ~1?_ .Pf?P.?~ci()~a- ~a~- mal~iiene' un: número infin!to de ~posiciones ·y movimientos posible~
.· . ·. bi<hi :üriacoridlciO~l' l¡;Ilportan~e: queun~qqs,?{Se,asunple o ·· · distintos.iPero;i'por definiCión·;•iui' jugadorJinito!sólO tiene tin . n!perto~ ­
·· cOhlplejadet:>~nd~.,~e c,ómo se mire; J?e'sde'(~lP.~9t'éi 1 de vis· : rio finito,Jijo, de habilidades priniarias.' ~J::<:ntonces; ¿;cómo se puede ju-
ia . délos~' corfÚ>.()nept,fS, químicos;':los · á~.Q.J)l.OJ son simples; · ; gar.:de ;u in modo finito; con :la Iriultíplicación for.mal?/; '
péro 'desde ei •·ptlntp de yista de la física atómica son c.orn~ '.•
·· plejos;, · corrn)u~stos por ~údeos :y electrones simples: (Los .
: (• pt:gpi'()s..J1~clj;!9s.tS.P~ ~~PD?I?P.est9,fd~~~~~ el. ptu}tp<:d.~ y}st~ -d~ ·
. ·.:ua,.,respuesta es obviaí(Una vez ·que se comprende la;pregunta), ·pero
,v•-~. rd .. ad .' e.ra~en.~e·fu·n· d·a·m
• c~~~.E_a por h~~~C?..~c:<?~I?.!El~~ . (co!P-~~n~~~~I]_j_~ ..9~.g¡t.9s
·. ._:~.ta..l. :, .N o sólo\los; elemento~imdividuale~ (las ·p ·
· léJ.,f.ísicá.P.t1cft,gX; i?~re:hasla ¡;¡,_hpr: ~ ¡ls>. s ~J~.ct~oiJ,~,.s :r1q,üep~ll • s~~pl~W!no~~a~~~~:U..al. ~~-:!'fJ?<?rt_a.,t:tte~ _ --· .~ e!lr~a-~pu~ . .·
,,_ ~-str.u~,tl,lia ;cptp:.)cJ.d~~) · lar ~estas combinaciones están expresadas coin
....-· ·": ....__,,... ....... . . -.....,,.,___. . . .--..... ................,.... ,¡_:····..... . . ... ... .... .. _· ... . . . . ., .':'""·. . ..,..
~- ~ ., ··:· ~~ ~· ~····- 4 -· -..,_"" '~· ~, ...
· órrüula
.__.,...._~..._. . . __.
. Són sécuen- "
c1as específicas que e~~!:@nJo§·dígitos
··- -~ . • . .,.._. ;-.... ..,, ......
componentes
..
,. _ .~·-···--.., , -'-~~4-'"'·~~""'""'---·..-... ~-·- --..../--·~- •.
uno por uno. Así
 .
74 SISTEMAS. FORMALES AUTOMÁTICOS SISTEMAS AUTOMÁTI COS 75

es como la composición particular de las cifras determina lo que es vá- fras arábigas, ya que a cualquier entero distinto correspon-
lido, y también como un pequeño repertorio de.operaciones primarias de un tipo distinto de cifra arábiga, con un número finito
puede manejar cifras arbitrariamente grandes (por el método de las re- de dígitos, que lo representa. La noción de "finito pero ili-
peticiones finitas, pero ilimitadas). Verdaderamente, existe un a!gorit~ mitado" es importante también _e n otros contextos. Por
mo completo paralamultiplicaciónarábiga (obteniendo los productos ~jemplo en los sistemas algebraicos y de lógica formal, las
parciales, :escribiéndolos de determinada manera, surrtándolos, etc.), in- fórmulas (oraciones) y las demostraciones deben ser todas
cluyendo varios subalgoritmos pa,ra realizar los pasos necesarios (dígi,L · finitas; pero no existe coto a lo largo que puedan ser. Aná-
to por dígito), y así sucesivamente. Por lo tanto, la multiplicaCión está logamente, un algoritmo debe terminar siempre después de .
dentro de la haóilidad -finita .
~
· un número finitode pasos; pero no hay límite respecto a
cuántos pueden ser ~ Lo mismo vale, en principio, para el
tamaño de las computadoras (como las "cintas" de la má-
quina de Turing; véase "Máquinas deTuring y universali-
Recuadra·3 dad" en el capítulo 4). . · · · . ·
ILIMITADO VERSUS INFINITO

i
'
. ÉÚe es el ejemplo' que necesitábamos: los elementos son complejos; .•
Existeí;t'infinit os nún1eros finitos ,distintos; por lo tanto, ~~~~~-?.<:Ji~-~~~~~!~"ad ·\,
existen ~a,mpién i~fir1Ítos tiposq~~tirttos de cifras arábigas. n~ _ nvili.l ·y ,sm_ ,.~_m_ 1J~- r.g0. _2.9_~~!_.I1v_-P.~~S.S~-~~~JQ.~.~- -!&.I!~f~c.~do_..~-;. . :,_el p :__·
- l : I l u s t r a t a m b i é n el increíble poder corri- . . ; ae
cadau'ria cori 'sólo urf número finito de dígitos. ¿Cómo pue-
de serasí?'Laresp~éÚa esqu~, ;aunq~e cada u no de los nú- binar elementos co~lejos con óq~n:i as complejas .. Hasta-aQü1rerie- · .1
meros (o ciftás)en cuestión sea finito, no existe coto o límite ~ral~nñft'isJ)OSíéioñeS'válid.á;e· iminifos •
a lo gninde que pueda ser; son ilimitados. Más preCisamen- movimientos .válidos, y deÍ1tro de la habTWa(ffi~ffil~ccfaro· q-uela-rór­
te; pátá~ cada entero positivo, n0 importa Cl.lán .grande sea, ñíalizaqmdé1amuili~ño~S1ag-táñcosá; pero el mismo pun-
existe sieínpre' un ''siguiente'! que es aún mayor; y por lo .to sigue . siendo válido,-_. . para,, .las formalizaciones mucho · más
. tanto distinto de todos los antedor es; jamás llegamos al i~presl~~antes d~ liis_maiemáticas superiores, de la lógica, de la cien-
finaL ·· · · cia; d~ }a cOmputación, Q·e ht lingüística; etcétera~ .. .
¿Por que:s ignifica esto ·que son infinitamente ,disti~tos ?·· ·. ,Com(H¡uiera·:CJ.Ue s~~.sobre todo, es yálid(l en la inteligencia artifi-
_ pq(iern9s pJ'o!Ja,rJotratando d~ ·suponer lo contr-ario y v~r ·. cial. Pc>rq~e aunque Hobbes tenga razóh en que pensar es "computa-
después que'.es insostenible.Sup6ngamos.poHotaÍ:lto que · 'dón',\ definitivament~ se trat~ det:~D.a,¡:omputaciÓ,nmucho más compleja ·
existesóloun'númerofinitodeenteros:finitos; .e n:ese ,caso'. ~m1:1ec~o más de l<J qu,e,: el mis~ o f!opbes se Qubiel'a imagip.ado jamás.
C.OIJ10 yeremps (por,ej~~plo .en' ~Los estereo~ipcD~. del séntido común''
,exis ti:dác.sólo ~un·-determihado numer,o; de ellos) digamos >n;.
y rio más. Sü1·· embargo,. paracada entero positivo.sabe'm ds;,.. . en ~1 c~pJt~I_g 5)_;}~s. est~.~~~~r,~~ (pr.rpa~~s CIH~ ,d ~.6~da t<iner -~,11 slst~~~ •
)·que:existen·:exactamente::elmismo·1número:de·::enter:o.s ·po- · · ·· ·. · de tnt9.hgei1qíi .~pflc.I.~l~ para p~ger Ql~~.ip\llélr.':""inclú~() p~ra poderlle~llr
, sitivoslaistintos .qae llegan hasta éL y queJo incltiy;n; así; .. ,, _a cabp.1,-1n~ ccmversaqoq en .~nieng;l;l~Je. ,corri,el}t,e:'7son: enormes, y . ml,ly ·
::: .h a yJ~xactam.ente d,1eciséis en;tetos ·posi tivos:.disdntos ·deÍl ...· co.mPY~a<¡l_as : ~u ,éompos~cion•.int~rn~ ctetaUa#, además, :es ·completa~
mente decisiv~ para cóm.Q debe ser tltiÜzácia.: . ' . . ' '
·':• ah-16 ¡ünclú'siv~%.E-rítonces,: si. hubierá:sólo.n 'en,teros,;finitos .•~• -•' ..·. . ·;• ·. ·- .· ,. . . ' .· .. .
< • • ••
.. . . '. .
' ; . ,• ': ' ~. " ,: -, .,,·.
' ' ·._: . ' -' •' .- ' . ' ' ' : ·'·.
..,

~Üsti11tos ¡ · éstos se~ían :pre2is~mente. los ' enteros dd·,L,atri;;;·: '¡'·

,en parficularr-ningurto-podria . rsermayor.•q ue .rt·; PerQ',;para;¡ ~ :

·: .tualquir· en,~erofinito ex1ste•siempre unoirriayor >:quet€;1-'(aqtíí · ·
,. es:donde:entra•en juego•l milimitado ).'Worlo:tanto;i:eLnúmtlc>·
rd de·l osiefl:terosfinitos·.·no'puede ·sef. finitp : ..siempre haY :, .. ),

' ,•~~ m á s!,'tiAs Í que el número _de' nLf.rileros finitos . debe>~ e r.;iQ.-; :):· u.n ~ist~_M'aif.()r.~~~!o~úittco :~s :u 11 ·sistema· r-6 rril~üJ que h't.t<ibaJa, •·(o _·
· firiito,<.' _,, ·"· .:.;.r;·.<·;. ·. •·· .... ·: 'Juega)!}~i~J>l· Más precisamente1,espn m~célnismo .físico>(iguai -.
,; Esta .:óonclusión
-
es;váHda.¡:también
. .
pata Jos:
'
t ipos
.~--
;. de:. c~c;''
:' .
-
· - -. -
._ que una máquina)7éo:V 'las siguiehtes:: carácterísticas: , ·) _: • J: .
111111
 76 SISTE MAS FORMALES AUTOMÁTICOS SISTEMAS AUTOMÁTICOS 77

(enJi~~~¡f{~~~-~~i-~·V5!~~~if~c~~-P~~o~~l:~~~tos } '· to, con docenas de micrófonos, mezcladores, amplificadores, altavoces;

etc., no puede preocuparse de cómo funciona cada pieza, siempre y cuan-
2. en su operación n~nipula estos elementos automática- do funcione . Los diferentes componentes deben considerarse como ca-
mente aéacííer]io~ccinTás' rCglaS"ae · ese sistéiña~· . . . . .• . . ~ jas negras, y dadas por buenas, en el disefio de todo el sistema.
:Así: 'íin sist~ma ·t'oim~ll automáticó es éóino un conjunto de piezas L,o que se considere como caja negra depende del punto de vista de
de ajedrez que, sometidas a las leyes, dan, solas,. vuelta por .el tablero, cada uno;lo que para un ingeniero es un componente puede ser el siste-
o como una pluma mágica que escribe derivaciones matemáticas for -o( ma completo para otro. Por ejemplo, un amplificador es un sistema rr,[,,Jo•
.· ;,
malmente ·correctas ~in la ayuda cÍe ningún matemático. Estas . repre: ' de por sí complicado que algunos ingenieros electrónicos deben haber
sentaciones, algo extrafias y fantásticas, merecen un momento de disefiado a partir de cajas ·negras aún más pequefias: transistores, reós-
reflexión, aunque sólo sea para recordar que esos. sistemas maravillo- tatos, circuitos integrados; etc. El disefiador de los amplificadores los
sos (o sus equivalentes) se pueden construir ya. da por'buenos, pero desde luegoalguien más los debe haber .disefiado
J:ugarun juegoen laactualidad ,presupone algo más que sólo posi- también. Si lo que necesitamos saber es sólo qué .hace algo, entonces
ciones y movimientos: debe haber también uno o más jugadores y un podemos mirar simpleme~te su superficie (o consultar las hojas de las
árbitro. Los jugadores hacen sus movimientos siem'pre que lestoca. El especificaciones de fábrica); pero, si lo que queremos es entender cómo
1
árbitro no hace l1ingú·n movimiento, pero determina a quién le toca ju- hace todo lo que hace, e1;¡.tonces tenemos que ver adentro (o consultar
gar -es decir' qué jugador es el siguiente en jugar y' tal vez, con qué al equipo de disefiador ~s que lo ha realizado).
elementos debe seguir. ·El árbitrotambién define la posición inicial, de- Llegar a entender cómo algo hace lo queshace,examinando sus com-
cide.cuándo se termina el juego, ah unCía los resultados oficiales y 'otras ponentes y cómo estárl acoplados se llama análisi . ~­
có¡¡as<por;\_ ~r'éstiló. /En lós': juegos ámistósos existe ·Ia·'t ende.nCia á pasar baja un sistema complejo en términos de s interac<;iQI}~_c.le sus
pótalta · l~ ·runsl_ónH.él.:árbitro~' ya q\le·mucha§' veces: es'tan''s.encilia qu~ componentes· funcionales es un tip'CTde'"aiiaífsis.T0.Supongamos, -por
-los :jugadorés;xpisrn.os !a,puederi · l!ev~r- ~ 'cabó .' J;!eroestH2tann~~te ha" efeñiPJO;'{illeestamóif·perple]os--é'iíiipfésíó.íúidos con nuestro sistema
blindo;' él 'a rbihajé·(lebe estiu siempre sepárado del 'juego (lo que hace de ajedrez automático. Sabemos que consta (aparte de los elementos) .
. c váüdóstó~ülacfifereñe~~e; . de dos componentes formados por los ·.dos·jugadores de a)edrez y un
. y~elvén •complicadóS' eS esei:tciaLma:ntener dani componente formado por el árbitro; y sabemos que juegan juegos. de aje-
.. · la' distihcióri,·~ s~ -pena:·de .confusióries¡irrerriedüibles. ;. · · . .·••· · . ': drez Válidos. :Nos ·gustaría, ·ahora, entender c6molos hacen. En otras
'. ,, p'tiésú>" que ·-~h ,juego ~utomático · juegá'. verdaderahiente ·por s(mis~ palabras, ya no queremos considerar a los componentes como cajas ne-
mo, debe ~onte~efíodb's· ·esí:os ·elemeiltos; yeí{ realidáalopodetnq~.con~ gras; querernos analizarlos.'
;siderat básicaméñte·éómcruna combinacióh entre e!''(los) jugador(es), ,,, ' ·Una posibilidad es eh:ihálisis ' d~ sistemas forrriales automáticos más
el árb'itroyel'juego : •·m~nuaP' ·· · tlina~io: los eemeritos). A gun.a s've- ··· es
pequeños, decir, cuando un solo compÓnerite ~nun sistema total po-
c;es, ·desde I4egó;·.un: juego : for~afestá automatiza -~ · spl() parcialmen· dría ser él n\ismo un sistema formal automático completo , con sus pro-
· >te. ~ EH: el ajedréz ;eléctróiiico, por''ejemplo;'+~sólo':·urió de 'los jügadore~ pios pequeijos elementos particulares, manipulados por un grupo de
(más.et ár.bitrb)est~ automatizado; e~ "otro jugador:es ext'erior a la m á~ jugadores interiores, dirigidos por un árbitro interior -todó comple-
· :qU1z{i3j;· ~':Como· la per soria:: qúe.· Iácompró. : Pa·rida·te0da"ch~ '· Ios .sistem~s tamente distinto dé los elementos, ·jugadores y árbitro exteriores. To-
'. áutciinátiCbs;·shi·efubargó; nd ·significa un~ diferercia;·important~', 'y _po~ memos, .por éjemplo, a uri() de los jugadóres ·''exteriores". Hace un
·:· diíam()!ú cOrísideriu:.: iricluldO!i"a' todoslos:' jug~dóres ·: ·., :;-·.,:~c:. t:·i '" ::)· •· r .~. movi¡Í}jeºto ge ªjt:19r.ez.·y~Jigo_c~g.a. v~.z qg~, .el .árbitro indica una posi-
· ·,, ·: Hasü~ iallora· tH~mós· didÍói9 q'#ei' és gil;' sliiterriaform~l ·á.utorrtátic;o: ción y dice h etoca mover' !. '¿A_ qu~ se opo.dríari-parecer los "interio-
·:. un·j \le~o. man\i,a l;.'en.co·mHrúibi ó n':éoii úri(qs)'- j\lgádO'i(es) - ~Ut6~aiiía ~ res'' de'és'e Jvgador·, sup'ó'rliendü' que t~era :él mismo un sistelJ,la formal
do(s);y tin: :ár.bitrb. NÓ hemos· dicho cómotrabaj an i·ni de qué están he~ automático? .· ·. . . . . . . ·.· ·. . ··... . •. . · . •. .
chosj :u¡,..- ~n ' que~·principios están basadq~:: __,;porqu~' ·nádá ·de eso' es , Lanspu~sta, desdelúego, deperid~ ·del diS~fioespecífico; pero aquí
importante ,para explicar lo .que son; Utilizando · Qnp~ecioso J_ér. _ino . fenerrios.. ún~ diseño, que ..puede ,ser:Vit (véase fig. l);, tos elementos del
k dela•ingeniérí.~ ~\j\lgador(es):• y·árbitrose .consíderan: coii1o· á/fís.neg,._ ·.: ·_· . . : ,f.·,~ · ..,-·. -- .. :'_,_.;-_,.,_, . . :·-.-.~ --[._ ~- '-- ~

cosa.s,den.tro de las::·cuales !lose 'm ira. Por es(), "a menudo. es :u 1 ! COnsi~ · •· Bxiste otr~ tipo de análi~is ; como es el explicar cÓri'to logra~~ ~Ígoritmo SUS reS)Jltados,
1
10

. . .:ciera( só!o)a, ~',$iJp~rfi,gi~ . os.cur;a·~} ide:~un~:comp'onente;(qu~r-hace) ;(y dar ...:. medial)te una s~uenciaespecífica d~ pasos; explica~ las propiedades d.e un compuesto químico
·' e[\ términos.de ~u estr~ctura. mole~ular; q explicar ~l·slgnificadode un~ oración en términos del
_.·•.por,senta¡:ia, ,.su:J rabajo .inteqH) :(qórrzo:Jo.pace); P.or :ejemplo,. un)nge~ . si~~ificado de laspalábras. Desde.luego, además .~el a~álisis existen' otros tipos de 'explicaciones .
. ;, ni. ere) ·Cfe:sorlidQ'.' qÚe· ·. é'rÍ~a¡j},b. laÚ}ni sistéiil¡ii' de.:audicion :pa:fa·i'·Un :éonci~r_~ . . :~ .
··'_··_,¡·

(Para álgunas corÍipar~tiones ~ véase Hal\geiand '(l978):y las referencias que

· s~ Citan .ahí.) ·..
. . .. . .
,_ - -~- . : . .·· . .: .
- . .. ' ,. . .
. . . ;'' ; . ' . . ' :
·.. .
~-
 i SISTEMAS AUTOMÁTICOS 79
78 SISTEMAS FORMALES AUTOMÁTICOS . ~
•tl
j~~1?a ~-~J~ ~-?E;§l)_d~~-~. l(~~i:ió_n e)(t.~ri~r, co- '¡(Ése es un nivel de análisis. Pero puede haber muchos niveles: -~ajas
de cajas, dentro de ... hasta que los componentes s~an tan bási-
r.riet~!eJproporcj_oria4a por e1 á~bitro exter.iOJ:), lllás unª no_tacJ.ón es- 1 dentro
_tándar para espe · · os movimientos del ajedrez:)i!lY dos jugadores · )¡ cos que ya no se pu~dan an_aJizar más {o tal vez se podrían analizar sólo
interiores: el ' catalogado de movimiento" el "electo ·cre--moviiiilen- 1 :,
de alguna otra manera) . PodrfarÍ1os, por ejeinplo, analizar los .::ompo~
!SL. ~~~~nJiJE'"'il~J~~s~~L~~----cop!aJ?tei-Till) y · ;\ nentes del catalogador de movimiento y/o del elector de movimiento
(a partir del sistema anterior) en ·sistemas aún más pequeños; los dos
la señala _al catalogador _?e_movimi~n~?· _que pr~cé?e hacer -~~a !ista a ·.
casos serían completamente diferentes, ilustrando cada uno una ense-
d~QU<?§J!!.OVÍ~~-e!!_to_s ~álid_os ~¡¿¡ esa po,si~!9n'. J?~spués ·el á!bit_ro,. , ~ ¡ \.
indicando al mismo tiempo la posición y la lista, las séñala"al elector i '' - ñanza importante. (El árbitro interior podría ser analizable también;
_._- _. . . ····--·-~ ~ - - - --....---------.-~ -- , ~ --- -- ~ ----- . . . ------- d-- ~..--;---"'--- -- pero en
t. t·, este caso es demasiado aburrido.)
de movxmtento, que procede a elegir algun movtmtento de la hsta. Por \¡
ú~aeYmov1míentoelegido ....
comosa1icfade!
.,----·:-· -······--
süt'i- ·,:¡ . En tin sentido más profundo, el catalogador de movimiento es tri-
~,__.--

sistema(esto es, elp10Vtmiento

-------- ~----..... . . ....

que hace el jUgador exterior en el juego

. ., ' ·- . _ ,.•
vial, ya que existe un algoritmo para listar todos los movimientos váli-
.....
~........- ---·"'-.-.... ·
~-- -
dos .en cualquier posición del ajedrez. ¿,Tiene algo que ver lo que hacen
~~-~te.?.~ez) :· los algoritmos con los sistemas formales automáticos? En cierta for-
ma, todo. Hay qu~ recordar que para ejecutar un algoritmo serequiere
de un repertorio finito y fijo de habilidades primarias -tanto para las
operaciones primarias como para seguir las fórmulas prirnarias. Supon-
gamos, por lo tanto, que cada operación primaria tenga asignado un
solo jugador, cuya única habilidadsea esa operación; y, .supongamos
que el árbitro tenga todas las habilidades para-seguir la fórmula prima-
ria. Con cierta aproximación, ·entónces, el·árbitro puede seguir la fór~
mula, señalar a losjugaclores en el orden correcto (diciéndoles a quiéri
le toca eL turno y c(m qué elementos tiene que jugar); mientras que los
jugadores son los que lleyan a. cabó las· operaciones propuestas. El al-
goritmo puede ser ejecutado automáticamente por medio de un siste-
' ;.: ..
,. Jugador 1: Blancas': ~ . - ..- -.:------...;..---.--~
ma 'compuesto por. estOSijUgadores y este ár.bitfo. · .
' É.lenic'ntOs inl.erfo.icS.. .·· · _, . · ··--· - ·- - - -
r .. ·. ·> · .. . ' Descripción ·(o copia) de la posición e>terio("-l . _~.. __ _ . Pero, , ¿qué hay respecto a: esas habilidadesprimari~s? Bueno, cada
~ L · ·. . . Descripción de los ~oviniient_os en esa: pos i~ ·vez que un á habilidad en. sí se ·puede ·especificar por .medio ele .un algo-
..·Jugador inter~or .I -- . ,- --]·. [ '""!" '"'"'" ' ~
. , . -~ ~~·tal~gad~~ d~ movi~ie~to , ·. · ~lecto.. r de ~ ovim iento·J · ... :.
ritmo (en .términos .d e .habilidades. más simples), ·entonces toda iahabi- .
lidad se puede 'considerar como primaria en un algoritmo de~- /!!
1
..
(generador)
. · :: :.. - ·
·
- · -· ._ :_ ."·
(evaluador)
' . r . .·. ~
-
. _": ·,_.
La: única restriCción esquefirialm:entetodas as· ab~Ias .·
sean analizadas comohabilidades del nivel más bajo, que· son realmen-
te primarias -habilidades tan "faltas de inteligencia y mecánicas'' que
hasta .una máquina podría tener. .Este análisis de altos niveles .prima-
·~ .¡
. . .: ~:: .,r¿os.sobfe-algoritmos ;de · ·_v elba '({es · recisamente ,uri paralelo' con er
;ári~l~sis : · e;:ornp~nen~es ~e -~i~;Frn_á~~~~sc:!!_[;.~~~-iBas . ·
· -~~1~-~:: .· . as:aunt lospnmanos :elemep.tales del pnmer nivel ·
•son ex~ctamenteJos' ~i~m?S '-'excepto que, en un ~istemaal}tOmático,
_no sólo podrían ser; isinosone'ecütados· or niáquirtas prÍmarias ..
:> : · I?stos ;priirtarid~r' elemeptaJt:S (farito las operaciones (le JUga or CO_:
. \: j · imó~ ~~ segtiiri'li~,nto de:l~.- : fó~m~lap?r.'. jxirledeLárbit~.ól:s,cm ~l. pun~ó. fun-. .
. ~ . ., . · dame.ntaL .. el. cual -Jos•ststema~.'- Jorma'les se ' .encuentran ,. con la
.~~~:"jf aútomatizació . ~~~,l.l!E$~e.n12~-~, s:~. :r.~~~~,n.~~.~~t~~~~.ses.de :·
d¡(~ t·' .sus cu~uentos ~of~sttcad?ss1s.t~rnas! automáticos, ·~~ caJa negra en c::tj<{ ~-"
-~' .,."""1 : ~egra, .de lam1sma. maner~que s~.;p~ .den_ cons~a goritrn?sso[!¿.~~ 7
Figura 1. Análisis par~ral de .uná "n1áquina de ajedr"in'''' · :·
.j
:6
.. .
e,~~.11 . . .
,_t-~ cados a,·parttr
"
de•algon
. . .
. .
mosmas
.. · ·
.comunes; que -des~·
~-~-,-~---"'-.:,
.· .
ente · ~·
......:........ ....-. .
"~
80 SISTEMAS FORMALES AUTOMÁTICOS SlSTEMAS AUTOMÁTICOS . 81

en el nivel más bajo. El punto esencial, por lo tanto, se puede resumir explicadores inexplicados de una teoría, en términos de los
~ -
de la siguiente manera: de otra; el fisicalísmo, por lo tanto, es realmente el punto
de vista de que no existen explicadores inexplicados, excep-
PRINCIPIO DE AUTOMATIZACIÓN: CUando los movimientOS válidos de Ul1 sis- to los de la física. De acuerdo con esto, las explicaciones .
tema formal están cogmletamente determinados por algoritmos, enton- !¡¡ funcional/sistemáticas se pueden reducir también, si sus ex-
ces·esesistema~. _ · · , _ plicadores inexplicados (esencialmente las capacidades in-
•• , •••• -- . 1
teractivas de los componentes funcionales) pueden ser ellas
··;
mismas explicadas en términos .más elementales.
. Analizar los sistemas formales' automáticos según siste-
Recuadro 4 · mas aún más pequeños de cajas negras, que actúan entre
ANÁLISIS Y REDUCCIÚN sí es, por lo tanto, reduccionista · ~no en el sentido nomo-
¡ lógico, sino más bien en el sentido funcional/sistemático .
La conexión con la física está hecha en el (o vía el) nivel de ·
operaciones tan primitivas, que se pueden llevar a cabo con
Muchos filósofos y científicos creen que la naturaleza está mecanismos sin inteligencia.
unificada no sólo por el material básico con el cual están -.
hechas todas las ·cosas (materia), sino también por las le-
yes fundamentales con las cuales se puede explicar todo (la
física). A preconizar esta tesis adicional,. algunas veces re-
1!
·Por esta razón, automatizar el componente catalogador de movimien-
to del componente jugador de ajedrez de un sistema de ajedrez es (teó-
sumida corrio '"la unidad de la ciencia", se le:Uama fisica-
1
rica~ente) triviaL . · · · .· ·
o
, .lisrrw reduccionismo --+y lo último por el hecho que el ·El componente elector -de movimiento, en cambio, es otra cuestión.
fisicalismo-(a diferencia del materialismo puro) llega a afir- Si. el c~talogador qe movimiento listara sólo un movimiento válidQ, en- .
''-· inar que.j todas las demásdeneiasse pueden (en .principio) · . ton ces no se tendría que hacer ninguna elección; y.no ha~ría problema. ·
''redúeir'',,a•·la física:-·· Pero el ajedrez, igual que los. sistemas·formales más interesantes, es no-
Elejemplomás conoCido es)areducción .de latermodic · determinístico; es decir, que .eri 1a mayoría de las posiciones, solamente
·námica, segun •la cualel -éalor essólo unaforma alternati- algunos, deJos varios movimientos distintos, serán válidos. A veces,
va de energía, que se acumula. en la actividad caótica un movimiento es forzado, porque no hay ningún otro movimiento ~á-
·· alrededorde cada molécula·.• Con esto, -más ·algunos otros . lido, pero ·si todo el juego Juera así, sería realmente abrumador e inso~
des'cubrimientos ·técnicos; se. puede demostrar que las le- . portable -no divertido. Los algoritmos, en cambió, son siempre
yes·de .lá'termodinámica se·puederiderivar de las leyes .de determinísticos: son, por definición, procedimientos paso por paso que
· . lafísica - ~lo que implica que la termodinámica es básica- no permiten nunca opciones ni indecisiones sobre el paso siguiente. ¿Có-
- f!1ente im caso particularide la física. Esas reducciones se mo, entonces, puede· ser automatizado un sistema que permite elec-
. ? ' . . .
•llarrian -nomológicas {delgtiego •nomos .::= ley):·'. ; , '· - cwnes .. , .. i . •

---- -,, :>Muchas. explicaciones, ~sin embargo, no -recUrrena .J as le· ·¡,' Existen un par.·de respuestas despreciable~ ·que .podríamos·.también
· -.. yes',y ;' por lo tanto;:no'se pueden ·reducir: nomológicamen~ disponer .de modo ccmecto. Primero; el elect.or de~movimi~nt.o podría
te.·Cl1arido, por.ejemplo,;el señorGoodwrérlch explica .c;:ómo elegir el movimiento :que aparece a la cabeza de)a l.ista del cat~;tlogador
.funciona· el ·motor de uri a u tomóvih ri:o :l,ltiliza la .física; re;,.,_' ' (igualme~te podría ·utilizar cualq uier.· otro . pr:~ini!!§Jjfipél~o, .co•
. curre :másbien _.a das capacidades;-yfunciones d~·las dife- .: mo por eJemplo seleccionar eLmo:vimiento cQ-ya descripció'n sea la pri-
., ·rentes-partes;·: rnostrando ~u integración ejnfluencia·mutua . mera en orden alfabético)'¡Segundo, ,et~le.c.tor podría .elegir ,Q.e la.lista
. . . como<1,Ü.1 sistema'brganízadointegrádOl Enotras palabras, ''· · -'r
. 1
un movhniento.,a! azar; es decir; podríá cons~ltar. alguna ~nt,racJ.a:al a?a~
' analiza"el 'plbt_or; y lo:explíé:a; según suftmcíonal~dad y sis-' .;. ·\ (digamos,; como e_9har a Jos dadó~os d.atos !electrónico~) ;y hacer; qu~
.. ' ·teniaticidad>' · ';;<' ,,,, .; · . , · ·.... , _ .i· ésa sea la que determine 1· cción. Esas idea~ pq;dríanprqp1,1cir,un sis_;
.;.. > • Cuando: una!explicac;ión.recÜrré.a) las leyes; esas leyes :.,_ l tema parajugar; un ajedrez, V:filid ;,y; aunque superficialmente, con tes~ Vq/:Jcz
_,1
;~ 'rl0 viene:IrexpliCadas; :sino.simplemente usadas: .s irven CO":: 1 tan en Cierta· medida: a pregunta. Pero esos sistein~s Uegaría,I1 a. jugar v~
,:mo:explicadores·irtexplicados. La reducción es explicar lo~ .
~r
también un ajedrez atroz '-tan·desesperantemente loco; y .caótico, de ( •,-•c<M~
i
'!
 82 SISTEMAS FORMALES.AUTOMÁTICOS SISTEMAS AUTOMÁTICOS
83

: hecho, que dudaríamas en llamarlo ajedrez, aunque los movimientps Si el objetivo que nos hemos propuesto es hacer cuadrar la fórmula (cal~
___:~-: r l\
r.
1
son todos perfectamente válidos: . cular la estimación), entonces es un algoritmo (infalible). Pero si el ob-

~¡!
,: _ . El problema real, entonces, es Idear un elector que haga U~!! l.~- jetivo es encontrar un movimiento de ajedrez óptimo, entonces la rutina
¿~ Jo . .dc zonables inteligentes, sensa~. Por esgracia, no seco- es sólo un estimador falible, y por lo tanto sólo un procedimiento heu~
;ev.~ ·n~Os1'aCtíbíeSpara poder decir; en general, cuál es el mejor • rístico. La gracia de todo esto está en que: vista como algoritmo, la ru-
vi-u _ .~de dos movimientos de ajedrez (y mucho menos para la sensatez y co- tina puede ser automatizada como cualquie~-un /\
t-ro ,....}.v;d~~r•. ·sas semeJantes
· ) . N o es sorpren d en t e que 1os· en f oques- a es t e pro bl ema _,
empiecen a inclui: técnicas que son'' características de la investigación ..,
e:~~~p~eae''fimCio!lar co-
mo un buen elector de ñiovnñ~ O..!.Ql~~~~.9J?Ués de to- ,
r
de la inteligencia artificial, que trataremos con más detalle después. Por do, un elector de movimtentcí1)i;eno aunque falible puede ser'aufóma-
el momento, .sin embargo, un esbozo de un elector de movimiento del tizado por un algontmo. - -- -~-·-- ---- ---. -- .. · ·
-· -.--"-~-~-~-- .
ajedrez puede darnos una breve idea de lo que viene. ._
Esta estrategia de considerar o redescribir exactamente la misma co-
Obviamente el elector no necesita encontrar siempre el mejor movi- sa desde más de un punto de vista es esencial en toda la ciencia. Los
míento; ni el campeón más hábil juega un ajedréz perfecto. Más bien, médicos deben aprender aver sufrir a sus pacientes como conglomera-
·el objetívo es un sistema que escoja relativamente bien la mayoría de dos de tejidos vivos, y a los tejidos vivos como una mezcolanza quími~
las veces. En otras palabras, lo que se requiere no es realmente un crite- ca hirviente. Para entender por qué los sonetos se pueden preservar con
rio infalible para hacer el mejor movimiento (es decir, un ·algoritmo),_ tanta fa~ilidad, tenemos que reconsiderados como simples cadenas de
sino que basta con uncriterio lo suficientemente confiable, por medio caracteres dígitos. Veremos que la posibilidad de adoptar múltiples pun~
del cual la máquina po~~s elecciones tos de vista es particularmente importante en la inteligencia <~;rtificial
y.decidirse.por unabas~ante buena; Estos pro,_~-~ntou~!if.!.~J~­ -analizar cajas negras aut tizar métodos prácticos no son más
ro "suficientementec.onfiabJes'' _,se llaman eunstrco (en la literaTura que dos ejemplos. Li ed~scripció más importante surge, sin embar.:

f
f_-_•iJc(fa~ •défa'Jlltengeñtiá-~~úrici~í). Lai¡)ró'ceéi}iUi~iltos·_ éüriSfié1)S"fasTcfeli!fi~ ,,, go, cdhrespecto alasigni rcacwn :._:_unacuestión que no·podemos pos~
vr(q;CCI:~~~~~~··~
.. '-,._ -, ,' -:~"!" .... ~~-~--:--- - .. . .
poner mas. · · , · ··

~~~Q~?J~c_q~~!§xix;¡ji_ªo.s_~i!!_~;t?'ñ "~
e~<?21lq,.~t~!P--:~-~g~E~Y~!E!.~!-e.s Y~ ~Q'fes; ..
' Existen muchos :metodos prácticos para lograr ·un a}earez meJOL
Por ' ejen1plo, ·si~ndo iguales otras co~as, lo mejor es comer las pie.,
zas' del adyersa:rio sin -perqer ninguna propia (o cüando mucho; ' per~ ­
der :l'as. más : débiles);· de ·la inisma ·,manera sería mejor, ·en general¡
cóñttolát ·encentro; 'ríi'áiH:lár·pronto ,las piezas · al ataque; mantener el
rey a s'alvn, étc;>Pero todo el rnundó ·sabe ·que hay- cosas que no dan
lo misrno: ·aun:el rnejor -procedimiento:heurístico·Jalla .a Y¡eces~como _
en el' aparente' error craso(comer.' 'libre';) que resulta ser el cebo .de · _.1'

tina>exc~!e~t-~ ir~rnpa;;I~ay:*u9has,fo~mas . de a,umentar:las posibilida- !" ···

des ··como•cbnsidetar·niuchos procedimientos.y .sopesarlos todos o con~ _.

sid~ra.r s~c~enbiai'de movill}iéntos _a ·la .vez. (prevÚüendos~); •·Y,.el. resultado-
puecté ·set.tnl!~'i~bv.el;lo;·iauiJqile - todavía,üflperfecto -. • -·- · _;' .•:-•- >•-- . ' ;-_t.:: ·:·- .
-. · _· __--¿CÓwo ~·~yü~aq~,heyrJs~ica a rla; autC?matización? :-N~er _.
.. .
·•--0 . que ideaJl10 s, ~rra :ro~mul~pré<;~~~-~{p~ta· ~~~~ 111
-
. ·- iJ J _
M " ~- rióif métbdos' •. i'ácti~os•~bíen·•defintdos·Ja sahda ·de ·estafórmJ.lla-es l!na ··' .
es~L~!~~~9J!f!~!>k~A~L~i2E:.~~~!~~?l.~n
una: sitüaciónTdadai;:Uai fórrnulá e,n sí es pei:fectamente<explícita e ine.-
q\ilVÓ:ca~:" de:fñ~Iict~~_@t~~!}i~~}t§í~~~e
c~s·d~_ é ·Ia· ~~~f~~r¿_;~~!~-~·u:~9~~~I.l'o~
l. S~~aY¿; S esa r,utma. \.!:n : aJg~n:JtmoJ¡ Depende:del,pui1fo a~ VISt~: ·' .·