El documento habla sobre los sistemas formales y la computadora digital. Explica que un sistema formal manipula tokens de acuerdo a reglas. Luego define los componentes de un sistema formal como los tokens, la posición inicial y las reglas. También describe la codificación digital de la información en computadoras usando el código binario de ceros y unos.