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 automatas finitos, las maquinas secuenciales, las gramaticas independientes del contexto y los automatas a pila, las maquinas de Turing, etc., junto con algunas de sus aplicaciones practicas en diversas disciplinas. Cada capitulo se inicia con una parte teorica (conceptos, tecnicas, algoritmos, etc.) seguida de una coleccion de ejercicios resueltos con varios niveles de dificultad.