AUTOMATA AND LANGUAGE THEORY