Automata Theory and Formal Languages - Shyamalendu Kandar (Pearson, 2012)