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