61CSE110-Theoretical Computer Science, Automata and Formal Languages