Vitalsource Technologies, Inc. Research On Tibetan Spelling Formal Language And Automata With Applicat