Introduction to automata theory languages and computation - Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (Noida, 2025)