El objetivo de este libro es combinar la teoría necesaria con la práctica a través de numerosos ejercicios resueltos. Siguiendo la clasificación de Chomsky, se expone las gramáticas regulares y los autómatas finitos, las máquinas secuenciales, las gramáticas independientes del contexto y los autómatas a pila, las máquinas de Turing, etc., junto con algunas de sus aplicaciones prácticas en diversas disciplinas. Cada capítulo se inicia con una parte teórica (conceptos, técnicas, algoritmos, etc.) seguida de una colección de ejercicios resueltos con varios niveles de dificultad.