Reseña

La Guía de ejercicios básicos para teoría de autómatas y lenguajes formales de Carmen Padilla es un manual de trabajo sistemático y didáctico. Su propósito es guiar al estudiante, paso a paso, a través del aprendizaje activo. La fortaleza de esta guía radica en su enfoque metodológico. Cada capítulo sigue una progresión lógica que parte de los conceptos teóricos indispensables —desde los fundamentos de lenguajes y máquinas secuenciales como Mealy y Moore, hasta los autómatas finitos, autómatas a pila, las gramáticas formales y las máquinas de Turing. Lo distintivo es que cada concepto es inmediatamente seguido por una extensa colección de ejercicios resueltos. La autora no solo presenta las soluciones, sino que detalla las funciones de transición, construye los diagramas de estado (grafos) y, de manera notable, valida los resultados utilizando la herramienta de software JFLAP, proveyendo así un puente crucial entre el diseño abstracto y la simulación computacional.