Esta obra abarca los temas de lenguajes formales y autómatas, máquinas de Turing y computabilidad a través de la decibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos aunque se eviten en lo posible los largos desarrollos matemáticos. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que pretender ser matemáticamente completos o elegantes. En todo momento el autor ilustra con ejercicios y problemas de dificultad diversa los conceptos que expone a lo largo de esta obra.
