Text this: Logic and Automata