Zaslat SMS: Logic and automata