Teoría de autómatas lenguajes y computación - Hopcorft, John E. (Pearson, 2007)