FORMAL LANGUAGE AND AUTOMATA THEORY