INTRODUCTION TO AUTOMATA THEORY - HOPCROFT E JOHN (PEARSON, 2025)