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