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.

La manipulación de tokes implica:

• 
  
  Adicionar tokens.
  Eliminar tokens.
  Modificar tokens.

Definición de un sistema formal

• 
  
  Definir cuáles son los tokens.
  Definir la posición inicial
  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. 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.

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.