ELEMENTS OF AUTOMATA THEORY