Text this: Automata theory and applications in logic and complexity