Buscando información sobre Teoría de Autómatas me topé con este libro. Está disponible en PDF y se distribuye libre y gratuítamente en Internet por el propio autor, desde su web.

El temario del libro hace un recordatorio de la teoría de conjuntos y trata en detalle los siguientes tipos de máquinas teóricas:

• Autómatas finitos
• Autómatas de pila
• Máquinas de Turing

así cómo la descripción de los lenguajes que aceptan.

Viene muy bien cómo apoyo de las asignaturas Teoría de Autómatas I y Teoría de Autómatas II de la Ingeniería técnica de Sistemas en la U.N.E.D