{· ~····· ...

¡.,

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
so
cadores", "contadores", o lo que sea) con. las que se juega el juego.
Por ejemplo, las piezas, las fichas y las piedrecitas son los _elementos
con los que se juega el~-d-rez;~ s damas y el go. Estos elementos son,
en general, pequeños -'bjetos físic fácilmente manejables, que se p~e­
den agarrar y mover con os e os; pero los elementos fOrmales no tie-
neri por qué ser siempre así. Tan es cierto, que los_elemento~ ~el gato ,
son casisiempre una O y una X escritas con una ttza o unlap1z; Y en .,
muchos juegos ele~trónicos los elementos son en realidad el enéendido
de interruptores y ciertos modelos de luces de colores.
-· Manipular elementos significa lina 'o más de las siguientes opera-
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);
...
3. afiadir otr'os nüevos a la posiCión; Y1o
4; 'quitar':algUrios. · ·. · ·.·. · . · _· . ..· .
En el ajedrez y en·las damas, por ejemplo, lo más frecuente es e~
. dÜnbiO 'd e·i }Ugar ' dtfli{s' piezas / á veC'e~ _Se quitan(CCHllen)_Yde _vez .e0:
· _.• cüihrdo ·c~fubian ~(aift}'ehd~ri);pero :ppriéas~ ~~ _añacte~nph~s.:~riel go;
.·:.eid:á:mbio:;· cadajugl:fda cc)nsiste ·enañadir una fnievaftchaen el table"
•f'il")r:; ;ae··.vei;eríctíarido', qtiitii~ 'álguh~s; ._pé'r6,: u~a: vez que !a_fiC_ha~st~~ ­
; 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
· ·!Jileaeil"s~Fiam6reilmaiii1íúlado~es·~~ ,em,?1:~-~t.9sL depehd}~ndo·de_l''ju~-- ­
~Qi;:(~ltrrie~H??~-~s' c9~~eni~nte ~sa_r ~~ .~étTiri? "!overp~~a, _c·~~~q~~:r tt-
.. po de mampulación de los·elementos, no ~019 par~ cam\)1? de pos1~1~0,· )_
· · PaJ'a' poder _deÍiÍlif':globalinente'·cúalqúier ''jue~o'' :--cual~\lJer _ ~Is"
tema fornúil ":· .qúe se base en'la. maniptiladóh de 'eleinent~s -h~y :e¡ u e
: 1 • ~
espedflcar-tres cosas:
.. -. • . :-_' -
·
. 1 -~ • ~' ; •
J. qué son· lós, elementos; . ·,
2. cuál e·s la ·posición inicíal (o cuáles 'son las posicio~es· iniciales al-
: ternativasf:y . ·._. · __ _ _ · · ' _ ' _ .· ' ._ ·
1
< · · :- · .1 : •---- ·' , <' ) .. . ·
·. ·J·;'qUé rrioviiriientÓs •(Ína~ipuiaciones) .está~"~ú~itidos :e~ :t<id.~. :P9'~ ·.
~-i~i~~~·g;:t~~~~~~?~~~·, ~~:Jg¡~~a,~¡~tt& ·~~~~~~~<o•·:uA·~·: ~&:fig,traciJ~.••_d;e :_·
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)
tieher{>urt1Cpósicfofi•:rnid'ill,determina:d'a~' sieínpte ·la~'misma! "i!J<f&_p ;·· éri
cambio .·. titÚié varías posiciones iniciales, que •depéhden 'de•lá füerz~; de
. toi jtigictores',' 'f ótros :sisternaiperrriifen\in.· núméi-8~-arbi'trai:idoe'posi- ·
2 . · •· · los a'utoéonteqidos, porqueclos ~istemas'Jormales _deben también ser. digitales y dé juego. rinitó ,) ·
dones iniciales posibles. . . _· . .. . . __
.·-· '· 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' _ . ...
rar como .un j1.1ego f,orm¡¡I 11 .tnuy par~cido al'ajedr~z, conla . diferen~!a · cte ·que~o juega upa sola
persoñá y. exist~n muéhas,posiciones}niciales . dif~rentes .. · ·.. ;·--.:- :, --
.· •.. :.!·:
JUEGOS FORMALES 51
Las posiciones cambianmediante (y sólo mediante) movimientosvá-
. /idos'. ~s decir, mediante las mani pu~~'::~~!l:!Q~_ gJJt;!_~~~
permlttdas por las regllls. Éstas dependen, en cada caso, de la posición
. .....
· ~-~---- ·· -·-- ~- ~
que ocupa el elemento, y de nada más. Por eso, un movimiento que
· ' es v~lido. en una posición puede no serlo en otra; pero si es válido en
cierta posición, entonces lo será siempre que se dé esa misma posición.
E~:tí · o punto se refuerza diciendo que los sistemas formales son
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 ! :): ·_,\ ,•]
•
Por ejemplo, en un juego de ajedrez como tal, es completamente indi- ··:&(' •.:
·r·: (':' ,.
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~
•
ses más diversos, lo único que interesa al juego, como tal, es Ú}posi-
ción de las piezas y las posibles después. 3
. Una consec · decisiva de la autonomía es la poca importancia
del-aspecto sigriÍficativ . Al ·concentrarnos. hasta ahora en :los juegos · \.
_herrws aplaza o. mente tualquier.pregunta sobré si los elementos
formales tienen!sigriificaclos. Pero ho es:necesario tener una bola de cris- -.
tal;para• ver qUe estás 'cuestiones ya estári.llegando (en el capítulo si~ . ·: ~
•. ~~i~~t~,!aa~~~:~:d:~i~s;~~tra~~r~tieo~e~~~:r~=c~;~i~~j s::~~~~~~~~~ ~ ~
~ión está relacionadacon el .'~,mi.indo · exterior''. _Lo podemos ver con ..
un;ejemploü.n poco imaginari6 : ·Su¡kmgéil:nos un juego en el cuál la si-
gulentehilera de le.~ras sea parte 'de lá posición: "El gato está sobre ·e1
tapete." (Y para mayor cla[idad, supongamos ütmbiénque ni los gatos
.. : . ni Íos· tapetes son elemeilt6s del juego~) El punto en cuestión entonces
•
és: nada 'que tenga que ve'r ~con algÓn gato, tapete o 'eón alguna relación
gato/tapete influye en qué mo:vimientos formales son \'álidos en ese jue- '
1
gü. DesdelúegOlabilerade letras puedemuy bien tener un significado'
~
(sobre ~algún gatb<i tapete, digarriqs); pero ese significado (si lo tiene)
·no 'intér7sá alsistehia formáicómotal : ' . ·. . . .·
-' : ' :;rod'os' los sistemas\ formales 'ci~é:hrmos considerado hasta aquí co-
_· · .·• ·'ri-ld'júegos;tierien algúbÚpo espedál de posiciones conocidas como me-
, _;. •-_tasio pOsiciones "ganadoras" .;;En estos ju~gos; el jugador o los jUgadores
· -se esfuetúinporalc~hzaruna· de esas posiciones planeando.y seleccio-
·~
~
o • : ~; .-: ~.::~'f.}h· ···- : : /~- .,.:·: :~ - . :-:.- . -. ' : :(•:·~·- ·:::; .: :T·: .c:<i'::;,~·:· -;~:- ~ --- :. ·-.•:. ·. _
.•_._.•• •·.. -.•·..·_ .•._.... ·. Las reglas de los movimientosválidosdetérminan implíCitamente lo que son las posicio-
-;:: / ·_:~ ;:·: ~ -. ,::: !::--··. ;· ,::: ·'·: _·~ . , ·, : . . . .·' : . - .
, ; -, ';. n~~ : :;esd~cir; si ra: Válidez dé' Úri :movimiento cualquiera dep~ncte de una característica X \ ·enfÓn>
. ': ,. :·des !'a c~tactÚísiicá; x~d~be" tÓ~t~fici:nno<parte' de la posiéión formal, (Eso hace triviales a nó
_ •• . ••. _ :
·:· :,HaY,' que _observár queJo~ sis(emas :aut~cQ~tenidos . sori áhiStó;i~os:, es decir , ·la hist~ri~ pl¡sad~
?eJo's,l)1ovihiien.tos'·nó. pueMafect!!r loqÜe es -válido ahorá,- ri_excepción ele los _efeétosque po'
-.:dtla tbri¿r én bipósicióri presenie_:(pbreso ur(ajedr~z · plenarrtérite .formal nece;ita' Üricis pocos
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

nando sus movimientos con mucho cuidado; cuando hay más de un ju-
gador, se trata a menudo de adversarios que compiten para verquién
puede alcanzar primero la posiCión ganadora. Pero es importante no-
tar que no, todos los sistemas formales son competitivos, ni tienen to-
dos una posición .ganadora; estas características· son comunes en los /f!
juegos sólo porque sirven para aumentar el entretenimiento y la diver-
sión. Pero 'muchos sistemas forn;¡ales importantes deben su importan,:
cia a razones que no tienen.,,nada que ver con la diversión (y la~
computadoras son tin ·ejemplo muy notable de .eso),, ·.
Un ejemplo muy sencillo de un sistema·formal que no implica una
competición (aun teniendo una posición ganadora) es el 'ramoso juego
deL~olitario que se juega con clavijas en un tablero que tiene una serie
de hoyos e~ forma de cruz. La posición inicial es la que aparece abajo.
Los puntos negros representan hoyos que contienen clavijas y el círcu-
~ocent~al representa ei hoyo vacío (el único en la posición inicial). Este
Jueg~'tiene sólo un tipo de movimiento válido: si se tieneri dos clavijas,·
una JUnto a otra, en un renglón o uria columna y un hoyo vacío junto
. a una,d e·ellas en el mismo renglón o columna, entonces se puede elimi- .
· n~:r1a~, clayi~a· intermedia ''saltando.!' la otra -clavija:;h'a sta el ho)IO .va-
<;~o..{Así que Jos dos hoyos que tenían clavijas se'quedanvacíos, mientras
- ~u~:.et~u~ estaba vaeío •ya: tiene una cl~;tvija :') EL·objetivo del juego es
Ir ~ehmmando.Jas ;clavijas .hasta que ·quede una sola en -eL centro. ·
,. · ·, . ¡ '
'•'
r =·
i,.
La primera "complicación importante" es realmente tan básica, que
debemos introducirla de una vez. En el juego del solitario hay sólo un
tipo de elemento: todas son clavijas, completamente iguales e intercam-
biables: Pero en los sistemas formales más interesantes hay, en cam-
bio, muchos tipos diferentes de elementos. En el ajedrez, por ejemplo,
existen seis tipos de elementos diferentes (de cada lado): el rey, .la rei-
n¡¡t, la torre, el alfil, el caballo y el peón. Los elementos formales se pue-
den intercambiar libremente si, y sólo si, son del mismo tipo. Por eso
da lo mismo qué peón blanco avanza a un escaque de peón blanco; pe-·
ro cambiar un peón por una torre o un peón blancopor uno negro pue-
de suponer una gqm diferencia. Por supuesto puede ser válido también
un movimiento que p'ermita cambiar piezas de diferent~ tipo; pero eso
da coino resultado una posición nueva y diferente. El intercambio de
piezas del mismo tipo ·no es un movimiehto y no afecta a la posición.
A propósito, ... alterar" una pieza (uno de los tipos de manipulación men-
cionados antes) significa,_realmente, cambiar su tipo (o sustituirla con
una de tipo diferente).
A fin de cuentas, son las reglas las que determinan los tipos de ele- .
m en tos. Las reglas son las ·que especific;an qué movimientos son váli-p ·. :
dos y en qué posiciones. Si intercambiar do~ piezas determinadas no ¡ \ ·
. afectaraqué.movimientos . .
.sou.
válidos -en cualquier
. . posición, . entonces
. . ' ' ·'
' •· .
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
tales abarcan mucho más que eso -incluyendo desde luego a una c~te­
goría metafísica fundamental. Todo sistema formal es digital, p<:ro ~~~
todo lo digital es unsistema formal. El alfabeto es digital, como lo sori
la moneda de uso corriente (el dinero), las barajas y el botón para en-
cender nuestro estéreo. En cambio la fotografía, los lingotes de oro,
las antenas receptoras y los controles de volumen del estéreo por lo ge-
neral no ·,son digitales . .¿Cuál ·es ··la ·diferencia básica?
Un sistema digital' e~ un conj~nio de técniCas· positivas y confiable~"
(métodos, dispositivos) para producir y reidentificar elementos, () con~
figuraciones de elementos, a partir de una colección de tipos ya especi-
ficados con anterioridad. Vamos a ver la esencia c;Ie todo esto: primero,
por el momento podemos hacer ·caso omiso de las configuracioites de
lós elementos ("elementos complejos''), así como dar por sentados la
veracidad y los tipos ya especificados. Segundo, podemos sustituir los
términos "escribir" y ·"leer" por los más altisonan~~woducir" y "rei-
dentificar", pero sólo. con dos advertenCias: 1) ~ ú() es simple-
mente hacer unas marcas con la pluma o el lápiz, sino mas bien cualquier
tipo de manipulación -d e elementos qüe cambie la posición formal (en- ·1'
tonces Úponer una ,clavija en el hoyo centrat'es ~escribir''; un •elethento ...
del tip~;: • uria·da\rij'a ,en el hoyo: central);· y '2)cfeei)nó implica cbrtlpfen-
SÍÓ!l ·(ni¡siqúiera!reco·nocimiento), sino solo· ~renciaCión:· por; tipo ·Y
I?Osición•'(un,eievador ''lee'~: 1~ presión;deh~ot~n·,~ P.'arán"
doseen el 'pis'o ' debidoY:' Estas simplifibiciones :permiten -dar una ver~
sión- ba~'tan~é :e~e,~ante cte.la defiriic~ón: uri~~~ó~hto. , •
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
sefíánmétódos•cuyo'·éxito es sólo tebitivó, parcial o''tiU:e pueden clasifi-
carse ·de ''casi exactamente'', '''ert ·casi ·todos' ·Io{casds 1 '; :o ···C;isFst:ifi-
ciente para dominar'' ; Que unatécnica•dada··sea,. positi:Ya dependeniUcho .
deJo que :se tonsidera como · éxito~ · lrriaginernos, por'ejerrtplb, que me:< ·
dimós.·cüidadosaménte dos ;rnétros dé tabla;itfaz'amos•,don' umúéi;cu~- ·
dra· unaJínea petpendictilariy :,uego!.c6rt"J.Ilbs:ciotl ·Úna-sierra.s-igtiie·rrdo
la' :línea;. ¿Es .ésta•üna: técnica p'ositiva? ·Búeno;:esó <deperide. Si'él ;obje.::
hvo especificado ·es ::
óbtenér
:
una tabla.qt1e
. . ·:.·.· .·····.' ··. ·.'' .
varíe entre'
. .... . , ..
_·,
. ~; . 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
de largo/ entoh¡;es.el rri~todo:no. es PO.sitivo; ya que:como!rrtáxirriopue-
detener :un :éxito .aproximado. .. ., · .. ··· 0 :.; ,. . :: ,>,:·> ·, ~ J.:.t.· ,··. ·
,Una·.téc_nica·posiüya p.o t~ene el éx.ito garantiiadd;"ili:: §Iquih'á .e:s.lhÜy
probabléqueJO·ténga<La cuestiónno es si tendrá éxito (él con'; q).léfre~
,cuenda),· sirio.Jo., bieiY.~que puede 'resultar: '1.lna técniéa pudde .resultar :urí
1 é~itó perfectamente; ·En.caq1biorcuandp· preguntamos-;sÓbrei:Iiqk~$ibi;: .:·.
. lid~d
::..:: .
de·éxit9,;se.tratá
. .. ' .
tte~:u.ri~!cü~stiómde:fiabilidal'[.rPar:.
. . -~ . ' - •.
.··.··•.. . ·· .
\
SISTEMAS DiGITALES 55
que mencionamos para serrar una tabla con un margen de error de dos
centímetros no sólo es positivo sino también confiable, porque puede
tener éxito casi si~mpre. Si el objetivo fuera estar dentro tie un margen
de un milímetro, entonces la técnica seguiría siendo positiva, pero sería
confiable o no dependiendo de la habilidad del aserrador. Peto si las
especificaciones tuvieran un márgen de más o menos un milésimo' de
milímetro, entonces la técnica no sería ni positiva ni confiable, porque
es imposible cortar la madera con tanta precisión. .
Muchas técnicas son positivas y confiables. Lanzar una pelota deba-
loncesto a la canasta es un método positivo (para hacerla entrar) por-
que puede tener un éxito absoluto y sin restricciones; es más., para los
jugadores con talento es bastante seguro. Contar, es una técnica positi-
va para determinar el número de lápices que hay en una caja Y la mayo-
. ría de la gente lo puede hacer con plena seguridad. Mover un interruptor
es ún método positivo para encender un horno y los termostatos lo pue-
t den hacer con seguridad. Por otro lado, no hay ningún método positi-
y) vo para mantener la temperatura a 37 grados exactamente: inclus? ~~
mejor termostato, lo únieo'(iue podría hacer es aproximarse al ob)etl- \.
· vo. Ningun~técnica puede determinar positivamente el peso exacto de ._,
lqslápiCes que hay en Úna ·caja o hacer que la pelota p~:J.se exactamente
poc el centro de la 'cárüiSta:, etcétera. . . ..; . . . .. . .
.:. ·Las técnita"s· digitales ·son..técnicas de. escritura/lectura. ''Escribir''
unelernentd 'signifiCa' ptddllcir '\lno de un tipo especificado dado (posi- '
olemenúi cOmplejo); "leer" tinelemento significa. determinar de qli~ J\ .
· ·~~~\~~D-~ii~i~i~W~:~~iiii~~;~r
és¡)~ilicaacFJ;arrr~· tecliica ' de; 'escritura. Un sistema digital es un c~n-
. jun.to e· técniCas• e ¿scritura/ledura que son positivas y confia!;lles;
en relación cori. este 'estándar de éxitQ para la escritura/lectura (y algu~
na 'critegóríaya·esp'éCificada de tipOs apropiadOs). · . · · . . . · · .·
· Hayuna grándiferendaéritre prci'dudr elementos e' identificarlos:
Por· ei;'o pÓdríariios deCif que lograr qí..te una pelota pase ' o no por '!a
·. ·~· canaSta s'O'ÍldóS'''tipbs dé''' ''elementos' pá'ra::ra.nzaf~lá-pelota n: .larlzár la
·. · ·:·pel()t'a:e seséri?ir ún:derrlento;:yv~r si•entró·ono·esléerlo :. P~r To-t~n~
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é
__ ,· · ·. '
metrOs ex~tctos :_ ·sabe'·disting.\iir;lds ··áCiert'Os ,. de las·· eq~lvotacionesV tenemos:·mi, sist~ma ·.
·. ·digital¡sirrit)Ie:; Pera:·esf6:es :bi'Ciett8~iriodo un:absurdo >N o' más absur- .·
.. dó' qué uri'ihteirh ptÓr:élé'Cffi'c'h',Cfe'iiiUlti pdsieión; LoS 'ti pos son'las difeiiCed , ·
. rentest·pdsiciones/pósif>ies; :. escribir Uri'élemento' :e<iúivalé' á colocar"·el ~i~: :
ir~terruptor ·en. alguriá p'o sidóíi; y leer la · ~;olocación equivale a ri:J.an'dar
eledricidiül atinterrúptor y, tener (solamente) Ja direcciór(del . circuito
.cteséáda .:.-.E sfói:es .pos itivá.·y.cooJiable· porqti'e ,las. diferentes posiciones
.
i e. sd!elini~tdd6
·;_ ... - : i::; <. ·y _
· e-~~·(p .. ej. por '.'chasq~- .
 56 SISTEMAS FORMALES AUTOMÁTICOS ·
solutamente inequívoco ,y determinado qué circuito conduce (en ca.da
posición).
Pero la verdadera importancia de los sistemas digitales surge cuan-
do i1~s referimos a casos más complicados. Consideremos por un mo-
mento Jos destinos .de los retratos de Rembrandt y-de ios sonetos de
Shakespear~. Incluso brindándoles los mayores cuidados, Jos retratos
se .van deteriorando lentamente; de ninguna manera son iguales ahora
que Cl,lando eran nuevos. Lo~·. poemas, ~n cambio, se han podido con-' '
servar -perfectamente. Algunos, claro, sejmeden haber perdido y otros 11¡
pueden haber sido mal copiados, pero,. con mucha probabilidad, tene- ··'
mos a la mayoría de ellos exactamente iguales a como los escribiera Sha-
kespeare .~sin la menor.imperfección. La .diferencia está, evidepte~pente,
en que el alfabeto es digital(cmi dciclo estándar de escribi~/leer), mien~
tras que -los colores .y.lá text1.1fa dejas -pinturas no lo son ..
! En el mundo realÚiste siempre una pequeña variación y un peque-
ño error. Una pelota no pasará jamás por lacimasta· dos veces de la
~~~~:;::~~a~~~t~~~~~:ci:I:.~~e~·~~~~~~s:~~~¿i~~~i~l~:n:;t~~f~
~~JI,Ü:Ú)<i.?- ~o~ igu.~les. t:~ada e~_ per(~~~o:', _d~~imos éJ. Il).enu~o . .Los sis- P--.~:~~,' f~
temas digitales, sm embargo, alcanzan (a .veces) la perfección, pese. al pf.. fi.
mundo: ¿C~mo? Esen~·ialmente al p~rmitir cierto "marg'en de err~r'',
d~qtt(): d«?l C]lal toqos.los resyltados son equ,i~~l~nte~ y e~ é~1to esJotal. , 1
El .eleqwnto exacto; pqrlotanto, notieJ;Ie importancia, siempre y cuando ...
s~,~~~ntenga,·''dentr{) .: delato~erancia} ~--~~ En. el ·balonc~sto~.' ~na can~·s­
ta, .es.:u na_cánasta; ,yfallar mia: noJo es. I-Jay. muchas . J;Ilan~ras ligera7
.· mente difé~é~tes de 'es.cribir un.caráéier querepresente.:de ~na ma~~~á
tQt~l~ . in'~qJÚY()c~.un~ A~ : Por,eso . do~ ~~pia~ . de _ Ón , po~m~puede~ - ser .
.igu~lmynt~
\''•¡' ·:· '
¡ p¡;:r;fectas ~u,nque est..é.. n
, ..- ,, . _. ._,_ - · ·:··· . .. · , .. .. . ' -,: ' .
·. escri(as .(o impresas)
·._ '' . •. _.· ' .. •·· , . ' "' . .... :.
difer.ente, sietnprey ,cuando cadacarácte.r . resulte~laramente reconoci-
blé .it~' eo~r(!cto)~ ~ · · .. · · . · · · ·· ·.· ,· ·' · ·_· · · .
Unáraz~n éle,por.,gu,é es i~portant~ ·esto.,es qÜe. pe~m'ite lJ.na ~ier'ta
complejidag :q~e- de .otro ll10do· seria .:4ifícil _p imposib~~.. pªrél. ver.eso,
a
. vamos considerar..dos formas. completamenie;difererités de -manejar
.~~. 4iri~~9· en~.Il;;i~egq ~e. p~k,(!t~;):-asdp~l~tiu~a~- cplQr;~..~~fe~.~ntes•pa~.'.l
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 ,
s~ntal: el.:d~n:· ;.._eL~:Üe.z ,y .el :mi~, re.sp~ectiv~u1wni~_;¡,,P,ero: nü~ntras que en -
~~ si~i~ma :la; ~nidad .d~;cada. de~oÍni~aciqn esi disco .de.;plástico 4n:
cgjg'i '{la ;fi'bii~. Pij PA~~;)f .e~ e.l ,ptr~ ei .~~~ éH~~~·t,é\déi;_~e. iina él.~~n~ .d.~
.colp!f?S,,¿pH~!e~;SWtJa.s .x~I1t<lja.,u~laJ.iy~§. g~ ,~sqs !i9&Jlrr~glp~? , B~~P:?• ·· ..·
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 ·
pu~qa.~~da. ·,'~e ~.re,p~;~ bla.t1cf! ql.l~ 119 ~st~ ll, ~I1a.,<;:,9,11,· Ias Kisha.s.no,,sé p~t;!:
• • ·. ·•. t • .. . " ' •. '" ' · .; , ·,
.\ · • ;,;4~·ás 'tdleranda: .~ar~ 'l~s;té6nicis''~e ':s~rit~r~ ··están ;det~fritl~ád~s ·r~ái~~~i~ · t~~,~~ preci)
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
SISTEMAS DIGITALES 57
.1...
de hacer eso. Pero el sistema de fichas es digital: existe una técnica po-
sitiva para determinar el monto de cualquier apuesta (específicam e,
contar las fichas de cada color) y, por lo tanto, ca\fa apuesta es exact
La ventaja del arreglo digital. aparece en e.! caso de apuestas grandes
, y precisas. Puesto que un volumen de arena no puede ser jamás medi-
do exactamente, con el sistema de arena habría siempre algún pequeño
1 error en una apuesta -digamos ± 20Jo para fines de exposiCión. Aho-
ra,. supongamos que se tengan+ 914 unidades:Con las fichas es fácil:
se cuentan nueve azules, una roja y. cuatro blancas, y se tiene el monto
exacto. Pero con la arena las cosas no son tan sencillas. El 201o de 900
unidades son 18 unidades; porJo tanto el error esperado con la arena
azul (losgranos que se pegan a la cuchara, etc.) vale rnás que .toda la
arena roja y blanca juntas. En efecto, la impreci'sión en las grandes de-
nominaciones hunde por completo la significación de las pequeñas de~
nominaciones ylas vuelve superfluas. Pero pequeñas "hnperfecci.ones"
.... no afectan el valor de las fichas azules. Aunque estén rayadas y desgas-
· ·r
tadas siguen valiendo exactamente 100 fichas blancas, y por lo tanto
· las fichas blancas adicionales no llegan a ser jamás superfluas.
- Por sqpuestO ,que eL2o/o. no es una medidamuy pr~cisa, y que 914
unidades ·es en cierto modp una apuesta extraña; pero la diferencia es
.una q1estión de principio: en algún momento veremos que la compleji-
daq_y.la versatilidaq permitidas con las diferentes denominaci9nes se.
.rán factibles Ónicámente. en mi siste~a con técnicas p~sitivas de p. - ·
escritura/lectura. Lo mismo ocurre en cualquier sistema complejo, en
donde pequeñas desviaciones en una parte pueden producir enormes di-
ferencias -en otras; debe haber alguna manera de evitar los componen'- "'
, tes cuya influencia pueda repercutir accidentalmente en los que son
con .'• un. a ·letra
' •. . ·, .
sensibles; Los diseños digitales son Uno de los medios conocidos más
eficaces para enfrentar este problema, que es una de las principales ra-
.· zones. por las ·qu~ son, ifl1portantes. ·
. Por definición, .todo sistema formal es un sistema.digital. Por eso
lo& .sistemas forii1al~q~áílextra,O'i=aJñiiiTa~te intrin-
. cad2D': compltcados sin qu~qarfuera de control ,:-;-_un hecho importan-
te p~qt ~éJ. . int,eli¡sencil:l artificiaL por m:tJc;lla~ razones:. Pero .primero·
deberíamos considerar los casos más claros, empezando.con nuestro vie-
jo, ,ejempl,o;d~Lsqlitario. ¿f».qr qu~ ~s digitéi11 ·.~;'J3scribir'' up elemento
·ele' sü~llific¡¡, producir u11anueva pq,sicí(>n por m~dio, ,de ug movimiento (es
decir,. ~áltar una clayija por enci.tna _dr;: otra y eliminar esta última) y
., ~.Ie~r',' ese el~m~nto · sign,ificft ~e¡;o,nocer,la nueva posición(y,· pprlo tan-
to .determiJ;I;:tr qu.é .moyimi~l}tos: ~erán válidt;>s -en ad.elante). Este. ciclo
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-
'
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
1t·:· el). el.hoyo: •!l:\ln as( se e11cu,ent.r:a absqluta y perfectamente en ese hoyo

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-
cional de las piezas de diferente tipo. Pero una distinción positiva de
las piezas (de cualquier conjunto decente) es tan trivial como identifi-
ca~· en qué escaque están. Una vez más, el amplio error, el hecho de
que las piezas sean completamente distintas y que rio tengan por qué
estar puestas exactamente en el cen,tro del escaque, es lo que hace posi~ :
ble -las'técnicas positivas. El billar, en cambio, no es digital: la posición
exacta de lás bolas puede ser de enorme importancia. Vamos a ·conside-
rar la diferenCia que puede haber entre revolver accidentalmente un juego
de ajedrez y uno de billar. Los jugadores de ajedrez con buena memo-
. ria podrían reconstruir perfectamente las posiCiones (básicamente por-
que mover las piezas unos pocos milíinetros no importa). Una posición
de billar ,•en cambio; no puede ser jamás reconstruida exactamente, ni
siquiera con impresiones fotográficas y los mejores instrumentos; una
partida entre amigos se puyde reconstruir sin problemas,' pero un em-
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-
cionado toóH'á-inteligénCiá ;artificiaLNo sólo logra ql.Jé algo 'enorme-
·m.ente 'có'mplejó se vuelva'ifactible, 'si'ñó qué estambiéri élfúridamento
·. de ótra·ptopiedád''ésencial de los sistemas fo'rmales: su 'independencia
.cle cualquier medio m·aterial paftiCular. La inteligencia'debe tendÜm-
. bién esta: prOpiedad para quepl1edahaber;álgu~a vezrobots ingeniosos.
'·._~- · .._:;~ · . · ~ ; . ':'· · ·. : ·.~: !.- : ._ '·· ·>i, -~ - ;',. ; _ ';: '' t-< ·;·· ,;.:
LA· • .•.INDEPENDENCIA DEL. 'MEDIO Y LA; EQ.ÍJJVALENCIA.FORMAL
~-· -;~
: .,. ... . :•·: _ -: . .: . . ·. _J·: ,; : :;- - --~
Los sistemas formales son independientes del 'medio en el cual ~e en-
cuentrim ''Ihaterializados''. En otras palabras, e's encialmented mismo
· sist~ma formal puede ser materializado en düilquÍer ntírrteró"de medios
· diferentes :sih ninguna ;diferencia formal· ~igQificátivá: :ÉSf~ es' UÍla Ca"
·.:·racteiística·iiri.p ortánte1de lbs' sistemas 'f órmáles eri gért~tál(y6:Hflfárrio
"la 'irtclep(mdefic'il d(ü•;. ' a"""· •<+ . ..;,. ' ' ' ·' ·''t:,·••¡ , ., , ' . ; ,' ' '· '
:..., ·. -'Par~·empez~r con' ::tej~fuplh fámiliai,'esevid~~i~-q_~e;~·alo.~rs!
ya
: mo. · p·~·tai él'tabler.O·'déJ. ,solitarió''qÚé'' llfs+eíaVij'a's seaif·dé': maBGfit·o·· aé·
'1 ·. plásticor::rojas· o·-vétd~s·y de'medib 'centímettó- o ·dérindoe~gf~ésa·s :' Po~·
dem os. cambiat}oü~:Iq uiera de•estas,ciiraCíerí~tica:s :: o .fbda'i>; Y''Séguii.-J Íl-
1
~ 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
1! sustituirse por ·.carikas ~.(}ue er1tr*tán~eh ;pbquéños · agilj~tos.'; .o:pór ~nas ._
X ': marcada~ :con :tiza._·en''iiná'!casill'as;·· a incluso ·por rüédás1:de 'c-ebolla·
l ____colg=: d~:no; clavót. ~«~óa=ti·:~•i¡s~lñodlfiCari:Jaffó~iéi6ti iÓicitil
'>l'iTI·MI\~, Hli{MAII 1.S 1\ll'lllMATit:tlC. INill~l'l~NOENCIA DEL MEDIO Y EQUIVALENCIA FORMAL . 59
ma en otro completamente diferente.
Del mismo modo, hay piezas de ajedrez de muchos estilos y tama-
ños -aunque el color es importante para distinguir a los contrincan-
tes. Mejor dicho, lo -que verdaderamente importa es que cada pieza sea
totalmente identificable, tanto por forma como porjugador.(así como
el escaque que ocupa). Sin embargo, según esa I:estricción el límite lle-
ga al cielo. Dos millonarios tejanos, por ejemplo, podrían jugar aje-
drez desde · sus respectivos penthouses usando 32 helicópteros
radiocontrolados y 64 azoteas. O, si fueran dueños de un hotel de ocho
pisos, con ocho habitaciones por piso, podrían poner en las ventanas
persianas con unas marcas muy brillantes (que redistribuiría el perso-
. n.al del hotel según las órdenes).
Estos extravagantes ejemplos se mencionan únicamente por ser tan
extraordinaria la independenCia del medio en sí; la mayoría de los jue-
gos no formales no son independientes de su medio en absoluto. Aumen-
ejempló, cambiaría mucho el juego, en especial en la estrategia de los
pases y de. los tiros; Si se aumentara el balón veinte veces (por no men-
cionar el caso de que fuera-sustituido por ún helicóptero), lo que se es-
. tar:ía jugando no tendría .· n.ada que ver con el futbol común. El billar
es ,igual de .sensible al ·tamafio{yal p_e soy la forma y.Iatextura. :.) -de
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" ·
.'· · ,:_1· · ·:-' -·.. - · '
ciembre,.los alm,ac~nes están inUndados .c on versiones nuevas y más in~
.
.- ,...; ;, .- . . --. ·, . ·'
geniosasde:: 'hockey· de.bolsillo'', ''futbolines'' y demás,. así c_omo cori
ajedre<;es y damas electrónicos. Pero hay una diferencia pavQrosa en-
tre los casos .- EL,hockey: dé ~bolsillotienetanto en común. con el hockey
como las figuras de .1111\dera con loshombres: .se puede ver cierta anal o"
gía·en algunos ,aspectos· estructurales; ·. pero fuera. de eso ni siquiera se
parec;en~ :ELajedi:ez' electrónico, emcambio, ·es ajedrez -.;..rio de la cali"
da<f de':! Os grande~ rrü!estió's 't al<vei, pero sígenuin:P.rRemplazar balo~
nes·y :diseos reglanientarios:'c on..séfiale$: electrónicas es mucho peor que
·canibiapJel.taniaÍi():;sirr1plemente.un mariscal de campo real; vivo, :ni
siquierá :p~ede•tecibirúria' sefial; ;p asarla·o patear la; .:Perolas :.repí:esew
táciones luminosas· furlCionari igual de bien que ,las piezas (genuinas)
de ajed~ez; Iós carripc:;ones rusoslas pueden atacár (y próbáblementeco-
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
éha ¡plalieacióny;estrategia; lYi :d'esde luego; las piezas del :ajedrez .· y.·las
fichas :ddas damas y del 'go..son•o[>jetos tan;físicos •comoJas pelotas, · .
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~
· 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\
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 ~; ': ·
mos al caso de Shakespeare versus' Rembrandt: ya que .el alfabeto es '
digital, los poemas so:nindependientes del medio. Pueden estar ci,nce-
. lados en piedra, grab¡1dos en Braille o en un código de computadora,
o románticamente trazados en la arena y, si el orden de las letras y la
puntuaCión se mantienen constantes, el poema como tal no se ve afec-
tado en nada. Podríamos pensar que lo mismo es válido para las .pintu-
ras: mientras eL"orden" de los colores, las texturas, los reflejos, etc.
se mantengan.exactamente, un retrato puede ser ·r eproducido indistin-
tamente en óleo, 1lcrílico, acuarela, o en el medio que se desee. El pro~
blema ,es que, en la práctica, las propiedades de las pinturas hose pueden
. reproducir ex e. ni. siquiera en un solo medio, no digamos en
varios;. . EsJa. igitali?,:ació del alfabeto ~Y por lo tanto la independen~
cia del medio...:..: a que . a ce posible lareproducción exacta deJa s'ecuencia ' ,!¡;.
3. Un movimiento consiste en intercambiar dos fichas de la canasti-
lla blanca por una ficha de la negra; pero hay una restricción para este
intercambio:
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
que se va a pasar de la canastilia negra a la blanca.
Por ejemplo:
'AX, BX< = >CX y AX, AW< '= >AV son movimientos válidos;
pero ET, EV < = > EZ no es válido (no son letras secuenciales);
AW, BX<= >CY no es válido (no es la misma'Ietra); y
AX, CX < = > BX no es válido (la letra intermedia en la canastilla
negra).
El juego lo' juega una sola persona y el objetivo es terminar con to-
··=·
i das las fichas intercambiadas (es decir, todas menos DW, que se queda
·:;.::
1:.,· en la canastilla negra) .
¡ Evidentemente se trata de un juego digital y formal, y por lo tanto
1 independiente del medio. Las fichas pueden ser de madera, en lugar de
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·-
to ·coir_espondiente (es decir., .de ::la posición···correspqhdiente ala 1;posi:
cióri correspondiente) sea' válido ·en él otro sistema; .y·' · , .
3. ~ (todas) Jas posiciones iniciales correspondan._'
- · Esto.implica que también existe ur1a correspóndencia e~acta en las ·
. .
posicion~s . permitidas a las que se puede llegará partir de#s ·posiciones
iniciaJes de los dos sistem~s: si·~ puedeii\q~. aquí a allá ert:)ino, se pue-
,de ir taf!1biérí' de ,aquí a allá en el otro) (S_Lse cQnsidér~ ,¡\;' Jqs do.s •siste-
mas•como juegos:·cónposiciones'enlas·'que se·:gai}~; ::eritorices'ést'a:S deben
córres'ponder ,.tailibiéri';) /} · · . . · ' ; ,- '' ···· ·: .,. ' · :... · ., ' :' \
N~estras ilustracione~ anteriores de la iridep~ride~_~i~ . d~i medió sort, ...
desdeJuego, sólo casos.especiales 'de equivalencia fohnal: exactamente
bastante aproximación (por no decir con ''informalidad'') evitando en
lo posibleJostecnicismos matemátic()S;"Sin embargq, una cuestión téc-
nica es esencial para la ~dea pur,a deJaformalidaP,: ¿cuáles son los lími-
· ., 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';
;¡~
, ..:.:...esto es¡ hacer y reconocer los movimientos permitidos por las reglas.
Aunque sea UI).a falta de delicadeza; queremos. fnsistir .e n que los juegos
formales los pueden jug~njugadores finitos: no . se· requieren poderes
·=
~~
i{1f~nitos. o'mágicos ¡ ; Por <,>tra parte,r.nrestra definición teórica no tiene
porqu~, ~er estricta: los jugadores no.tienen que' e$ütr - limit~dos a habi-
- lid~des~ó: reo,ursQ~'-·espec;:ialesi:,( corno ·SQ,ll. las.ha.bilidades -hmnanas .O de
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
Poder jugar un juego formal_es ??der~~~ -~~~~s., ~ero, ¿q.ué
implicaeso exactamente? En prmcipto, unos JUgadores habiles deben
poder siempre (esto es, en cua}quier posición dada)
J. decir _:_sobre cualquier movimiento que se vaya a realizar·- si el
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
. -.
Así que no tendríamos mucho de jugadores de ajedrez si no pudié- '
ramos decir con seguridad si son válidos los movimientos de nuestros Lf¡,
adversarios o no supiéramos mov.er nosotros mismos en la forn1a debi,-
da. Insistir, pues, en que los sistemas formq!es teng;:tn una posibilidad
fin(t{l' c!e)UelJ? e~ ÍJ:lSistire~§s~UOS-~Il~cfa_g~)i necesarias estén
al alcance de los jugadoresJinitos. Y así surge ~gunta: ¿qué se puede ·
ésperar-ae-·u:nüsjugaaóresfínltos?
Algunas operaciones están claramente dentro del significado de fi-
nito, rriás que nada porque son triviales. No se necesita,' por ejemplo,
ningún poder mágico o infinito para ~un elem~nto d~ la letra _
A en .un trozo de papel cada vez que se cierra un determmado mterrup-
tor. Yl1o sólo portenerlo ala vista, sinotambién.porquetenemos.una
demostración adicional en el hecho de que las máquinas de escrib · 'e~
tricas (finitas, no mágicas) lo pueden ha·cer. La facuitad de<{dentific
elementos ·sirnples de un conjunto común y corriente es en priñcip o tan
. t~rrenal como se ve por ejemplo en la clasificación de las monedas que
haceri'Ias rl1áqüinas traganione~as; De nuevo es fácil mover, digamos,
una pieza de' ajedrez de un· escaque a otro indicándolo apuntando con'
el dedó.; ;11i se necesita mucho para movenei .ín.diee hasta .un escaque
cer~al1o, en una dirección dada, etc.Sin embargo, no esimport~nte ca-
talogar; ·ni siquiera delirriitar,.completamente,· estas habilidades ·eviden-
temente finitas, ya qqe queda ·establecido que existen. I~o .que nos da'
un luga8 r donde empezar: se supone que un jugadodinito tiene un
f6oJ',~~;~~;~; epertorio inito de ~especff!cas·~ue pue~e~reali- /!f
Al-~,;i,Y: :~' zar, .•.. ~·· una manera positiVa .y. confrable, ~ualqmer numero ·flmto de
veces; ··
·!r·Las 'operacion'e's·primariasfdesdeluego; son sólo· el principio, Para
jugar ajedrez se ·.hecesita mucho más que saber identificar- y mover las
piezas indicadas entreldsescaques indi~ados;'·en·cada~·m.ovimiento.-que' ·
piensa, unjugadbr debe poder determinar también si es válido para: esa
pieza, si pone en' peligro al rey, si le comerán la piyza, ·etc. Ya-que,estas·
'pruebas •suponen •casi siempre una· di:v ersidad ·de ,factores relac~onados
.. entre s.í;'mo son todas,simples :ni .triviales;.i.por: do tanto no se ·deberían
considerar domo pi"iln.árias: En córtsecUenCia, los •jugadores finitos_de-
ben poder efectuar operaci9nes. que no son Pfilllarias.. Esto es bast;;mtti
.soriJr:end~nte; la tar~aah.()ra,., e.s 9efirlir _estas 'ntiey,as. habilidades no ,pri-
marias de form(l qUe .,sigan..siendo. indiscutiblemente 'finitas. --
Los jugadores
,-:
'
pueden realizar operaciones indeterminadamente cpmc.
' '
POSIBILIDAD FINITA DE JUEGO Y ALGORITMOS 65
-~ -
·~-
. !' \ ' ' plicadas al efectuar combinaciones ordenadas de operaciones primarias.
Para ver, por ejemplo~aStaíiañilrartüdisras
piezas del adversario, una por una, y ver si alguna de ellas está atacan-
do al rey (lo que a su vez podría significar una combinación de pasos
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.~
efecto, l~ combinación espeCial de pasos que se r~quiere en una opera- r· •f>. . r
ci~n coÍnpíe]áaéte'estái~éspedfíc~da· 'por' alguna sueii'é
de regla o
''fó~se[jugáélor- i:eiíC!ráciU:e-seguír~ para poder lle-
varla a cabo'. ' -- · ....-· ,. .. ..· . .,
Por d-esgracia, ése es el punto c~n el cual empezamos: cuatro párra-
fos atrás preguntábamos qué se tenía que hacer para seguir las reglas, V
1
y ahora resulta que lo que se tiene que hacer es precisamente seguir las
reglas. ¡Espléndido! No todo está perdido sin embargo, ya que algunas
reglas son más fáciles de seguir qu~Qt.ra~. Lo que tenemos que hacer,
entonces, es definir una categoría(~speci~e reglas que requieren sólo
de habil.idades primaria~ashgias ·es decir, habilidades ·Jj
que, ahgual que las operaciones primarias mi~mas, estén claramente U•;·:·" P~
dentro de una h<~J2ilidadfinita; Estas reglas especiales se pueden usar f:,:.t~~.::t
entoncés para ·~') tanto operaciones complejas como reglas ';·~~'e ''lprn·
complejas para lo que sigue. -· ' , '· ' ',~':, •:.':'-
Un '!l~.f!!:.iJ!E!!. es una fórmula-infalible; paso a paso\ para .obtener
un resultado espeCificado con anterioridad. "Infalible" significa que
el procedimiento está garantizado para tener un éxito total con un nú-
mero finito de·pasos{suponiendo que ·cada paso se lleva a cabo correc-
tamente). Hay que notar, sin embargo, que aunque el número total de
pasos debe ser siempre finito, no debe haber ningún límite previo al nú-
mero de pasos que pueda haber. "Paso a paso~' significa tres cosas: P(r":r:,·,,:
l} la fórmula indica un paso ala vez, uno d .uéS-4 otro; 2) después Aly'''-!"'1
de cada paso, el siguiente está plenamente eterminad (no hay opcio-
nes niindecisiones); . x 3}·-desR_ues de cada paso, e Iguiente paso es ob- pnJifl¡t> :
~ (I?:Q.:~~:.!l~~J~~~rsp~~t(c)~!Eg,~~~.:J~é:lE~ :i~:J:~i-~~E~:-~9). -";- ~(r¡(¡¡)l<,1¡
·Jntmti~amente; ·los:afgontmos sorr ·má~ que ·r utinastontas que ''ha-
cen giraPla manivela'' quesiempreJunciona(tarde o temprano). Por !
ejemplo,·si .tenemos un. llavero con-lláves; una deJas ·cuales correspon-
de a ·determin'a da .cerra"dura,.ir probándolas unatnis. otra en 'forma se-
cúendal es'un algoritmo para abdt la cerradura: se'guro.que ~na la abre
f~nalmehte (no i:nipotta.:cuárttas :llaves se prueben) y ''cualquier tonto
lp puede hacer'~. De la misma manera, existen algunos algoritmos bien
conocidos.para''clasificarp(!)r·orden alfabétiCo .listas de nombres>ende-
sÓrden, dar jaque mate a un rey sólo con un rey y una torre, transpor-
t¡:tr 9anciones .él otras .claves .musicales, multiplicar enteros (usando
n.ú~eros_ará~igo~); etc..Hayque ~?tar qu~eses-al-g~.rJtmos están espe- ¡_,P"t
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~
. ci6íf.deüos~júga~dares 'Iinitds. ·, · · · · • ·· , · · · · ·'
r '· Ésta conclusióh:tiene:uiui:'-irilpoftancia 'extniordinaria. Etfprimer·lu~
ga.'ri·potque : nos:' ~<Ú:á de 'a puroscotifespecto a seg\lir:l á regla; ·ya ·que
no ipre~üpone habilidades'que no. son p~imarias : y emsegundo/Jp que .
·es aún 'más' espeataé~lát~ porque amplía realmente 'el campo de lo ' que
sepuedeqonsiderar :coll?-o ''pritnariol •~ •. Naqa ,concretO ~e : hadicho so-
brdoque es y'lo :qu~ no:es primario,ya que larealizaéióri.totaly segu~
ra ·'qu~d~l'ihb.ltlida> claram•ente 'dentro de · una' ha:bilidad,'' finita: ' Peto .
precisªmente 'vimos .que 3realiz'ar. 'álgóritmos.priniarios¡éstá inclüi"do efi
tina'habi,lid~d· fi~ita;.rpotd;ü· ~ ·~omp~a ·
utili'zárTíünbién·;válidam.'enté.'éomo:una:solalriSttuc~primana' ~· en .
~rthfa~ñiPí~07E'll~tra~s- 1)a-ia1Jr~~·;r5t~éü.ñsicré(áili(?sTa~Tós .
~~m~r,Q~s;c'omolosqu,e estári:eri el .nivel.rtiásfbaj(i, entonces·
Iosálgdritmos~.- ~év§egünd()-·riivel ·puedem;utilizar;,operadones ·e·•ipstruc~
ciones .;simplesi'quer;. están definidas en . realidad' 'por·dos .:algoritm.os¡del'
primet-•nivel; ' y 1.loS:i~l:g'~r~tmos:del!tercer,niveFpodrían·, Utiljzanlos i· algo~
· •r itmos•d el {~egll,íí~o :'ni;Vel .como.::sus>.p rimarios ; ~ Y· asf sucesi~arnerite; >:·
·:~·-•tNue~itrO'<aJgoiitmd.;ctéi•· Havefo;;,pór! ejemplb;. podníá':serhiifsimple 'paso·
cte':un.ábfór.mula:if~qpéri~~·J, 'paráfti:atair qeiabri~· tó'das:'ras :.cerl"aduras··
· alrededorúde ·~ uha -Jor.taleia :,,x:J .,: ;.; ¡i'>'' • l••_,, .{ i \ ,i¡;.;.; .-.~···rt·?:Ul··,::J ,
·1;,Empieza,• por:•cu;llq\i!e~¡ cerradura ·y .,_colocatuna,ba:nderai ázüE ahL·' ;
. 2 >:;p-fi:ie:ba:'tt6éias ·l~s; :JlavéS; erúesa:"cer~r~duras!r.;•; : ~:J. ..:•
Supongamos que alguien le hace una simple prueba numé-
ric;;tY le pregunta: ¿Cuál es, si existe, el entero positivo más
·•P.équeño que _la satisface?. Para algunas pruepas podría exis-
tir una·soluciónan:alítica (p. ej. algebraica) al problema. Pe-
ro consideremos un caso que no tenga ese tipo de solución,
en.el cual la: ünicamanera de abordarlo sea la fuerza bru-
. ta: intente la prueba con el número 1; $i falla, con el núme~
ro2;: y así sucesivamente. ·. .
· · S~ hubiera una ga~aritía para que un número por lo me-
nos pudiera ~atisface:r la prueba; ·entonces la fuerza bruta
-t-, ·se~í~ - un aJgOrrtll1:0 p·ara ·enc.o ntrarel más peqÚeño; ·y a qu·e
·<,no impórta>cuáó''graride sea· es'e-•nó.méro; contando llega-'
· damos' finalmente ii'éL;Si, 'e h camb'lo, I10 existe nüi.gúnnú-
·. meró qt1e ·s at,i sfag;:>laprúebl:l, hi fueüa bruta nunca-podrá
·•establecer eso; ya qtie noimpo~tac1lan' arriba nos vayamos,
existen siémpre 'núinero~ rriás altos .con los cuales 'todavía
no lo hemos inte.n tad6: Cuando un pfocedirriierito prosigue .
así, sin fin, se dice que es sin terminación. En un juego for- .
,.: mal, d{los)procedimiehto(s)1 para<:ieterminar·si es 'legal un·
,. .. rlí'?.Yirqit;nt() .q:ue _s e preten'dé hacei _debe 'termüiar.siempre
. ~st·~ . J:!());·:{~t,~; es e1 púl}t9 cent~~al . de.'Iaj)<;>sibilidad ·finitade ·
J_uegq,.- . .,.. ..,, ,·;, . ._. ,, , .-...... .
' -. 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á-
lido, y también como un pequeño repertorio de.operaciones primarias
puede manejar cifras arbitrariamente grandes (por el método de las re-
peticiones finitas, pero ilimitadas). Verdaderamente, existe un a!gorit~
mo completo paralamultiplicaciónarábiga (obteniendo los productos
parciales, :escribiéndolos de determinada manera, surrtándolos, etc.), in-
cluyendo varios subalgoritmos pa,ra realizar los pasos necesarios (dígi,L ·
to por dígito), y así sucesivamente. Por lo tanto, la multiplicaCión está
dentro de la haóilidad -finita .
~
· un número finitode pasos; pero no hay límite respecto a
Recuadra·3
ILIMITADO VERSUS INFINITO
fras arábigas, ya que a cualquier entero distinto correspon-
de un tipo distinto de cifra arábiga, con un número finito
de dígitos, que lo representa. La noción de "finito pero ili-
mitado" es importante también _e n otros contextos. Por
~jemplo en los sistemas algebraicos y de lógica formal, las
fórmulas (oraciones) y las demostraciones deben ser todas
finitas; pero no existe coto a lo largo que puedan ser. Aná-
logamente, un algoritmo debe terminar siempre después de .
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-
dad" en el capítulo 4). . · · · . ·

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
(enJi~~~¡f{~~~-~~i-~·V5!~~~if~c~~-P~~o~~l:~~~tos } '·
2. en su operación n~nipula estos elementos automática-
mente aéacííer]io~ccinTás' rCglaS"ae · ese sistéiña~· . . . . .• . . ~
:Así: 'íin sist~ma ·t'oim~ll automáticó es éóino un conjunto de piezas
de ajedrez que, sometidas a las leyes, dan, solas,. vuelta por .el tablero,
o como una pluma mágica que escribe derivaciones matemáticas for -o(
malmente ·correctas ~in la ayuda cÍe ningún matemático. Estas . repre: '
sentaciones, algo extrafias y fantásticas, merecen un momento de
reflexión, aunque sólo sea para recordar que esos. sistemas maravillo-
sos (o sus equivalentes) se pueden construir ya.
J:ugarun juegoen laactualidad ,presupone algo más que sólo posi-
ciones y movimientos: debe haber también uno o más jugadores y un
árbitro. Los jugadores hacen sus movimientos siem'pre que lestoca. El
árbitro no hace l1ingú·n movimiento, pero determina a quién le toca ju-
gar -es decir' qué jugador es el siguiente en jugar y' tal vez, con qué
elementos debe seguir. ·El árbitrotambién define la posición inicial, de-
cide.cuándo se termina el juego, ah unCía los resultados oficiales y 'otras
có¡¡as<por;\_ ~r'éstiló. /En lós': juegos ámistósos existe ·Ia·'t ende.nCia á pasar
pótalta · l~ ·runsl_ónH.él.:árbitro~' ya q\le·mucha§' veces: es'tan''s.encilia qu~
-los :jugadorés;xpisrn.os !a,puederi · l!ev~r- ~ 'cabó .' J;!eroestH2tann~~te ha"
blindo;' él 'a rbihajé·(lebe estiu siempre sepárado del 'juego (lo que hace
. c váüdóstó~ülacfifereñe~~e; .
. y~elvén •complicadóS' eS esei:tciaLma:ntener dani
.. · la' distihcióri,·~ s~ -pena:·de .confusióries¡irrerriedüibles. ;. · · . .·••· · . ':
'. ,, p'tiésú>" que ·-~h ,juego ~utomático · juegá'. verdaderahiente ·por s(mis~
mo, debe ~onte~efíodb's· ·esí:os ·elemeiltos; yeí{ realidáalopodetnq~.con~
;siderat básicaméñte·éómcruna combinacióh entre e!''(los) jugador(es), ,,,
el árb'itroyel'juego : •·m~nuaP' ·· · tlina~io: los eemeritos). A gun.a s've- ···
c;es, ·desde I4egó;·.un: juego : for~afestá automatiza -~ · spl() parcialmen·
· >te. ~ EH: el ajedréz ;eléctróiiico, por''ejemplo;'+~sólo':·urió de 'los jügadore~
(más.et ár.bitrb)est~ automatizado; e~ "otro jugador:es ext'erior a la m á~
· :qU1z{i3j;· ~':Como· la per soria:: qúe.· Iácompró. : Pa·rida·te0da"ch~ '· Ios .sistem~s
'. áutciinátiCbs;·shi·efubargó; nd ·significa un~ diferercia;·important~', 'y _po~
·:· diíam()!ú cOrísideriu:.: iricluldO!i"a' todoslos:' jug~dóres ·: ·., :;-·.,:~c:. t:·i '" ::)· •· r .~.
· ·,, ·: Hasü~ iallora· tH~mós· didÍói9 q'#ei' és gil;' sliiterriaform~l ·á.utorrtátic;o:
·:. un·j \le~o. man\i,a l;.'en.co·mHrúibi ó n':éoii úri(qs)'- j\lgádO'i(es) - ~Ut6~aiiía ~
do(s);y tin: :ár.bitrb. NÓ hemos· dicho cómotrabaj an i·ni de qué están he~
chosj :u¡,..- ~n ' que~·principios están basadq~:: __,;porqu~' ·nádá ·de eso' es ,
importante ,para explicar lo .que son; Utilizando · Qnp~ecioso J_ér. _ino
k dela•ingeniérí.~ ~\j\lgador(es):• y·árbitrose .consíderan: coii1o· á/fís.neg,._ ·.:
cosa.s,den.tro de las::·cuales !lose 'm ira. Por es(), "a menudo. es :u 1 ! COnsi~ ·
1
. . .:ciera( só!o)a, ~',$iJp~rfi,gi~ . os.cur;a·~} ide:~un~:comp'onente;(qu~r-hace) ;(y dar
_.·•.por,senta¡:ia, ,.su:J rabajo .inteqH) :(qórrzo:Jo.pace); P.or :ejemplo,. un)nge~ .
. ;, ni. ere) ·Cfe:sorlidQ'.' qÚe· ·. é'rÍ~a¡j},b. laÚ}ni sistéiil¡ii' de.:audicion :pa:fa·i'·Un :éonci~r_~ .
. . .. . .
,_ - -~- . : . .·· . .: .
- . .. ' ,. . .
. . . ;'' ; . ' . . ' :
SISTEMAS AUTOMÁTICOS 77
to, con docenas de micrófonos, mezcladores, amplificadores, altavoces;
etc., no puede preocuparse de cómo funciona cada pieza, siempre y cuan-
do funcione . Los diferentes componentes deben considerarse como ca-
jas negras, y dadas por buenas, en el disefio de todo el sistema.
L,o que se considere como caja negra depende del punto de vista de
cada uno;lo que para un ingeniero es un componente puede ser el siste-
ma completo para otro. Por ejemplo, un amplificador es un sistema rr,[,,Jo•
.· ;,
de por sí complicado que algunos ingenieros electrónicos deben haber
disefiado a partir de cajas ·negras aún más pequefias: transistores, reós-
tatos, circuitos integrados; etc. El disefiador de los amplificadores los
da por'buenos, pero desde luegoalguien más los debe haber .disefiado
también. Si lo que necesitamos saber es sólo qué .hace algo, entonces
podemos mirar simpleme~te su superficie (o consultar las hojas de las
especificaciones de fábrica); pero, si lo que queremos es entender cómo
1
hace todo lo que hace, e1;¡.tonces tenemos que ver adentro (o consultar
al equipo de disefiador ~s que lo ha realizado).
Llegar a entender cómo algo hace lo queshace,examinando sus com-
ponentes y cómo estárl acoplados se llama análisi . ~­
baja un sistema complejo en términos de s interac<;iQI}~_c.le sus
componentes· funcionales es un tip'CTde'"aiiaífsis.T0.Supongamos, -por
efeñiPJO;'{illeestamóif·perple]os--é'iíiipfésíó.íúidos con nuestro sistema
de ajedrez automático. Sabemos que consta (aparte de los elementos) .
de dos componentes formados por los ·.dos·jugadores de a)edrez y un
componente formado por el árbitro; y sabemos que juegan juegos. de aje-
drez Válidos. :Nos ·gustaría, ·ahora, entender c6molos hacen. En otras
palabras, ya no queremos considerar a los componentes como cajas ne-
gras; querernos analizarlos.'
' ·Una posibilidad es eh:ihálisis ' d~ sistemas forrriales automáticos más
es
pequeños, decir, cuando un solo compÓnerite ~nun sistema total po-
dría ser él n\ismo un sistema formal automático completo , con sus pro-
pios pequeijos elementos particulares, manipulados por un grupo de
jugadores interiores, dirigidos por un árbitro interior -todó comple-
tamente distinto dé los elementos, ·jugadores y árbitro exteriores. To-
memos, .por éjemplo, a uri() de los jugadóres ·''exteriores". Hace un
movi¡Í}jeºto ge ªjt:19r.ez.·y~Jigo_c~g.a. v~.z qg~, .el .árbitro indica una posi-
ción y dice h etoca mover' !. '¿A_ qu~ se opo.dríari-parecer los "interio-
res'' de'és'e Jvgador·, sup'ó'rliendü' que t~era :él mismo un sistelJ,la formal
automático? .· ·. . . . . . . ·.· ·. . ··... . •. . · . •. .
Lanspu~sta, desdelúego, deperid~ ·del diS~fioespecífico; pero aquí
. fenerrios.. ún~ diseño, que ..puede ,ser:Vit (véase fig. l);, tos elementos del
·_· . . : ,f.·,~ · ..,-·. -- .. :'_,_.;-_,.,_, . . :·-.-.~ --[._ ~- '-- ~
•· Bxiste otr~ tipo de análi~is ; como es el explicar cÓri'to logra~~ ~Ígoritmo SUS reS)Jltados,
10
...:. 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
si~~ificado de laspalábras. Desde.luego, además .~el a~álisis existen' otros tipos de 'explicaciones .
. :~ .
··'_··_,¡·
(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
en el nivel más bajo. El punto esencial, por lo tanto, se puede resumir
~ -
de la siguiente manera:
PRINCIPIO DE AUTOMATIZACIÓN: CUando los movimientOS válidos de Ul1 sis-
tema formal están cogmletamente determinados por algoritmos, enton-
ces·esesistema~. _ · · , _
•• , •••• -- . 1
Recuadro 4 ·
ANÁLISIS Y REDUCCIÚN
Muchos filósofos y científicos creen que la naturaleza está
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-
sumida corrio '"la unidad de la ciencia", se le:Uama fisica-
o
, .lisrrw reduccionismo --+y lo último por el hecho que el
fisicalismo-(a diferencia del materialismo puro) llega a afir-
''-· inar que.j todas las demásdeneiasse pueden (en .principio) · .
''redúeir'',,a•·la física:-··
Elejemplomás conoCido es)areducción .de latermodic ·
·námica, segun •la cualel -éalor essólo unaforma alternati-
va de energía, que se acumula. en la actividad caótica
·· alrededorde cada molécula·.• Con esto, -más ·algunos otros
des'cubrimientos ·técnicos; se. puede demostrar que las le- .
yes·de .lá'termodinámica se·puederiderivar de las leyes .de
· . lafísica - ~lo que implica que la termodinámica es básica-
- f!1ente im caso particularide la física. Esas reducciones se
•llarrian -nomológicas {delgtiego •nomos .::= ley):·'. ;
---- -,, :>Muchas. explicaciones, ~sin embargo, no -recUrrena .J as le· ·¡,'
· -.. yes',y ;' por lo tanto;:no'se pueden ·reducir: nomológicamen~
te.·Cl1arido, por.ejemplo,;el señorGoodwrérlch explica .c;:ómo
.funciona· el ·motor de uri a u tomóvih ri:o :l,ltiliza la .física; re;,.,_' '
. curre :másbien _.a das capacidades;-yfunciones d~·las dife- .:
., ·rentes-partes;·: rnostrando ~u integración ejnfluencia·mutua .
. . . como<1,Ü.1 sistema'brganízadointegrádOl Enotras palabras, ''· ·
' analiza"el 'plbt_or; y lo:explíé:a; según suftmcíonal~dad y sis-' .;.
.. ' ·teniaticidad>' · ';;<' ,,,, .; · . , · ·.... ,
.;.. > • Cuando: una!explicac;ión.recÜrré.a) las leyes; esas leyes :.,_
;~ 'rl0 viene:IrexpliCadas; :sino.simplemente usadas: .s irven CO"::
,:mo:explicadores·irtexplicados. La reducción es explicar lo~ .
SlSTEMAS AUTOMÁTICOS . 81
explicadores inexplicados de una teoría, en términos de los
de otra; el fisicalísmo, por lo tanto, es realmente el punto
de vista de que no existen explicadores inexplicados, excep-
to los de la física. De acuerdo con esto, las explicaciones .
!¡¡ funcional/sistemáticas se pueden reducir también, si sus ex-
plicadores inexplicados (esencialmente las capacidades in-
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-
mas aún más pequeños de cajas negras, que actúan entre
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
mecanismos sin inteligencia.
1!
·Por esta razón, automatizar el componente catalogador de movimien-
to del componente jugador de ajedrez de un sistema de ajedrez es (teó-
1
rica~ente) triviaL . · · · .· ·
·El componente elector -de movimiento, en cambio, es otra cuestión.
Si. el c~talogador qe movimiento listara sólo un movimiento válidQ, en- .
ton ces no se tendría que hacer ninguna elección; y.no ha~ría problema. ·
Pero el ajedrez, igual que los. sistemas·formales más interesantes, es no-
determinístico; es decir, que .eri 1a mayoría de las posiciones, solamente
algunos, deJos varios movimientos distintos, serán válidos. A veces,
un movimiento es forzado, porque no hay ningún otro movimiento ~á-
. lido, pero ·si todo el juego Juera así, sería realmente abrumador e inso~
portable -no divertido. Los algoritmos, en cambió, son siempre
determinísticos: son, por definición, procedimientos paso por paso que
no permiten nunca opciones ni indecisiones sobre el paso siguiente. ¿Có-
mo, entonces, puede· ser automatizado un sistema que permite elec-
. ? ' . . .
, '· - cwnes .. , .. i . •
Existen un par.·de respuestas despreciable~ ·que .podríamos·.también
disponer .de modo ccmecto. Primero; el elect.or de~movimi~nt.o podría
elegir el movimiento :que aparece a la cabeza de)a l.ista del cat~;tlogador
(igualme~te podría ·utilizar cualq uier.· otro . pr:~ini!!§Jjfipél~o, .co•
mo por eJemplo seleccionar eLmo:vimiento cQ-ya descripció'n sea la pri-
mera en orden alfabético)'¡Segundo, ,et~le.c.tor podría .elegir ,Q.e la.lista
-'r
. 1
un movhniento.,a! azar; es decir; podríá cons~ltar. alguna ~nt,racJ.a:al a?a~
·\ (digamos,; como e_9har a Jos dadó~os d.atos !electrónico~) ;y hacer; qu~
_ .i· ésa sea la que determine 1· cción. Esas idea~ pq;dríanprqp1,1cir,un sis_;
l tema parajugar; un ajedrez, V:filid ;,y; aunque superficialmente, con tes~ Vq/:Jcz
_,1
1 tan en Cierta· medida: a pregunta. Pero esos sistein~s Uegaría,I1 a. jugar v~
~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.~-
¿~ Jo . .dc zonables inteligentes, sensa~. Por esgracia, no seco-
;ev.~ ·n~Os1'aCtíbíeSpara poder decir; en general, cuál es el mejor •
vi-u _ .~de dos movimientos de ajedrez (y mucho menos para la sensatez y co-
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 ..,
de la inteligencia artificial, que trataremos con más detalle después. Por
el momento, .sin embargo, un esbozo de un elector de movimiento del
ajedrez puede darnos una breve idea de lo que viene.
Obviamente el elector no necesita encontrar siempre el mejor movi-
míento; ni el campeón más hábil juega un ajedréz perfecto. Más bien,
·el objetívo es un sistema que escoja relativamente bien la mayoría de
las veces. En otras palabras, lo que se requiere no es realmente un crite-
rio infalible para hacer el mejor movimiento (es decir, un ·algoritmo),_
sino que basta con uncriterio lo suficientemente confiable, por medio
del cual la máquina po~~s elecciones
y.decidirse.por unabas~ante buena; Estos pro,_~-~ntou~!if.!.~J~­
ro "suficientementec.onfiabJes'' _,se llaman eunstrco (en la literaTura
jetivo es encontrar un movimiento de ajedrez óptimo, entonces la rutina
es sólo un estimador falible, y por lo tanto sólo un procedimiento heu~
rístico. La gracia de todo esto está en que: vista como algoritmo, la ru-
tina puede ser automatizada como cualquie~-un /\
e:~~~p~eae''fimCio!lar co-
mo un buen elector de ñiovnñ~ O..!.Ql~~~~.9J?Ués de to- ,
r
do, un elector de movimtentcí1)i;eno aunque falible puede ser'aufóma-
tizado por un algontmo. - -- -~-·-- ---- ---. -- .. · ·
-· -.--"-~-~-~-- .
._
Esta estrategia de considerar o redescribir exactamente la misma co-
sa desde más de un punto de vista es esencial en toda la ciencia. Los
médicos deben aprender aver sufrir a sus pacientes como conglomera-
dos de tejidos vivos, y a los tejidos vivos como una mezcolanza quími~
ca hirviente. Para entender por qué los sonetos se pueden preservar con
tanta fa~ilidad, tenemos que reconsiderados como simples cadenas de
caracteres dígitos. Veremos que la posibilidad de adoptar múltiples pun~
tos de vista es particularmente importante en la inteligencia <~;rtificial
-analizar cajas negras aut tizar métodos prácticos no son más
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~: ·' .·