El objeto de este libro es servir de soporte a un curso de introducción a la informática teórica, dirigido a estudiantes de primer ciclo de ingeniería. Aborda los temas de lenguajes regulares e incontextuales y expone sus generadores (gramáticas y expresiones regulares) y reconocedores (autómatas finitos y autómatas con pila). Asimismo, proporciona los instrumentos necesarios para clasificar los problemas de cálculo en estas categorías básicas.