发送短信: Research on Tibetan Spelling Formal Language and Automata with Application