Introduction to Automata Theory, Languages and Computation (1979)

by John E Hopcroft, Jeffery D Ullman