AUTOMATA LANGUAGES AND COMPUTATIONS