Introducción a la teoría de autómatas, lenguajes y computación - Hopcroft, John E; Ullman, Jeffrey D (Continental, 1996)