Text this: Automata theory and its applications