Theory of computer science(automata, languages and computation - Mishra, K L P (Prentice Hall, 1998)