Quick Notes - Theory of Automata and Formal Languages (BCS402)