Title: Introduction to the theory of finite automata