Introducción a la teoría de autómatas, lenguajes y computación - Hopcroft, John E. (Pearson Educación, 2007)