MODERN APPLICATIONS OF AUTOMATA THEORY