藏文拼写形式语言及其自动机研究和应用