Title: Theory of finite automata with an introduction to formal languages