Title: Formal Language and Automata Theory