أرسل هذا في رسالة قصيرة: Research on Tibetan Spelling Formal Language and Automata with Application