Text this: Formal languages and applications/