Automata theory in theoretical computer science [ - Jensen, Tomas (Research World, 2012)