MCA 2001 : Theory of Automata and Formal Languages