1.1 ¿Por qué estudiar la teoría de autómatas?

1.2 Introducción a las demostraciones formales

1.3 Otras formas de demostración

1.4 Demostraciones inductivas

1.5 Conceptos fundamentales de la teoría de autómatas