发送短信: Automata, formal languages and algebraic systems