发送短信: Formal languages, automata and numeration systems 1 :