1. LA COMPUTADORA DIGITAL
La computadora es...
Un sistema formal automático interpretado.
Sistema Formal
En un sistema formal, un conjunto de tokens es
manipulado de acuerdo a un conjunto de reglas.
Ejemplo: un juego, como el Turista.
Monopolio, versión japonesa

2. La manipulación de tokens implica:
1. Adicionar tokens.
2. Eliminar tokens.
3. Modificar tokens.
Definición de un sistema formal
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.
Sistema Digital
Conjunto de técnicas positivas y fidedignas para
producir y re-identificar tokens.
Técnica Positiva
Aquella cuyo resultado es absoluto, total,
cualitativo, no cuantittivo.
El resultado es perfecto, claro, sin grados.
Miguel de Cervantes

3. Podemos escribir el
Quixote otra vez
exactamente de la
misma manera que
Cervantes lo hizo
hace 400 años.
El alfabeto es
digital.
Edición del
Quixote, 1605
Ajedrez

4. Partida final por el título mundial, del 31 de
agosto de 1972
Blancas: Boris Spassky
Negras: Bobby Fischer
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.
La Última Cena, Leonardo da Vinci, elaborada
entre los años 1494- 1497.

5. El billar
No
podríamo
s jugar el
mismo
juego de
billar
nunca.
Independencia del medio material

6. Los sistemas formales digitales son independientes del
medio material
Como el alfabeto es digital, los textos son
independientes del medio.
Sistema automático
Sistema formal que trabaja por si mismo.
Es una máquina 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 algoritmos.
Al Juarismi (780 - 850) Persia (Irán)

7. After all...always the same
story....
Algorithms + Data Structures
=
Programs

8. Resumen del tema
1.- La computadora es un sistema formal automático interpretado.
2.- Sistema Formal: En un sistema formal, un conjunto de tokens es
manipulado de acuerdo a un conjunto de reglas.
Los tokens se manipulan: adicionando, manipulando o modificando
tokens.
3.- Sistema Digital: Conjunto de técnicas positivas y fidedignas para
producir y re-identificar tokens.
4.- Técnica Positiva: Aquella cuyo resultado es absoluto, total,
cualitativo, no cuantittivo.
5.- Independencia del medio material: Los sistemas formales digitales
son independientes del medio material. Como el alfabeto es
digital, los textos son independientes del medio.
6.- Sistema automático: Sistema formal que trabaja por si mismo