Este libro presenta los fundamentos de las máquinas teóricas conocidas como autómatas finitos, autómatas a pila y máquinas de Turing. En esta nueva edició
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. Abor