|


 


La computadora es...
ã



  
 

 

?

En un sistema formal, un conjunto de tokens es
manipulado de acuerdo a un conjunto de
.
Ejemplo: un juego, como el 
.
÷
La manipulación de tokes implica:
1. Adicionar tokens.
2. Eliminar tokens.
3. Modificar tokens.

 

1. Definir cuáles son los tokens.
2. Definir la posición inicial
3. Definir las reglas (los movimientos válidos)

La posición es una configuración de tokens en un

momento dado.
La posición solamente puede ser modificada aplicando las
reglas.

?
 

Conjunto de técnicas positivas y fidedignas para producir
y re-identificar tokens.


Aquella cuyo resultado es absoluto, total, cualitativo, no
cuantittivo.
El resultado es perfecto, claro, sin grados.
÷ 


Podemos escribir el Quixote otra vez exactamente de la

misma manera que Cervantes lo hizo hace 400 años.
El alfabeto es 

m 

| !"
<#


$
 %|

|&'

()(?*+
,)(--+.
1. e4 c5, 2. Cf3 e6, 3. d4 cxd4, 4. Cxd4 a6, 5. Cc3 Cc6, 6.
Ae3 Cf6, 7. Ad3 d5, 8. exd5 exd5, 9. O-O Ad6, 10. Cxc6
bxc6, 11. Ad4 O-O, 12. Df3 Ae6, 13. Tfe1 c5, 14. Axf6
Dxf6, 15. Dxf6 gxf6, 16. Tad1 Tfd8, 17. Ae2 Tab8, 18. b3
c4, 19. Cxd5 Axd5, 20. Txd5 Axh2+, 21. Rxh2 Txd5, 22.
Axc4 Td2, 23. Axa6 Txc2, 24. Te2 Txe2, 25. Axe2 Td8,
26. a4 Td2, 27. Ac4 Ta2, 28. Rg3 Rf8, 29. Rf3 Re7, 30. g4
f5, 31. gxf5 f6, 32. Ag8 h6, 33. Rg3 Rd6, 34. Rf3 Ta1, 35.
Rg2 Re5, 36. Ae6 Rf4, 37. Ad7 Tb1, 38. Ae6 Tb2, 39. Ac4
Ta2, 40. Ae6 h5, 41. Ad7 Blancas Abandonan
Podríamos recrear la partida de 1972 exactamente, tantas
veces como queramos.

Una técnica no-positiva tiene resultados relativos.

No podríamos pintar la última cena exactamente tal y
como la pintó Da Vinci hace 500 años.
Los colores y las texturas no son digitales.
/
0-

1|2&23|2&' 

No podríamos jugar el mismo juego de billar nunca.

m-


Los sistemas formales digitales son independientes del
medio material
Como el alfabeto es digital, los textos son independientes
del medio.
?

4

Sistema formal que trabaja por si mismo.
Es una    con las siguientes características:
1. En su operación, manipula los tokens automáticamente
de acuerdo a un conjunto de reglas.
2. Cada posición de los tokens corresponde a un estado
de la máquina.
3. Los movimientos válidos, o cambio de un posible
estado a otro, están determinados por 
 .

<5 (780 - 850) Persia (Irán)

<
 6+
.
+
<
.7 
?
 
8

a