Title: introduction to the theory of finite automata