TCS-402 Finite Automata and Formal Languages (Sec - G, ARQ, ML)