SMS dit: Logic and automata