Hopcroft, John E., and Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation. réading, MA: Addison-Wesley, 1979. One of the standard references in the field.