Text this: Formal languages, automata and numeration systems.