Text this: Models of computation and formal languages