Research on Tibetan Spelling Formal Language and Automata with Application - Nyima Tashi (Springer, 2019)