Text this: Grammars and automata for string processing :