It seems like you're referencing the book "Automata and Computability" by Dexter C. Kozen, which is part of the Undergraduate Texts in Computer Science series published by Springer-Verlag. This text covers fundamental concepts in automata theory and compu Mer information
