Introduction to Automata Theory, Languages and Computation John E. Hopcroft, Jeffrey D. Ullman 020102988X,9780201029888