Textmeddelande: Logic and automata