Tagged: Formal Languages and Automata Theory Syllabus