El documento describe los sistemas formales y la computadora digital. Un sistema formal manipula tokens de acuerdo a reglas. La computadora digital es un sistema formal que usa un código binario de ceros y unos para representar información de manera independiente del medio material. Los bytes son grupos de 8 bits que representan caracteres usando códigos como ASCII.