Text this: Automata theory and formal languages /