THEORY OF AUTOMATA LANGUAGES AND COMPUTATION