Introduction to the Theory of Formal Languages and Automata