Theory of Automata IT-301