Zaslat SMS: Automata, formal languages and algebraic systems