Nyima Tashi completed his bachelor’s degree in Computer Science at East China Normal University, Shanghai, China and his Ph.D. in Computer Application Technology at Sichuan University, Chengdu, China. He is currently a Professor of Computer Science at Tibet University, Lhasa, China. His research interests include computer networks, Tibetan Information Technology and Tibetan computational linguistics. He has won the National Science and Technology Progress Award (second prize) and the Tibet Autonomous Region Science and Technology Award (first prize and second prize). He has also been selected for a number of national talent support programs, and was granted a special allowance by the State Council.

• Brief Introduction_Preface.- Foreword.- Tibetan.- Tibetan Spelling Grammar.- Theoretical Basis.- Formal Description of Tibetan spelling Grammar.- Tibetan Spelling Formal Language.- Computer-based Tibetan Coding.- 7. Tibetan Spelling Formal Language Application.- References.

Nyima Tashi completed his bachelor’s degree in Computer Science at East China Normal University, Shanghai, China and his Ph.D. in Computer Application Technology at Sichuan University, Chengdu, China. He is currently a Professor of Computer Science at Tibet University, Lhasa, China. His research interests include computer networks, Tibetan Information Technology and Tibetan computational linguistics. He has won the National Science and Technology Progress Award (second prize) and the Tibet Autonomous Region Science and Technology Award (first prize and second prize). He has also been selected for a number of national talent support programs, and was granted a special allowance by the State Council.

• Brief Introduction_Preface.- Foreword.- Tibetan.- Tibetan Spelling Grammar.- Theoretical Basis.- Formal Description of Tibetan spelling Grammar.- Tibetan Spelling Formal Language.- Computer-based Tibetan Coding.- 7. Tibetan Spelling Formal Language Application.- References.

Nyima Tashi completed his bachelor’s degree in Computer Science at East China Normal University, Shanghai, China and his Ph.D. in Computer Application Technology at Sichuan University, Chengdu, China. He is currently a Professor of Computer Science at Tibet University, Lhasa, China. His research interests include computer networks, Tibetan Information Technology and Tibetan computational linguistics. He has won the National Science and Technology Progress Award (second prize) and the Tibet Autonomous Region Science and Technology Award (first prize and second prize). He has also been selected for a number of national talent support programs, and was granted a special allowance by the State Council.

• Brief Introduction_Preface.- Foreword.- Tibetan.- Tibetan Spelling Grammar.- Theoretical Basis.- Formal Description of Tibetan spelling Grammar.- Tibetan Spelling Formal Language.- Computer-based Tibetan Coding.- 7. Tibetan Spelling Formal Language Application.- References.