Formal Languages and Their Relation to Automata (Addison-Wesley Series in Computer Science and Information Processing)

by John E. Hopcroft, Jeffrey D. Ullman