Introduction to Theory of Automata, Formal Languages, and Computation