Theory of computation formal languages and automata theory - Varma, G.P. Saradhi (Scitech, 2006)