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 unidades de 8 bits usadas para almacenar y medir datos.