Theory of automata and formal languages - Sharma, Anand (University Science Group, 2009)