Title: Formal Languages and Their Relation to Automata