INTRODUCTION TO AUTOMATA THEORY LANGUAGES, AND COMPUTATION - HOPCROFT J.E.; MOTWANI RAJEEV; ULLMAN J.D. (PEARSON, 2022)