Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie - Hopcroft, John E.,Motwani, Rajeev,Ullman, Jeffrey D. (Pearson Studium, 2006)