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 automatizado que usa un código binario de ceros y unos para representar y manipular información de manera independiente del medio material. Los bytes son grupos de 8 bits usados para almacenar caracteres codificados mediante estándares como ASCII.