"INTRODUCTION TO AUTOMATA THEORY, LANGUAGES AND COMPUTATION" - "JOHN E HOPCROFT, RAJEEV MOTWANI & JEFFREY D ULLMAN" (PEARSON EDUCATION, 2006)