Text this: Automata, Computability and Complexity : Theory and Applications