Title: Grammars and Automata for String Processing