Este libro es para un curso de nivel de grado de Ingeniería de sistemas, escrito por un ingeniero y destinado a estudiantes de carreras de sistemas, que sin dejar de reconocer la importancia de los fundamentos, pone énfasis en la aplicación de los diversos conceptos en la resolución de problemas concretos. La finalidad es contribuir a estimular el criterio lógico, a la vez que ofrecer modelos compactos y eficaces para el desarrollo de software.
Como propuesta novedosa se pone foco en la Teoría de Autómatas, dejando a las Gramáticas y Lenguajes Formales para ser tratados por separado. A partir de este criterio se estudian las máquinas abstractas, desde las más simples hasta las más complejas, incluyendo algunas no convencionales, las que han demostrado ser muy apropiadas y eficaces para resolver ciertos problemas específicos.
Se incluye un capítulo sobre complejidad y otro referido a recursos de simulación, que se complementan entre sí para hacer posible la evaluación objetiva del desempeño de las máquinas estudiadas y facilitar así las comparaciones de sus comportamientos.