D'Souza D. Modern Applications of Automata Theory 2012