Modern Applications of Automata Theory by Deepak D'Souza