Introduction To Automata Theory, Languages and Computation

de Ullman, Jeffrey D