Patent Publication Number: US-2017357630-A1

Title: Tibetan Spelling Check Method And Device Based On Automata

Description:
CROSS-REFERENCE TO RELATED APPLICATIONS 
     This application claims the benefit and priority of Chinese Patent Application No. 201610409221.3 filed Jun. 13, 2016. The entire disclosure of the above application is incorporated herein by reference. 
     FIELD 
     The present invention relates to the field of natural language processing, in particular to a Tibetan spelling check method and device based on automata. 
     BACKGROUND 
     In natural language processing technology, large data processing technology and some word processing software, in order to solve the problem of misspellings generated by users in a writing process, a spelling check function is usually available to enable the users to check the misspellings in the writing process. 
     In the prior art, a spelling check method used in the Tibetan field is mainly to establish a model corresponding to Tibetan character rules, and Tibetan spelling check is carried out via the model. 
     However, when the model is applied to the spelling check, as the application range of the model is relatively narrow, some Tibetan characters with special structures cannot be recognized. 
     SUMMARY 
     The present invention provides a Tibetan character spelling check method and device based on automata, which can expand the application range of spelling check and improve the recognition rate of Tibetan characters. 
     On one aspect, a Tibetan character spelling check method based on automata is provided, including: S 10 , segmenting a Tibetan text to be checked with an character as a unit to acquire at least one Tibetan character; S 20 , using the at least one Tibetan character as the input of a preset finite state automaton group; and S 30 , judging whether the Tibetan text to be checked is correctly spelled through the finite state automaton group, wherein the finite state automaton group includes 37 finite state automata, and any finite state automaton M i =(Σ i , Q i , δ i , q i , F i ); the Σ i  represents a finite set of terminal symbols of a preset Tibetan spelling formal grammar G i ; the Q i  represents a union of a finite set V i  of non-terminal symbols of the Tibetan spelling formal grammar G i  and the F i ; the δ i  represents a state transition function of the finite state automaton M i  acquired by mapping from a direct product Q i *Σ i  of Q i  and Σ i  to Q i ; the q i  represents an initial state of the finite state automaton M i ; q i εQ i ; the F i  represents a finite set of termination states of the finite state automaton M i , and F i   ⊂ Q i ; and the i is a positive integer, and i≦37. 
     On the other aspect, a Tibetan character spelling check device based on automata is provided, including: 
     a segmenting module, used for segmenting a Tibetan text to be checked with an character as a unit to acquire at least one Tibetan character; 
     an input module, used for using the at least one Tibetan character as the input of a preset finite state automaton group; 
     a spelling check module, used for judging whether the Tibetan text to be checked is correctly spelled through the finite state automaton group; 
     the finite state automaton group includes 37 finite state automata, wherein any finite state automaton M i =(Σ i , Q i , δ i , q i , F i ); the Σ i  represents a finite set of terminal symbols of a preset Tibetan spelling formal grammar G i ; the Q i  represents a union of a finite set V i  of non-terminal symbols of the Tibetan spelling formal grammar G i  and the F i ; the δ i  represents a state transition function of the finite state automaton M i  acquired by mapping from a direct product Q i *Σ i  of Q i  and Σ i  to Q i ; the q i  represents an initial state of the finite state automaton M i ; q i εQ i ; the F i  represents a finite set of termination states of the finite state automaton M i , and F i    ⊂ Q i ; and the i is a positive integer, and i≦37. 
     The present invention has the following beneficial effects: the Tibetan text to be checked is used as the input of the finite state automaton group to achieve Tibetan spelling check. As the finite state automaton group corresponds to the Tibetan spelling formal grammar, the technical solutions provided by the embodiments of the present invention can solve the problem in the prior art that when the spelling check is carried out by a model, as the application range of the model is relatively narrow, some Tibetan characters with special structures cannot be recognized. 
    
    
     
       DRAWINGS 
         FIG. 1  is a flowchart of a Tibetan spelling check method based on automata provided by a first embodiment of the present invention; 
         FIG. 2  is a flowchart of a Tibetan spelling check method based on automata provided by a second embodiment of the present invention; 
         FIG. 3  is a flowchart of a Tibetan spelling check method based on automata provided by a third embodiment of the present invention; 
         FIG. 4  is a schematic diagram of a structure of a Tibetan spelling check device based on automata provided by a fourth embodiment of the present invention. 
     
    
    
     DETAILED DESCRIPTION 
     The present invention will be further illustrated below in combination with accompanying drawings and embodiments. But the usage and the objective of these exemplary implementations are merely used for citing the present invention, but do not constitute any form of limitation to the actual protection scope of the present invention, let alone limit the protection scope of the present invention hereto. 
     First Embodiment 
     As shown in  FIG. 1 , the embodiment of the present invention provides a Tibetan spelling check method based on automata, including the following steps. 
     Step  101 , a Tibetan text to be checked is segmented with an character as a unit to acquire at least one Tibetan character. 
     In the embodiment, in the step  101 , the Tibetan text to be checked can be segmented with an character as a unit according to a Tibetan character separator, a vertical character, a double-vertical character and a space character to acquire at least one Tibetan character. 
     Wherein, the Tibetan text to be checked can only contain one Tibetan character and can also contain a plurality of Tibetan characters, and this is not limited herein. 
     Step  102 , the at least one Tibetan character is used as the input of a preset finite state automaton group. 
     In the embodiment, the finite state automaton group includes 37 finite state automata, wherein any finite state automaton M i =(Σ i , Q i , δ i , q i , F i ); the Σ i  represents a finite set of terminal symbols of a preset Tibetan spelling formal grammar G i ; the Q i  represents a union of a finite set V i  of non-terminal symbols of the Tibetan spelling formal grammar G i  and the F i ; the δ i  represents a state transition function of the finite state automaton M 1  acquired by mapping from a direct product Q i *Σ i  of Q i  and Σ i  to Q i ; the q i  represents an initial state of the finite state automaton M i ; q i εQ i ; the F i  represents a finite set of termination states of the finite state automaton M i , and F i   ⊂ Q i ; and the is a positive integer, and i≦37. 
     In the embodiment, 37 Tibetan spelling formal grammars are preset, and each Tibetan spelling formal grammar corresponds to one finite state automaton; and the at least one Tibetan character is used as the input of each finite state automaton in sequence. The finite set of the terminal symbols of the Tibetan spelling formal grammar G i  is a subset of a set L consisting of 30 Tibetan consonants, 5 reverse scripts, 4 vowel symbols and 1 long vowel symbol, and includes characters (symbols) actually occurring in a sentence (a Tibetan character belonging to a certain structure) of the language; the set of the non-terminal symbols of the Tibetan spelling formal grammar G i  includes words that do not actually occur in the sentence of the language, but play the function of variables in deduction, and are equivalent to the grammatical category in the language. For example, the non-terminal symbol can be a variable of an SVO (Subject Verb Object) word order of the Chinese, the SOV (Subject Object Verb) word order of the Tibetan and other grammars, but it does not occur in a specific sentence, that is, it implicitly works, but cannot be seen. 
     Elements in the finite set of the terminal symbols and the finite set of the non-terminal symbols correspond to specific Tibetan spelling formal grammars. The initial state of the finite state automaton M i  is a state in which the automation just starts to work, and this state is a state in which the automaton primarily receives input characters; and the termination state refers to a final state of the automaton. Specifically, the automata in the finite state automaton group can be a determined type and can also be an undetermined type; and to facilitate the understanding and improve the implementation efficiency, the automata of the determined types provided by the embodiment are taken as an example for illustration. 
     Step  103 , whether the Tibetan text to be checked is correctly spelled is judged through the finite state automaton group. 
     In the embodiment, the process in the step  103  of judging whether the Tibetan text to be checked is correctly spelled can include: each finite state automaton in the finite state automaton group sequentially receives at least one Tibetan character from the initial state and transfers the state; if a certain finite state automaton in the finite state automaton group can enter the termination state after transferring the state, the Tibetan text to be checked is correctly spelled; if none of the finite state automata in the finite state automaton group can enter the termination state after transferring the state, the Tibetan text to be checked is wrongly spelled. For example, the operation of transferring the state can be as follows: the finite state automaton M i  receives a certain input character at a certain state, for example, q m (q m εQ i ), if x (xεΣ i ), if the state transition function δ m  (q m , x)ε(δ i , then the automaton enters the state q m+1 (q m+1 ε(q m , x)), and otherwise, the state of the automaton is not changed. 
     The present invention has the following beneficial effects: the Tibetan text to be checked is used as the input of the finite state automaton group to achieve Tibetan spelling check. As the finite state automaton group corresponds to the Tibetan spelling formal grammar, the technical solutions provided by the embodiments of the present invention can solve the problem in the prior art that when the spelling check is carried out by a model, as the application range of the model is relatively narrow, some Tibetan characters with special structures cannot be recognized. 
     Second Embodiment 
     As shown in  FIG. 2 , the embodiment of the present invention provides a Tibetan spelling check method based on automata. The method is similar to the method as shown in  FIG. 1 , the difference lies in that, to complete the spelling check of the entire Tibetan text, the Tibetan spelling check method provided by the embodiment further includes: 
     step  104 , whether the Tibetan text to be checked is completely checked is judged. 
     In the embodiment, when it is determined that the Tibetan text to be checked is completely checked in the step  104 , the current Tibetan spelling check is terminated; when it is determined that the Tibetan text to be checked is not completely checked in the step  104 , step  102  is continuously executed on the unchecked part of the Tibetan text to be checked until the Tibetan text to be checked is completely checked. 
     The present invention has the following beneficial effects: the Tibetan text to be checked is used as the input of the finite state automaton group to achieve Tibetan spelling check. As the finite state automaton group corresponds to the Tibetan spelling formal grammar, the technical solutions provided by the embodiments of the present invention can solve the problem in the prior art that when the spelling check is carried out by a model, as the application range of the model is relatively narrow, some Tibetan characters with special structures cannot be recognized. 
     Third Embodiment 
     As shown in  FIG. 3 , the embodiment of the present invention provides a Tibetan spelling check method based on automata, including the following steps. 
     Step  301 , a Tibetan text to be checked is segmented with an character as a unit to acquire at least one Tibetan character. The process is similar to the step  101  as shown in  FIG. 1 , and thus will not be repeated redundantly herein. 
     Step  302 , a Tibetan spelling formal grammar G i  is acquired. 
     In the embodiment, in the step  302 , the Tibetan spelling formal grammar G i =(T i , V i , S i , P i ). The process of acquiring the Tibetan spelling formal grammar through the step  302  includes: acquiring a finite set T i  of terminal symbols, wherein the T i  is a subset of a set L, and the set L includes 30 Tibetan consonants, 5 reverse scripts, 4 vowel symbol s and 1 long vowel symbol; acquiring a finite set V i  of non-terminal symbols; acquiring a start symbol S i , wherein S i εV i ; acquiring a finite set P i  of production rules; and acquiring the corresponding Tibetan spelling formal grammar G i  according to the T i , V i , S i  and P i . Wherein, the process of acquiring the finite set P i  of the production rules can include: at first, acquiring a preset Tibetan spelling grammar formal description system; and then acquiring the finite set P i  of the production rules according to the Tibetan spelling grammar formal description system. 
     In the embodiment, the preset Tibetan spelling grammar formal description system can be established according to a set theory method, and the specific form is as follows: 
     Tibetan spelling grammar 1: elements in a set Root={b 1 , b 2 , b 3 , b 4 , b 5 , . . . , b 30 , b 31 , b 32 , b 33 , b 34 , b 35 } respectively correspond to 30 Tibetan consonants and 5 Tibetan reverse scripts, and then any Tibetan character corresponding to b i εRoot can constitute a root of a Tibetan character. 
     Tibetan spelling grammar 2: for a set Prefix={b 3 , b 11 , b 15 , b 16 , b 23 }, Prefix⊂Root, any Tibetan character corresponding to b i εPrefix, (j=3, 11, 15, 16, 23) can constitute a prefix of the Tibetan character. 
     Tibetan spelling grammar 3: for a set Suffix={b 3 , b 4 , b 11 , b 12 , b 15 , b 16 , b 23 , b 25 , b 26 , b 28 }, Suffix⊂Root, any Tibetan character corresponding to b i εSuffix, (j=3, 4, 11, 12, 15, 16, 23, 25, 26, 28) can constitute a suffix of the Tibetan character. 
     Tibetan spelling grammar 4: for a set Postfix={b 11 , b 28 }, Postfix⊂Suffix ⊂Root, any Tibetan character corresponding to b i εPostfix, (j=11, 28) can constitute a postfix of the Tibetan character. 
     Tibetan spelling grammar 5: for a set Superfix={b 25 , b 26 , b 28 }, Superfix⊂Root, any Tibetan character corresponding to b i εSuperfix, (j=25, 26, 28) can constitute a superfix of the Tibetan character. 
     Tibetan spelling grammar 6: for a set Subfix={b 20 , b 24 , b 25 , b 26 }, Subfix⊂Root, any Tibetan character corresponding to b i εSubfix, (j=20, 24, 25, 26) can constitute a subfix of the Tibetan character. 
     Tibetan spelling grammar 7: for a set Vowel=Vowel 1 {a}, Vowel 1 ={i, u, e, o} corresponds to 4 Tibetan vowel characters, and a represents a Tibetan long vowel character. The Tibetan roots corresponding to b j εRoot, (j=1, 23, 5, 7, . . . , 33, 34, 35) can be spelled with vowel characters corresponding to vεVowel, u and a can only be spelled below consonants, and the rest 3 vowel characters can only be spelled above the consonants. 
     Tibetan spelling grammar 8: when the Tibetan roots corresponding to b j εRoot, (j=1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 15, 16, 17, 19, 29) are spelled with the superfixes corresponding to b i εSuperfix, (i=25, 26, 28), the following grammar rules must be satisfied: 
     1. b j εRoot, (j=1, 3, 4, 7, 8, 9, 11, 12, 15, 16, 17, 19) can only be spelled with b 25 εSuperfix. 
     2. b j εRoot, (j=1, 3, 4, 5, 7, 9, 11, 13, 15, 29) can only be spelled with b 26 εSuperfix. 
     3. b j εRoot, (j=1, 3, 4, 8, 9, 11, 12, 13, 15, 16, 17) can only be spelled with b 28 εSuperfix. 
     Tibetan spelling grammar 9: when the Tibetan roots corresponding to b j εRoot, (j=1, 2, 3, 8, 9, 10, 11, 13, 14, 15, 16, 18, 21, 22, 25, 26, 27, 28, 29) are spelled with the subfixes corresponding to b i εSubfix, (i=20, 24, 25, 26), the following grammar rules must be satisfied: 
     1. b j εRoot, (j=1, 2, 3, 8, 11, 18, 21, 22, 25, 26, 27, 29) can only be spelled with b 20 εSubfix. 
     2. b j εRoot, (j=1, 2, 3, 13, 14, 15, 16) can only be spelled with b 24 εSubfix. 
     3. b j εRoot, (j=1, 2, 3, 9, 10, 11, 13, 14, 15, 16, 28, 29) can only be spelled with b 25 εSubfix. 
     4. b j εRoot, (j=1, 3, 15, 22, 25, 28) can only be spelled with b 26 εSubfix. 
     5. b j εRoot, (j=29) can only be spelled with b 14 εSubfix. 
     (Note: to spell the [ 1 ] phonetic symbol in other languages, b 29  and b 14  spelling forms occur in the modern Tibetan. According to the traditional Tibetan spelling grammar, b 29  cannot be used as the superfix, and b 14  cannot be used as the subfix neither, therefore, as a special condition, when b 29  is spelled with b 14 , b 14  is deemed as the “subfix”.) 
     Tibetan spelling grammar 10: when the Tibetan roots corresponding to b i εRoot, (i=1, 3, 12, 13, 15, 16, 17) are simultaneously spelled with the superfixes corresponding to b j εSuperfix, (j=25, 28) and the subfixes corresponding to b k εSubfix, (k=20, 24, 25), the following grammar rules must be satisfied: 
     1. when being spelled with b 25 εSuperfix, b 1 εRoot can be simultaneously spelled with b 24 εSubfix; and when being spelled with b 28 εSuperfix, b 1 εRoot can be simultaneously spelled with b k εSubfix, (k=24, 25). 
     2. When being spelled with b 25 εSuperfix, b 3 εRoot can be simultaneously spelled with b 24 εSubfix; and when being spelled with b 28 εSuperfix, b 3 εRoot can be simultaneously spelled with b k εSubfix, (k=24, 25). 
     3. When being spelled with b 28 εSuperfix, b 12 εRoot can be simultaneously spelled with b 25 εSubfix. 
     4. When being spelled with b 28 εSuperfix, b 13 εRoot can be simultaneously spelled with b k εSubfix, (k=24, 25). 
     5. When being spelled with b 28 εSuperfix, b 15 εRoot can be simultaneously spelled with b k εSubfix, (k=24, 25). 
     6. When being spelled with b 25 εSuperfix, b 16 εRoot can be simultaneously spelled with b 24 εSubfix; and when being spelled with b 28 εSuperfix, b 16 εRoot can be simultaneously spelled with b k εSubfix, (k=24, 25). 
     7. When being spelled with b 25 εSuperfix, b 17 εRoot can be simultaneously spelled with b 20 εSubfix. 
     Tibetan spelling grammar 11: when the Tibetan roots corresponding to b i εRoot, (i=1, 3, 4, 7, 8, 9, 11, 12, 17, 19) are simultaneously spelled with the prefixes corresponding to b 15 εPrefix and the superfixes corresponding to b j εSuperfix, (j=25, 26, 28), the following grammar rules must be satisfied: 
     1. b i εRoot, (i=1, 3, 4, 7, 8, 9, 11, 12, 17, 19) can be spelled with b 25 εSuperfix. 
     2. b i εRoot, (i=9,11) can be spelled with b 26 εSuperfix. 
     3. b i εRoot, (i=1, 3, 4, 8, 9, 11, 12, 17) can be spelled with b 28 εSuperfix. 
     Tibetan spelling grammar 12: when the Tibetan roots corresponding to b i εRoot, (i=1, 2, 3, 11, 13, 14, 15, 16, 22, 25, 28) are simultaneously spelled with the prefixes corresponding to b j εPrefix, (j=11, 15, 16, 23) and the subfixes corresponding to b k εSubfix, (k=20, 24, 25, 26), the following grammar rules must be satisfied: 
     1. b i εRoot, (i=1, 3, 13, 15, 16) can be spelled with b 11 εPrefix and b 24 εSubfix. 
     2. b i εRoot, (i=1, 3, 13, 15) can be spelled with b 11 εPrefix and b 25 εSubfix. 
     3. b i εRoot, (i=1, 3) can be spelled with b 15 εPrefix and b 24 εSubfix. 
     4. b i εRoot, (i=1, 3, 28) can be spelled with b 15 εPrefix and b 25 εSubfix. 
     5. b i εRoot, (i=1, 22, 25, 28) can be spelled with b 15 εPrefix and b 26 εSubfix. 
     6. b i εRoot, (i=2, 3) can be spelled with b 16 εPrefix and b k εSubfix, (k=24,25). 
     7. b i εRoot, (i=2, 3, 14, 15) can be spelled with b 23 εPrefix and b 24 εSubfix. 
     8. b i εRoot, (i=2, 3, 11, 14, 15) can be spelled with b 23 εPrefix and b 25 εSubfix. 
     Tibetan spelling grammar 13: when the Tibetan roots corresponding to b i εRoot, (i=1, 3) are spelled with the prefixes corresponding to b 15 εPrefix, the superfixes corresponding to b j εSuperfix, (i=25, 28) and the subfixes corresponding to b k εSubfix, (i=24, 25), the following grammar rules must be satisfied: 
     1. b i εRoot, (i=1, 3) can be spelled with b 15 εPrefix, b 25 εSuperfix and b 24 εSubfix. 
     2. b i εRoot, (i=1, 3) can be spelled with b 15 εPrefix, b 28 εSuperfix and b 25 εSubfix. 
     3. b i εRoot, (i=1, 3) can be spelled with b 15 εPrefix, b 28 εSuperfix and b 24 εSubfix. 
     Tibetan spelling grammar 14: when being spelled with the prefixes corresponding to b j εPrefix, (j=3, 11, 15, 16, 23), the Tibetan roots corresponding to b i εRoot, (i=1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 27, 28) must be simultaneously spelled with the vowel symbols corresponding to vεVowel, Vowel={i, u, e, o}, or one suffix corresponding to b k εSuffix, (k=3, 4, 11, 12, 15, 16, 23, 25, 26, 28), and the following grammar rules must be satisfied: 
     1. b i εRoot, (i=5, 8, 9, 11, 12, 17, 21, 22, 24, 27, 28) can only be spelled with b 3 εPrefix. 
     2. b i εRoot, (i=1, 3, 4, 13, 15, 16) can only be spelled with b 11 εPrefix. 
     3. b i εRoot, (i=1, 3, 5, 9, 11, 17, 21, 22, 27, 28) can only be spelled with b 15 εPrefix. 
     4. b i εRoot, (i=2, 3, 4, 6, 7, 8, 10, 11, 12, 18, 19) can only be spelled with b 16 εPrefix. 
     5. b i εRoot, (i=2, 3, 6, 7, 10, 11, 14, 15, 18, 19) can only be spelled with b 23 εPrefix. 
     Tibetan spelling grammar 15: the Tibetan roots corresponding to b i εRoot, (j=1, 2, 3, 4, 5, 6, 7, 8, 9, 10, . . . , 21, 22, 23, 24, 25, 26, 27, 28, 29, 30) can be spelled with any suffix corresponding to b i εSuffix, (i=3, 4, 11, 12, 15, 16, 23, 25, 26, 28). 
     Tibetan spelling grammar 16: the use of the Tibetan postfixes is only related to the suffixes. The Tibetan suffixes corresponding to b i εSuffix, (i=3, 4, 12, 15, 16, 25, 26) can be spelled with the postfixes corresponding to b j εPostfix, (j=11, 28), and the following grammar rules must be satisfied: 
     1. b 11 εPostfix can only be spelled with b i εSuffix, (i=12, 25, 26). 
     2. b 28 εPostfix can only be spelled with b i εSuffix, (i=3, 4, 15, 16). 
     Tibetan spelling grammar 17: when being spelled with the Tibetan subfixes corresponding to b i εSubfix, (j=24, 25), the Tibetan roots corresponding to b i εRoot, (i=3, 11, 14) can be simultaneously spelled with the Tibetan subfixes corresponding to b 20 εSubfix. The specific rules are as follows: 
     1. when being spelled with b 25 εSubfix, b i εRoot, (i=3, 11) can be simultaneously spelled with b 20 εSubfix. 
     2. When being spelled with b 24 εSubfix, b 14 εRoot can be simultaneously spelled with b 20 εSubfix. 
     Tibetan spelling grammar 18: the Tibetan consonants corresponding to b 29 εRoot can be spelled with the Tibetan consonants corresponding to b 14 εRoot, and b 14 εRoot is correspondingly located below b 29 εRoot. 
     Tibetan spelling grammar 19: when being spelled with the Tibetan consonants corresponding to b 14 εRoot, the Tibetan consonants corresponding to b 29 εRoot can be simultaneously spelled with the Tibetan suffixes corresponding to b i εSuffix, (i=3, 4, 11, 12, 15, 16, 23, 25, 26, 28). 
     Tibetan spelling grammar 20: the Tibetan characters having no suffix can be spelled with the Tibetan consonants corresponding to b 23 εRoot, and at this time, the Tibetan consonants corresponding to b 23 εRoot must be spelled with the vowel symbols (i, e, u, o) corresponding to vεVowel, Vowel={i, u, e, o}. 
     Tibetan spelling grammar 21: besides the special spelling in the grammars 17, 18, 19 and 20, the Tibetan characters are spelled according to the sequence of the prefixes, the superfixes, the roots, the subfixes, the vowel symbols, the suffixes and the postfixes. 
     In the embodiment, T i  represents the finite set of the terminal symbols of the Tibetan spelling formal grammar G i ; S i  represents the start symbol of the Tibetan spelling formal grammar G i ; S i εV i ; λ represents a null character; the finite set Σ i  of the input characters of the finite state automaton A is equivalent to the finite set T i  of the terminal symbols of the Tibetan spelling formal grammar G i ; and the initial state q i  of the finite state automaton M i  is equivalent to the start symbol S i  of the Tibetan spelling formal grammar G i . Wherein, S i  represents any possible sentence (it is a Tibetan character in the application herein) in the language L (G i ) generated by the grammar S i , so S i  is a special non-terminal symbol. 
     Specifically, the specific forms of the 37 Tibetan spelling formal grammars G 1  to G 37  are as follows: 
     Tibetan spelling formal grammar G 1:  the spelling formal grammar G 1  of the Tibetan roots and the vowel symbols is a quadruple (T 1 , V 1 , S 1 , P 1 ), wherein: 
     (1) terminal symbol 
     T 1 =T B ∪T o , wherein: 
     T B ={b 1 , b 2 , b 3 , b 4 , b 5 , . . . , b 35 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o,a}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 1 ={S 1 ,B 1,1 ,B 1,2 }; 
     (3) S 1  is a non-terminal symbol in V 1  and is a start symbol; and 
     (4) a production set of the grammar G 1  is: P 1 ={ 
     S 1 →b 1 |b 2 |b 3 |b 4 |b 5 | . . . |b 30 |b 31 |b 32 |b 33 |b 34 |b 35 , 
     S 1 →b 1 B 1,1 |b 2 B 1,1 |b 3 B 1,1 |b 4 B 1,1 |b 5 B 1,1 | . . . |b 30 B 1,1 , 
     S 1 →b 31 B 1,2 |b 32 B 1,2 |b 33 B 1,2 |b 34 B 1,2 |b 35 B 1,2 , 
     B 1,1 →i|u|e|o|a, 
     B 1,2 →i|u|e|o} 
     With respect to a Tibetan spelling structure 2: 
     Tibetan spelling formal grammar G 2  the spelling formal grammar G 2  of the Tibetan superfixes, the roots and the vowels is a quadruple (T 2 , V 2 , S 2 , P 2 ), wherein: 
     (1) terminal symbol 
     T 2 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 5 ,b 7 ,b 8 ,b 9 ,b 11 ,b 12 ,b 13 ,b 15 ,b 16 ,b 17 ,b 19 ,b 25 ,b 26 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 2 ={S 2 ,B 2,1 ,B 2,2 ,B 2,3 ,B 2,4 } 
     (3) S 2  is a non-terminal symbol in V 2  and is the start symbol; 
     (4) the production set of the grammar G 2  is: P 2 ={ 
     S 2 →b 25 B 2,1 |b 26 B 2,2 |b 28 B 2,3 , 
     B 2,1 →b 1 |b 3 |b 4 |b 7 |b 8 |b 9 |b 11 |b 12 |b 15 |b 16 |b 17 |b 19 , 
     B 2,1 →b 1 B 2,4 |b 3 B 2,4 |b 4 B 2,4 |b 7 B 2,4 |b 8 B 2,4 |b 9 B 2,4 |b 11 B 2,4 |b 12 B 2,4 |b 15 B 2,4 |b 16 B 2,4 |b 17 B 2,4 |b 19 B 2,4 , 
     B 2,2 →b 1 |b 3 |b 4 |b 5 |b 7 |b 9 |b 11 |b 13 |b 15 |b 29 , 
     B 2,2 →b 1 B 2,4 |b 3 B 2,4  b 4 B 2,4 |b 5 B 2,4 |b 7 B 2,4 |b 9 B 2,4 |b 11 B 2,4 |b 13 B 2,4 |b 15 B 2,4 |b 29 B 2,4 , 
     B 2,3 →b 1 |b 3 |b 4 |b 8 |b 9 |b 11 |b 12 |b 13 |b 15 |b 16 |b 17 , 
     B 2,3 →b 1 B 2,4 |b 3 B 2,4 |b 4 B 2,4 |b 8 B 2,4 |b 9 B 2,4 |b 11 B 2,4 |b 12 B 2,4 |b 13 B 2,4 |b 15 B 2,4 |b 16 B 2,4 |b 17 B 2,4 , 
     B 2,4 →i|u|e|o} 
     With respect to a Tibetan spelling structure 3: 
     Tibetan spelling formal grammar G 3:  the spelling formal grammar G 3  of the Tibetan roots, the subfixes and the vowel symbols is a quadruple (T 3 , V 3 , S 3 , P 3 ), wherein: 
     (1) terminal symbol 
     T 3 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 8 ,b 9 ,b 10 ,b 11 ,b 13 ,b 14 ,b 15 ,b 16 ,b 18 ,b 20 ,b 22 ,b 22 ,b 24 ,b 25 ,b 26 ,b 27 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 3 ={S 3 ,B 3,1 ,B 3,2 ,B 3,3 ,B 3,4 ,B 3,5 ,B 3,6 ,B 3,7 ,B 3,8 ,B 3,9 ,B 3,10 }, 
     (3) S 3  is a non-terminal symbol in V 3  and is the start symbol; and 
     (4) the production set of the grammar G 3  is: P 3 ={ 
     S 3 →b 1 B 3,1 |b 3 B 3,1 , 
     S 3 →b 2 B 3,2 , 
     S 3 →b 11 B 3,3 |b 29 B 3,3 , 
     S 3 →b 8 B 3,4 |b 18 B 3,4  b 21 B 3,4  b 26 B 3,4 |b 27 B 3,4 , 
     S 3 →b 9 B 3,5 |b 10 B 3,5 , 
     S 3 →b 13 B 3,6 |b 14 B 3,6 |b 16 B 3,6 , 
     S 3 →b 22 B 3,7 |b 25 B 3,7 , 
     S 3 →b 28 B 3,8 , 
     S 3 →b 15 B 3,9 , 
     B 3,1 →b 20 |b 24 |b 25 |b 26 , 
     B 3,1 →b 20 B 3,10 |b 24 B 3,10 |b 25 B 3,10 |b 26 B 3,10 , 
     B 3,2 →b 20 |b 24 |b 25 , 
     B 3,2 →b 20 B 3,10 |b 24 B 3,10 |b 25 B 3,10 , 
     B 3,3 →b 20 |b 25 , 
     B 3,3 →b 20 B 3,10 |b 25 B 3,10 , 
     B 3,4 →b 20 , 
     B 3,4 →b 20 B 3,10 , 
     B 3,5 →b 25 , 
     B 3,5 →b 25 B 3,10 , 
     B 3,6 →b 24 |b 25 , 
     B 3,6 →b 24 B 3,10 |b 25 B 3,10 , 
     B 3,7 →b 20 |b 26 , 
     B 3,7 →b 20 B 3,10 |b 26 B 3,10 , 
     B 3,8 →b 25 |b 26 , 
     B 3,8 →b 25 B 3,10 |b 26 B 3,10 , 
     B 3,9 →b 24 |b 25 |b 26 , 
     B 3,9 →b 24 B 3,10 |b 25 B 3,10 |b 26 B 3,10 , 
     B 3,10 →i|u|e|o} 
     With respect to a Tibetan spelling structure 4: 
     Tibetan spelling formal grammar G 4:  the spelling formal grammar G 4  of the superfixes, the Tibetan roots, the subfixes and the vowel symbols is a quadruple (T 4 , V 4 , S 4 , P 4 ), wherein: 
     (1) terminal symbol 
     T 4 =T B ∪T o , wherein T B ={b 1 ,b 3 ,b 12 ,b 13 ,b 15 ,b 16 ,b 20 ,b 24 ,b 25 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 4 ={S 4 ,B 4,1 ,B 4,2 ,B 4,3 ,B 4,4 ,B 4,5 ,B 4,6 ,B 4,7 }; 
     (3) S 4  is a non-terminal symbol in V 4  and is the start symbol; and 
     (4) the production set of the grammar G 4  is: P 4 ={ 
     S 4 →b 25 B 4,1 , 
     S 4 →b 28 B 4,2 , 
     B 4,1 →B 4,3 |b 3 B 4,3 |b 16 B 4,3 , 
     B 4,1 →b 17 B 4,4 , 
     B 4,2 →b 12 B 4,5 |b 3 B 4,5 |b 13 B 4,5 |b 15 B 4,5 |b 16 B 4,5 , 
     B 4,2 →b 12 B 4,6 , 
     B 4,3 →b 24 , 
     B 4,3 →b 24 B 4,7 , 
     B 4,4 →b 20 , 
     B 4,4 →b 20 B 4,7 , 
     B 4,5 →b 24 |b 25 , 
     B 4,5 →b 24 B 4,7 |b 25 B 4,7 , 
     B 4,6 →b 25 , 
     B 4,6 →b 25 B 4,7 , 
     B 4,7 →i|u|e|o} 
     With respect to a Tibetan spelling structure 5: 
     Tibetan spelling formal grammar G 5:  the spelling formal grammar G 5  of the Tibetan prefixes, the superfixes, the roots and the vowel symbols is a quadruple (T 5 , V 5 , S 5 , P 5 ), wherein: 
     (1) terminal symbol 
     T 5 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 7 ,b 8 ,b 9 ,b 11 ,b 12 ,b 15 ,b 17 ,b 19 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 5 ={S 5 ,B 5,1 ,B 5,2 ,B 5,3 ,B 5,4 ,B 5,5 }; 
     (3) S 5  is a non-terminal symbol in V 5  and is the start symbol; and 
     (4) the production set of the grammar G 5  is: P 5 ={ 
     S 5 →b 15 B 5,1 , 
     B 5,1 →b 28 B 5,2 , 
     B 5,1 →b 26 B 5,3 , 
     B 5,1 →b 25 B 5,4 , 
     B 5,2 →b 1 |b 3 |b 4 |b 8 |b 9 |b 11 |b 12 |b 17 , 
     B 5,2 →b 1 B 5,5 |b 3 B 5,5 |b 4 B 5,5 |b 8 B 5,5 |b 9 B 5,5 |b 11 B 5,5 |b 12 B 5,5 |b 17 B 5,5 , 
     B 5,3 →b 9 |b 11 , 
     B 5,3 →b 9 B 5,5 |b 11 B 5,5 , 
     B 5,4 →b 1 |b 3 |b 4 |b 7 |b 8 |b 9 |b 11 |b 12 |b 17 |b 19 , 
     B 5,4 →b 1 B 5,5 |b 3 B 5,5 |b 4 B 5,5 |b 7 B 5,5 |b 8 B 5,5 |b 9 B 5,5 |b 11 B 5,5 |b 12 B 5,5 |b 17 B 5,5 |b 19 B 5,5 , 
     B 5,5 →i|u|e|o} 
     With respect to a Tibetan spelling structure 6: 
     Tibetan spelling formal grammar G 6 : the spelling formal grammar G 6  of the Tibetan prefixes, the roots, the subfixes and the vowels is a quadruple (T 6 , V 6 , S 6 , P 6 ), wherein: 
     (1) terminal symbol 
     T 6 =T B ∪T o , wherein: 
     T B ={ 4   b   2 ,b 3 ,b 11 ,b 13 ,b 14 ,b 15 ,b 16 ,b 22 ,b 23 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 6 ={S 6 ,B 6,1 ,B 6,2 ,B 6,3 ,B 6,4 ,B 6,5 ,B 6,6 ,B 6,7 ,B 6,8 ,B 6,9 ,B 6,10 ,B 6,11 }; 
     (3) S 6  is a non-terminal symbol in V 6  and is the start symbol; and 
     (4) the production set of the grammar G 6  is: P 6 ={ 
     S 6 →b 11 B 6,1 |b 15 B 6,2 |b 16 B 6,3 |b 23 B 6,4 , 
     B 6,1 →b 16 B 6,5 , 
     B 6,1 →b 1 B 6,9 |b 3 B 6,9 |b 13 B 6,9 |b 15 B 6,9 , 
     B 6,2 →b 1 B 6,6 , 
     B 6,2 →b 22 B 6,7 |b 25 B 6,7 , 
     B 6,2 →b 28 B 6,8 , 
     B 6,2 →b 3 B 6,9 , 
     B 6,3 →b 2 B 6,9 |b 3 B 6,9 , 
     B 6,4 →b 2 B 6,9 |b 3 B 6,9 |b 14 B 6,9 |b 15 B 6,9 , 
     B 6,4 →b 11 B 6,10 , 
     B 6,5 →b 24 , 
     B 6,5 →b 24 B 6,11 , 
     B 6,6 →b 24 |b 25 |b 26 , 
     B 6,6 →b 24 B 6,11 |b 25 B 6,11 |b 26 B 6,11 , 
     B 6,7 →b 26 , 
     B 6,7 →b 26 B 6,11 , 
     B 6,8 →b 25 |b 26 , 
     B 6,8 →b 25 B 6,11 |b 26 B 6,11 , 
     B 6,9 →b 24 |b 25 , 
     B 6,9 →b 24 B 6,11 |b 25 B 6,11 , 
     B 6,10 →b 25 , 
     B 6,10 →b 25 B 6,11 , 
     B 6,11 →i|u|e|o} 
     With respect to a Tibetan spelling structure 7: 
     Tibetan spelling formal grammar G 7  the spelling formal grammar G 7  of the Tibetan prefixes, the superfixes, the roots, the subfixes and the vowel symbols is a quadruple (T 7 , V 7 , S 7 , P 7 ), wherein: 
     (1) terminal symbol 
     T 7 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 15 ,b 24 ,b 25 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 7 ={S 7 ,B 7,2 ,B 7,3 ,B 7,4 ,B 7,5 ,B 7,6 }; 
     (3) S 7  is a non-terminal symbol in V 7  and is the start symbol; and 
     (4) the production set of the grammar G 7  is: P 7 ={ 
     S 7 →b 15 B 7,1 , 
     B 7,1 →b 28 B 7,2 , 
     B 7,1 →b 25 B 7,3 , 
     B 7,2 →b 1 B 7,4 |b 3 B 7,4 , 
     B 7,3 →b 1 B 7,5 |b 3 B 7,5 , 
     B 7,4 →b 24 |b 25 , 
     B 7,4 →b 24 B 7,6 |b 25 B 7,6 , 
     B 7,5 →b 24 , 
     B 7,5 →b 24 B 7,6 , 
     B 7,6 →i|u|e|o} 
     With respect to a Tibetan spelling structure 8: 
     Tibetan spelling formal grammar G 8 ; the spelling formal grammar G 8  of the Tibetan prefixes, the roots and the vowel symbols is a quadruple (T 8 , V 8 , S 8 , P 8 ), wherein: 
     (1) terminal symbol 
     T 8 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 4 ,b 5 ,b 6 ,b 7 ,b 8 ,b 9 ,b 10 ,b 11 ,b 12 ,b 13 ,b 14 ,b 15 ,b 16 ,b 17 ,b 18 ,b 19 ,b 21 ,b 22 ,b 23 ,b 24 ,b 27 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 8 ={S 8 ,B 8,1 ,B 8,2 ,B 8,3 ,B 8,4 ,B 8,5 ,B 8,6 }; 
     (3) S 8  is a non-terminal symbol in V 8  and is the start symbol; and 
     (4) the production set of the grammar G 8  is: P 8 ={ 
     S 8 →b 3 B 8,1 |b 11 B 8,2 |b 15 B 8,3 |b 16 B 8,4 |b 23 B 8,5 , 
     B 8,1 →b 5 B 8,6 |b 8 B 8,6 |b 9 B 8,6 |b 11 B 8,6 |b 12 B 8,6 |b 17 B 8,6 |b 21 B 8,6 |b 22 B 8,6 |b 24 B 8,6 |b 27 B 8,6 |b 28 B 8,6 , 
     B 8,2 →b 1 B 8,6 |b 3 B 8,6 |b 4 B 8,6 |b 13 B 8,6 |b 15 B 8,6 |b 16 B 8,6 , 
     B 8,3 →b 1 B 8,6 |b 3 B 8,6 |b 5 B 8,6 |b 9 B 8,6 |b 11 B 8,6 |b 17 B 8,6 |b 21 B 8,6 |b 22 B 8,6 |b 27 B 8,6 |b 28 B 8,6 , 
     B 8,4 →b 2 B 8,6 |b 3 B 8,6 |b 4 B 8,6 |b 6 B 8,6 |b 7 B 8,6 |b 8 B 8,6 |b 10 B 8,6 |b 11 B 8,6 |b 12 B 8,6 |b 18 B 8,6 |b 19 B 8,6 , 
     B 8,5 →b 2 B 8,6 |b 3 B 8,6 |b 6 B 8,6 |b 7 B 8,6 |b 10 B 8,6 |b 11 B 8,6 |b 4 B 8,6 |b 15 B 8,6 |b 18 B 8,6 |b 19 B 8,6 , 
     B 8,6 →i|u|e|o} 
     With respect to a Tibetan spelling structure 9: 
     Tibetan spelling formal grammar G 9 ; the spelling formal grammar G 9  of the Tibetan prefixes, the roots, the vowel characters and the suffixes is a quadruple (T 9 , V 9 , S 9 , P 9 ), wherein: 
     (1) terminal symbol 
     T 9 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 4 ,b 5 ,b 6 ,b 7 ,b 8 ,b 9 ,b 10 ,b 11 |b 12 ,b 13 ,b 15 ,b 16 ,b 15 ,b 19 ,b 22 ,b 23 ,b 24 ,b 25 ,b 26 ,b 27 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 9 ={S 9 ,B 9,1 ,B 9,2 ,B 9,3 ,B 9,4 ,B 9,5 ,B 9,7 }; 
     (3) S 9  is a non-terminal symbol in V 9  and is the start symbol; and 
     (4) the production set of the grammar G 9  is: P 9 ={ 
     S 9 →b 3 B 9,1 |b 11 B 9,2 |b 15 B 9,3 |b 16 B 9,4 |b 23 B 9,5 , B 9,1 →b 5 B 9,7 |b 8 B 9,7 |b 9 B 9,7 |b 11 B 9,7 |b 12 B 9,7 |b 17 B 9,7 |b 21 B 9,7 |b 22 B 9,7 |b 24 B 9,7 |b 27 B 9,7 |b 28 B 9,7 , 
     B 9,1 →b 5 B 9,6 |b 8 B 9,6 |b 9 B 9,6 |b 11 B 9,6 |b 12 B 9,6 |b 17 B 9,6 |b 21 B 9,6 |b 22 B 9,6 |b 24 B 9,6 |b 27 B 9,6 |b 28 B 9,6 , 
     B 9,2 →B 9,7 |b 3 B 9,7 |b 4 B 9,7  b 13 B 9,7 |b 15 B 9,7 |b 16 B 9,7 , 
     B 9,2 →b 1 B 9,6 |b 3 B 9,6 |b 4 B 9,6 |b 13 B 9,6 |b 15 B 9,6 |b 16 B 9,6 , 
     B 9,3 →b 1 B 9,7 |b 3 B 9,7 |b 5 B 9,7 |b 9 B 9,7 |b 1 B 9,7 |b 17 B 9,7 |b 21 B 9,7 |b 22 B 9,7 |b 27 B 9,7 |b 28 B 9,7 , 
     B 9,3 →b 1 B 9,6 |b 3 B 9,6 |b 5 B 9,6 |b 9 B 9,6 |b 11 B 9,6 |b 17 B 9,6 |b 21 B 9,6 |b 22 B 9,6 |b 27 B 9,6 |b 28 B 9,6 , 
     B 9,4 →b 2 B 9,7 |b 3 B 9,7 |b 4 B 9,7 |b 6 B 9,7 |b 7 B 9,7 |b 8 B 9,7 |b 10 B 9,7 |b 11 B 9,7 |b 12 B 9,7  b 18 B 9,7 |b 19 B 9,7 , 
     B 9,4 →b 2 B 9,6 |b 3 B 9,6 |b 4 B 9,6 |b 6 B 9,6 |b 7 B 9,6 |b 8 B 9,6 |b 10 B 9,6 |b 11 B 9,6 |b 12 B 9,6 |b 18 B 9,6 |b 19 B 9,6 , 
     B 9,5 →b 2 B 9,7 |b 3 B 9,7 |b 6 B 9,7 |b 7 B 9,7 |b 10 B 9,7  i b 1 B 9,7 |b 14 B 9,7 |b 15 B 9,7 |b 18 B 9,7 |b 19 B 9,7 , 
     B 9,5 →b 2 B 9,6 |b 3 B 9,6 |b 6 B 9,6 |b 7 B 9,6 |b 10 B 9,6 |b 11 B 9,6 |b 14 B 9,6 |b 15 B 9,6 |b 18 B 9,6 |b 19 B 9,6 , 
     B 9,6 →iB 9,7 |iB 9,7 |uB 9,7 |oB 9,7 , 
     B 9,7 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 10: 
     Tibetan spelling formal grammar G 10:  the spelling formal grammar G 10  of the Tibetan prefixes, the superfixes, the roots, the vowel symbols and the suffixes is a quadruple (T 10 , V 10 , S 10 ,B 10 ), wherein: 
     (1) terminal symbol 
     T 10 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 7 ,b 8 ,b 9 ,b 11 ,b 12 ,b 15 ,b 16 ,b 17 ,b 19 ,b 23 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     (3) S 10  is a non-terminal symbol in V 10  and is the start symbol; and 
     (4) the production set of the grammar G 10  is: P 10 ={ 
     S 10 →b 15 B 10,1 , 
     B 10,1 →b 28 B 10,2 |b 26 B 10,3 |b 25 B 10,4 , 
     B 10,2 →b 1 B 10,6 |b 3 B 10,6 |b 4 B 10,6 |b 8 B 10,6 |b 9 B 10,6 |b 11 B 10,6 |b 12 B 10,6 |b 17 B 10,6 , 
     B 10,2 →b 1 B 10,5 |b 3 B 10,5 |b 4 B 10,5 |b 8 B 10,5 |b 9 B 10,5 |b 11 B 10,5 |b 12 B 10,5 |b 17 B 10,5 , 
     B 10,3 →b 9 B 10,6 |b 11 B 10,6 , 
     B 10,3 →b 9 B 10,5 |b 11 B 10,5 , 
     B 10,4 →b 1 B 10,6 |b 3 B 10,6 |b 4 B 10,6 |b 7 B 10,6 |b 8 B 10,6 |b 9 B 10,6 |b 11 B 10,6 |b 12 B 10,6 |b 17 B 10,6 |b 19 B 10,6 , 
     B 10,4 →b 1 B 10,5 |b 3 B 10,5 |b 4 B 10,5 |b 7 B 10,5 |b 8 B 10,5 |b 9 B 10,5 |b 11 B 10,5 |b 12 B 10,5 |b 17 B 10,5 |b 19 B 10,5 , 
     B 10,6 →b 3 |uB 10,6 |eB 10,6 |oB 10,6 , 
     B 10,6 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 11: 
     Tibetan spelling formal grammar G 11  the spelling formal grammar G 11  of the Tibetan prefixes, the roots, the subfixes, the vowel symbols and the suffixes is a quadruple (T 11 , V 11 , S 11 , P 11 ), wherein: 
     (1) terminal symbol 
     T 11 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 4 ,b 11 ,b 12 ,B 13 ,b 14 ,b 15 ,b 16 ,b 22 ,b 23 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 11 ={S 11 ,B 11,1 ,B 11,2 ,B 11,3 ,B 11,4 ,B 11 ,B 11,6 ,B 11,7 ,B 11,8 ,B 11,9 ,B 11,10 B 11,11 ,B 11,12 }; 
     (3) S 11  is a non-terminal symbol in V 11  and is the start symbol; and 
     (4) the production set of the grammar G 11  is: P 11 ={ 
     S 11 →b 11 B 11,1 |b 15 B 11,2 |b 16 B 11,3 |b 23 B 11,4 , 
     B 11,1 →b 6 B 11,5 , 
     B 11,1 →b 1 B 11,9 |b 3 B 11,9 |b 13 B 11,9 |b 15 B 11,9 , 
     B 11,2 →b 1 B 11,6 , 
     B 11,2 →b 22 B 11,7 |b 25 B 11,7 , 
     B 11,2 →b 28 B 11,8 , 
     B 11,2 →b 3 B 11,9 , 
     B 11,3 →b 2 B 11,9 |b 3 B 11,9 , 
     B 11,4 →b 2 B 11,9 |b 3 B 11,9 |b 14 B 11,9 |b 15 B 11,9 , 
     B 11,4 →b 11 B 11,10 , 
     B 11,5 →b 24 B 12 , 
     B 11,5 →b 24 B 11,11 , 
     B 11,6 →b 24 B 11,12 |b 25 B 11,12 |b 26 B 11,12 , 
     B 11,6 →b 25 B 11,11 |b 26 B 11,11 , 
     B 11,7 →b 26 B 11,12 , 
     B 11,8 →b 25 B 11,12 |b 26 B 11,12 , 
     B 11,8 →b 25 B 11,11 |b 26 B 11,11 , 
     B 11,9 →b 24 B 11,12 |b 25 B 11,12 , 
     B 11,9 →b 24 B 11,11 |b 25 B 11,11 , 
     B 11,10 →b 25 B 11,12 , 
     B 11,10 →b 25 B 11,11 , 
     B 11,11 →iB 11,12 |iB 11,12 |eB 11,12 |oB 11,12 , 
     B 11,12 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 12: 
     Tibetan spelling formal grammar G 12:  the spelling formal grammar G 12  of the Tibetan prefixes, the superfixes, the roots, the subfixes, the vowel symbols and the suffixes is a quadruple (T 12 , V 12 , S 12 , P 12 ), wherein: 
     (1) terminal symbol 
     T 12 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 11 ,b 12 ,b 15 ,b 16 ,b 23 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-tell final symbol set 
     V 12 ={S 12 ,B 12,1 ,B 12,2 ,B 12,3 B 12,4 ,B 12,5 ,B 12,6 ,B 12,7 }; 
     (3) S 12  is a non-terminal symbol in V 12  and is the start symbol; and 
     (4) the production set of the grammar G 12  is: P 12 ={ 
     S 12 →b 15 B 12,1 , 
     B 12,1 →b 28 B 12,2 , 
     B 12,1 →b 25 B 12,3 , 
     B 12,2 →b 1 B 12,4 |b 3 B 12,4 , 
     B 12,3 →b 1 B 12,5 |b 3 B 12,5 , 
     B 12,4 →b 24 B 12,7 |b 25 B 12,7 , 
     B 12,4 →b 24 B 12,6 |b 25 B 12,6 , 
     B 12,5 →b 24 B 12,7 , 
     B 12,5 →b 24 B 12,6 , 
     B 12,6 →iB 12,7 |uB 12,7 |eB 12,7 |oB 12,7 , 
     B 12,7 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 13: 
     Tibetan spelling formal grammar G 13  the spelling formal grammar G 13  of the Tibetan prefixes, the roots, the vowel symbols, the suffixes and the postfixes is a quadruple (T 13 , V 13 , S 13 , P 13 ), wherein: 
     (1) terminal symbol 
     T 13 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 4 ,b 5 ,b 6 ,b 7 ,b 8 ,b 9 ,b 10 ,b 11 ,b 12 ,b 13 ,b 14 ,b 15 ,b 10 ,b 17 ,b 18 ,b 19 ,b 21 ,b 22 ,b 23 ,b 24 ,b 25 ,b 26 ,b 27 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 13 ={S 13 ,B 13,1 ,B 13,2 ,B 13,3 B 13,4 ,B 13,5 ,B 13,6 ,B 13,7 ,B 13,8 ,B 13,9 }; 
     (3) S 13  is a non-terminal symbol in V 13  and is the start symbol; and 
     (4) the production set of the grammar G 13  is: P 13 ={ 
     S 13 →b 3 B 13,1 |b 11 B 13,2 |b 15 B 13,3 |b 16 B 13,4 |b 23 B 13,5 , 
     B 13,1 →b 5 B 13,6 |b 8 B 13,6 |b 9 B 13,6 |b 11 B 13,6 |b 12 B 13,6 |b 17 B 13,6 |b 21 B 13,6 |b 22 B 13,6 |b 24 B 13,6 |b 27 B 13,6 |b 28 B 13,6 , 
     B 13,2 →b 1 B 13,6 |b 3 B 13,6 |b 4 B 13,6 |b 13 B 13,6 |b 15 B 13,6 |b 16 B 13,6 , 
     B 13,3 →b 1 B 13,6 |b 3 B 13,6 |b 5 B 13,6 |b 9 B 13,6 |b 11 B 13,6 |b 17 B 13,6 |b 21 B 13,6 |b 22 B 13,6 |b 27 B 13,6 |b 28 B 13,6 , 
     B 13,4 →b 2 B 13,6 |b 3 B 13,6 |b 4 B 13,6 |b 6 B 13,6 |b 7 B 13,6 |b 8 B 13,6 |b 10 B 13,6 |b 11 B 13,6 |b 12 B 13,6 |b 18 B 13,6 |b 19 B 13,6 , 
     B 13,5 →b 2 B 13,6 |b 3 B 13,6 |b 6 B 13,6 |b 7 B 13,6 |b 10 B 13,6 |b 11 B 13,6 |b 14 B 13,6 |b 15 B 13,6 |b 18 B 13,6 |b 19 B 13,6 , 
     B 13,6 →iB 13,7 |uB 13,7 |eB 13,7  oB 13,7 , 
     B 13,6 →b 3 B 13,8 |b 4 B 13,8 |b 15 B 13,8 |b 16 B 13,8 , 
     B 13,6 →b 12 B 13,9 |b 25 B 13,9 |b 26 B 13,9 , 
     B 13,7 →b 3 B 13,8  b 4 B 13,8 |b 15 B 13,8  b 16 B 13,8 , 
     B 13,7 →b 12 B 13,9 |b 25 B 13,9 |b 26 B 13,9 , 
     B 13,8 →b 28 , 
     B 13,9 →b 11 } 
     With respect to a Tibetan spelling structure 14: 
     Tibetan spelling formal grammar G 14:  the spelling formal grammar G 14  of the Tibetan prefixes, the superfixes, the roots, the vowel symbols, the suffixes and the postfixes is a quadruple (T 14 , V 14 , S 14 , P 14 ), wherein: 
     (1) terminal symbol 
     T 14 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 11 ,b 12 ,b 13 ,b 15 ,b 10 ,b 17 ,b 20 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 14 ={S 14 ,B 14,1 ,B 14,2 ,B 14,3 ,B 14,4 ,B 14,5 ,B 14,6 ,B 14,7 ,B 14,8 }; 
     (3) S 14  is a non-terminal symbol in V 14  and is the start symbol; and 
     (4) the production set of the grammar G 14  is: P 14 ={ 
     S 14 →b 15 B 14,1 , 
     B 14,1 →b 28 B 14,2 |b 26 B 14,3 |b 25 B 14,4 , 
     B 14,2 →b 1 B 14,5 |b 3 B 14,5 |b 4 B 14,5 |b 8 B 14,5 |b 9 B 14,5 |b 14 B 14,5 |b 12 B 14,5 |b 17 B 14,5 , 
     B 14,3 →b 9 B 14,5 |b 11 B 14,5 , 
     B 14,4 →b 1 B 14,5 |b 3 B 14,5 |b 4 B 14,5 |b 7 B 14,5 |b 8 B 14,5 |b 9 B 14,5 |b 11 B 14,5 |b 12 B 14,5 |b 17 B 14,5 |b 19 B 14,5 , 
     B 14,5 →b 3 B 14,6 |uB 14,6 |eB 14,6 |oB 14,6 , 
     B 14,5 →b 3 B 14,7 |b 4 B 14,7 |b 15 B 14,7 |b 16 B 14,7 , 
     B 14,5 →b 12 B 14,8 |b 25 B 14,8 |b 26 B 14,8 , 
     B 14,6 →b 3 B 14,7 |b 4 B 14,7 |b 15 B 14,7 |b 16 B 14,7 , 
     B 14,6 →b 12 B 14,8 |b 25 B 14,8 |b 26 B 14,8 , 
     B 14,7 →b 28 , 
     B 14,8 →b 11 } 
     With respect to a Tibetan spelling structure 15: 
     Tibetan spelling formal grammar G 15:  the spelling formal grammar G 15  of the Tibetan prefixes, the roots, the subfixes, the vowel symbols, the suffixes and the postfixes is a quadruple (T 15 , V 15 , S 15 , P 15 ), wherein: 
     (1) terminal symbol 
     T 5 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 4 ,b 11 ,b 12 ,b 13 ,b 14 ,b 15 ,b 16 ,b 22 ,b 23 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 15 ={S 15 ,B 15,1 ,B 15,2 ,B 15,3 ,B 15,4 ,B 15,5 ,B 15,6 ,B 15,7 ,B 15,8 ,B 15,9 ,B 15,10 ,B 15,11 ,B 15,12 ,B 15,13 ,B 15,14 }; 
     (3) S 15  is a non-terminal symbol in V 15  and is the start symbol; and 
     (4) the production set of the grammar G 15  is: P 15 ={ 
     S 15 →b 11 B 15,1  b 15 B 15,2 |b 16 B 15,3 |b 23 B 15,4 , 
     B 15,1 →b 16 B 15,5 , 
     B 15,1 →b 1 B 15,9 |b 3 B 15,9 |b 13 B 15,9 |b 15 B 15,9 , 
     B 15,2 →b 1 B 15,6 , 
     B 15,2 →b 22 B 15,7 |b 25 B 15,7 , 
     B 15,2 →b 28 B 15,8 , 
     B 15,2 →b 3 B 15,9 , 
     B 15,3 →b 2 B 15,9 |b 3 B 15,9 , 
     B 15,4 →b 2 B 15,9 |b 3 B 15,9 |b 14 B 15,9 |b 15 B 15,9 , 
     B 15,4 →b 11 B 15,10 , 
     B 15,5 →b 24 B 15,11 , 
     B 15,6 →b 24 B 15,11 |b 25 B 15,11 |b 26 B 15,11 , 
     B 15,7 →b 26 B 15,11 , 
     B 15,8 →b 25 B 15,11 |b 26 B 15,11 , 
     B 15,9 →b 24 B 15,11 |b 25 B 15,11 , 
     B 15,10 →b 25 B 15,11 , 
     B 15,11 →iB 15,12 |uB 15,12 |eB 15,12 |oB 15,12 , 
     B 15,11 →b 3 B 15,13 |b 4 B 15,13 |b 15 B 15,13 |b 16 B 15,13 , 
     B 15,11 →b 12 B 15,4 |b 25 B 15,14 |b 26 B 15,14 , 
     B 15,12 →b 3 B 15,13 |b 4 B 15,13 |b 15 B 15,13 |b 16 B 15,13 , 
     B 15,12 →b 12 B 15,14 |b 25 B 15,14 |b 26 B 15,14 , 
     B 15,13 →b 28 , 
     B 15,14 →b 11 } 
     With respect to a Tibetan spelling structure 16: 
     Tibetan spelling formal grammar G 16  the Tibetan character spelling grammar G 16  of the Tibetan prefixes, the superfixes, the roots, the subfixes, the vowel symbols, the suffixes and the postfixes is a quadruple (T 16 , V 16 , S 16 , P 16 ), wherein: 
     (1) terminal symbol 
     T 16 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 11 ,b 12 ,b 15 ,b 16 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 16 ={S 16 ,B 16,1 ,B 16,2 ,B 16,3 ,B 10,4 ,B 16,5 ,B 16,6 ,B 16,7 ,B 16,8 ,B 16,9 }; 
     (3) S 16  is a non-terminal symbol in V 16  and is the start symbol; and 
     (4) the production set of the grammar G 16  is: P 16 ={ 
     S 16 →b 15 B 16,1 , 
     B 16,1 →b 28 B 16,2 , 
     B 16,1 →b 25 B 16,3 , 
     B 16,2 →b 1 B 16,4 |b 3 B 16,4 , 
     B 16,3 →b 1 B 16,5 |b 3 B 16,5 , 
     B 16,4 →b 24 B 16,6 |b 25 B 16,6 , 
     B 16,5 →b 24 B 16,6 , 
     B 16,6 →iB 16,7 |uB 16,7 |eB 16,7 |oB 16,7 , 
     B 16,6 →b 3 B 16,8 |b 4 B 16,8 |b 15 B 16,8 |b 16 B 16,8 , 
     B 16,6 →b 12 B 16,9 |b 25 B 16,9 |b 26 B 16,9 , 
     B 16,7 →b 3 B 16,8 |b 4 B 16,8 |b 15 B 16,8 |b 16 B 16,8 , 
     B 16,7 →b 12 B 16,9 |b 25 B 16,9 |b 26 B 16,9 , 
     B 16,8 →b 28 , 
     B 16,9 →b 11 } 
     With respect to a Tibetan spelling structure 17: 
     Tibetan spelling formal grammar G 17:  the spelling formal grammar G 17  of the Tibetan roots, the vowel symbols and the suffixes is a quadruple (T 17 , V 17 , S 17 , P 17 ), wherein: 
     (1) terminal symbol 
     T 17 =T B ∪T o , wherein: 
     T B ={b 1 , b 2 , b 3 , b 4 , b 5 , . . . , b 30 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 17 ={S 17 ,B 17,1 B 17,2 }; 
     (3) S 17  is a non-terminal symbol in V 17  and is the start symbol; and 
     (4) the production set of the grammar G 17  is: P 17 ={ 
     S 17 →b 1 B 17,1 |b 2 B 17,1 |b 3 B 17,1 |b 4 B 17,1 |b 5 B 17,1 | . . . |b 30 B 17,1 , 
     S 17 →b 1 B 17,2 |b 2 B 17,2 |b 3 B 17,2 |b 4 B 17,2 |b 5 B 17,2 |b 30 B 17,2 , 
     B 17,1 →iB 17,2 |uB 17,2 |eB 17,2 |oB 17,2 , 
     B 17,2 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 18: 
     Tibetan spelling formal grammar G 18 ; the spelling formal grammar G 18  of the Tibetan superfixes, the roots, the vowel symbols and the suffixes is a quadruple (T 18 ,V 18 , S 18 , P 18 ), wherein: 
     (1) terminal symbol 
     T 18 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 5 ,b 7 ,b 8 ,b 9 ,b 11 ,b 12 ,b 13 ,b 15 ,b 16 ,b 17 ,b 19 ,b 23 ,b 25 ,b 26 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 18 ={S 18 ,B 18,1 ,B 18,2 ,B 18,3 ,B 18,4 ,B 18,5 }; 
     (3) S 18  is a non-terminal symbol in V 18  and is the start symbol; and 
     (4) the production set of the grammar G 18  is: P 18 ={ 
     S 18 →b 25 B 18,1 |b 26 B 18,2 |b 28 B 18,3 , 
     B 18,1 →b 1 B 18,5 |b 3 B 18,5 |b 4 B 18,5 |b 7 B 18,5 |b 8 B 18,5 |b 9 B 18,5 |b 11 B 18,5 |b 12 B 18,5 |b 15 B 18,5 |b 16 B 18,5 |b 17 B 18,5 |b 19 B 18,5 , 
     B 18,1 →b 1 B 18,4 |b 3 B 18,4 |b 4 B 18,4 |b 7 B 18,4 |b 8 B 18,4 |b 9 B 18,4 |b 11 B 18,4 |b 12 B 18,4 |b 15 B 18,4 |b 16 B 18,4 |b 17 B 18,4 |b 19 B 18,4 , 
     B 18,2 →b 1 B 18,5 |b 3 B 18,5 |b 4 B 18,5 |b 5 B 18,5 |b 7 B 18,5 |b 9 B 18,5 |b 11 B 18,5 |b 13 B 18,5 |b 15 B 18,5 |b 29 B 18,5 , 
     B 18,2 →b 1 B 18,4 |b 3 B 18,4 |b 4 B 18,4 |b 5 B 18,4 |b 7 B 18,4 |b 9 B 18,4 |b 11 B 18,4 |b 13 B 18,4 |b 15 B 18,4 |b 29 B 18,4 , 
     B 18,3 →b 1 B 18,5 |b 3 B 18,5 |b 4 B 18,5 |b 8 B 18,5 |b 9 B 18,5 |b 11 B 18,5 |b 12 B 18,5 |b 13 B 18,5 |b 15 B 18,5 |b 16 B 18,5 |b 17 B 18,5 , 
     B 18,3 →b 1 B 18,4 |b 3 B 18,4 |b 4 B 18,4 |b 8 B 18,4 |b 9 B 18,4 |b 11 B 18,4 |b 12 B 18,4 |b 13 B 18,4 |b 15 B 18,4 |b 16 B 18,4 |b 17 B 18,4 , 
     B 18,4 →iB 18,5 |uB 18,5 |eB 18,5 |oB 18,5 , 
     B 18,5 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 19: 
     Tibetan spelling formal grammar G 19:  the spelling formal grammar G 19  of the Tibetan roots, the subfixes, the vowel symbols and the suffixes is a quadruple (T 6 , V 6 , S 6 , P 6 ), wherein: 
     (1) terminal symbol 
     T 19 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 4 ,b 8 ,b 9 ,b 10 ,b 11 ,b 12 ,b 13 ,b 14 ,b 15 ,b 16 ,b 18 ,b 20 ,b 21 ,b 22 ,b 23 ,b 24 ,b 25 ,b 26 ,b 27 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 19 ={S 19 ,B 19,1 ,B 19,2 ,B 19 ,B 19,4 ,B 19,5 ,B 19,6 ,B 19,7 ,B 19,s ,B 19,9 ,B 19,10 ,B 19,11 }; 
     (3) S 19  is a non-terminal symbol in V 19  and is the start symbol; and 
     (4) the production set of the grammar G 19  is: P 19 ={ 
     S 19 →b 1 B 19,1 |b 3 B 19,1 , 
     S 19 →b 2 B 19,21    
     S 19 →b 11 B 19,3 |b 29 B 19,3 , 
     S 19 →b 8 B 19,4 |b 18 B 19,4 |b 21 B 19,4 |b 26 B 19,4 |b 27 B 19,4 , 
     S 19 →b 9 B 19,5 |b 10 B 19,5 , 
     S 19 →b 13 B 19,6 |b 14 B 19,6 |b 16 B 19,6 , 
     S 19 →b 22 B 19,7 |b 25 B 19,7 , 
     S 19 →b 28 B 19,8 , 
     S 19 →b 15 B 19,9 , 
     B 19,1 →b 20 B 19,11 |b 24 B 19,11 |b 25 B 19,11 |b 26 B 19,11 , 
     B 19,1 →b 20 B 19,10 |b 24 B 19,10 |b 25 B 19,10 |b 26 B 19,10 , 
     B 19,2 →b 20 B 19,11 |b 24 B 19,11 |b 25 B 19,11 , 
     B 19,2 →b 20 B 19,10 |b 24 B 19,10 |b 25 B 19,10 , 
     B 19,3 →b 20 B 19,11 |b 25 B 19,11 , 
     B 19,3 →b 20 B 19,10 |b 25 B 19,10 , 
     B 19,4 →b 20 B 19,11 , 
     B 19,4 →b 20 B 19,10 , 
     B 19,5 →b 25 B 19,11 , 
     B 19,5 →b 25 B 19,10 , 
     B 19,6 →b 24 B 19,11 |b 25 B 19,11 , 
     B 19,6 →b 24 B 19,10 |b 25 B 19,10 , 
     B 19,7 →b 20 B 19,11 |b 26 B 19,11 , 
     B 19,7 →b 20 B 19,10 |b 26 B 19,10 , 
     B 19,8 →b 25 B 19,11 |b 26 B 19,11 , 
     B 19,8 →b 25 B 19,10 |b 26 B 19,10 , 
     B 19,9 →b 24 B 19,11 |b 25 B 19,11 |b 26 B 19,11 , 
     B 19,9 →b 24 B 19,10  b 25 B 19,10 |b 26 B 19,10 , 
     B 19,10 →iB 19,11 |uB 19,11 |eB 19,11 |oB 19,11 , 
     B 19,11 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 20: 
     Tibetan spelling formal grammar G 20  the spelling formal grammar G 20  of the superfixes, the Tibetan roots, the subfixes, the vowel symbols and the suffixes is a quadruple (T 20 , V 20 , S 20 , P 20 ), wherein: 
     (1) terminal symbol 
     T 20 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 11 ,b 12 ,b 13 ,b 15 ,b 16 ,b 17 ,b 20 ,b 23 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 20 ={S 20 ,B 20,1 ,B 20,2 ,B 20,3 ,B 20,4 ,B 20,5 ,B 20,6 ,B 20,7 ,B 20,8 }; 
     (3) S 20  is a non-terminal symbol in V 20  and is the start symbol; and 
     (4) the production set of the grammar G 20  is: P 20 ={ 
     S 20 →b 25 B 20,1 , 
     S 20 →b 28 B 20,2 , 
     B 20,1 →b 1 B 20,3 |b 3 B 20,3 |b 16 B 20,3 , 
     B 20,1 →b 17 B 20,4 , 
     B 20,2 →b 1 B 20,5 |b 3 B 20,5 |b 13 B 20,5 |b 15 B 20,5 |b 16 B 20,5 , 
     B 20,2 →b 12 B 20,6 , 
     B 20,3 →b 24 B 20,8 , 
     B 20,3 →b 24 B 20,7 , 
     B 20,4 →b 20 B 20,8 , 
     B 20,4 →b 20 B 20,7 , 
     B 20,5 →b 24 B 20,8 |b 25 B 20,8 , 
     B 20,5 →b 24 B 20,7 |b 25 B 20,7 , 
     B 20,6 →b 25 B 20,8 , 
     B 20,6 →|b 25 B 20,7 , 
     B 20,7 →iB 20,8 |uB 20,8 |eB 20,8 |oB 20,8 , 
     B 20,8 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 21: 
     Tibetan spelling formal grammar G 21:  the spelling formal grammar G 21  of the Tibetan roots, the vowel symbols, the suffixes and the postfixes is a quadruple (T 21 , V 21 , S 21 , P 21 ), wherein: 
     (1) terminal symbol 
     T 21 =T B ∪T o , wherein: 
     T B ={b 1 , b 2 , b 3 , b 4 , b 5 , . . . , b 30 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 21 ={S 21 ,B 21,1 ,B 21,2 ,B 21,3 ,B 21,4 ,B 21,5 ,B 21,6 ,B 21,7 }; 
     (3) S 21  is a non-terminal symbol in V 21  and is the start symbol; and 
     (4) the production set of the grammar G 21  is: P 21 ={ 
     S 21 →b 1 B 21,1 |b 2 B 21,1 | . . . |b 10 B 21,1 |b 12 B 21,1 |b 13 B 21,1 |b 22 B 21,1 |b 24 B 21,1 |b 25 B 21,1 | . . . |b 30 B 21,1 , 
     S 21 →b 1 B 21,2 , 
     S 21 →|b 23 B 21,3 , 
     B 21,1 →iB 21,4 |uB 21,4 |eB 21,4 |oB 21,4 , 
     B 21,1 →b 3 B 21,7 |b 4 B 21,7 |b 15 B 21,7 |b 16 B 21,7 , 
     B 21,2 →iB 21,5 |uB 21,5 |eB 21,5  oB 21,55 , 
     B 21,3 →b 4 B 21,7 |b 16 B 21,7 , 
     B 21,3 →iB 21,6 |uB 21,6 |eB 21,6 |oB 21,6 , 
     B 21,4 →b 3 B 21,7 |b 4 B 21,7 |b 15 B 21,7 |b 16 B 21,7 , 
     B 21,5 →b 3 B 21,7 |b 4 B 21,7 |b 15 B 21,7 |b 16 B 21,7 , 
     B 21,6 →b 3 B 21,7 |b 4 B 21,7 |b 15 B 21,7 |b 16 B 21,7 , 
     B 21,7 →b 28 } 
     With respect to a Tibetan spelling structure 22: 
     Tibetan spelling formal grammar G 22:  the spelling formal grammar G 22  of the Tibetan superfixes, the roots, the vowel symbols, the suffixes and the postfixes is a quadruple (T 22 , V 22 , S 22 , P 22 ), wherein: 
     (1) terminal symbol 
     T 22 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 5 ,b 7 ,b 8 ,b 9 ,b 11 ,b 12 ,b 13 ,b 15 ,b 16 ,b 17 ,b 19 ,b 25 ,b 26 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 22 ={S 22 ,B 22,1 ,B 22,2 ,B 22,3 ,B 22,4 ,B 22,5 }; 
     (3) S 22  is a non-terminal symbol in V 22  and is the start symbol; and 
     (4) the production set of the grammar G 22  is: P 22 ={ 
     S 22 →b 25 B 22,1 |b 26 B 22,2 |b 28 B 22,3 , 
     B 22,1 →b 1 B 22,4 |b 3 B 22,4 |b 4 B 22,4 |b 7 B 22,4 |b 8 B 22,4 |b 9 B 22,4 |b 11 B 22,4 |b 12 B 22,4 |b 15 B 22,4 |b 16 B 22,4 |b 17 B 22,4 |b 19 B 22,4 , 
     B 22,2 →b 1 B 22,4 |b 3 B 22,4 |b 4 B 22,4 |b 5 B 22,4 |b 7 B 22,4 |b 9 B 22,4 |b 11 B 22,4 |b 13 B 22,4 |b 15 B 22,4 |b 29 B 22,4 , 
     B 22,3 →b 1 B 22,4 |b 3 B 22,4  b 4 B 22,4 |b 8 B 22,4 |b 9 B 22,4 |b 11 B 22,4  b 12 B 22,4 |b 13 B 22,4 |b 15 B 22,4 |b 16 B 22,4 |b 17 B 22,4 , 
     B 22,4 →iB 22,7 |uB 22,7 |eB 22,7 |oB 22,7 , 
     B 22,4 →b 12 B 22,5 |b 25 B 22,5 |b 26 B 22,5 , 
     B 22,4 →b 3 B 22,6 |b 4 B 22,6 |b 15 B 22,6 |b 16 B 22,6 , 
     B 22,7 →b 12 B 22,5 |b 25 B 22,5 |b 26 B 22,5 , 
     B 22,7 →b 3 B 22,6 |b 4 B 22,6 |b 15 B 22,6 |b 16 B 22,6 , 
     B 22,5 →b 11 , 
     B 22,6 →b 18 } 
     With respect to a Tibetan spelling structure 23: 
     Tibetan spelling formal grammar G 23:  the Tibetan character spelling grammar G 23  of the Tibetan roots, the subfixes, the vowel symbols, the suffixes and the postfixes is a quadruple (T 23 , V 23, 523 , P 23 ), wherein: 
     (1) terminal symbol 
     T 23 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 4 ,b 8 ,b 9 ,b 10 ,b 11 ,b 12 ,b 13 ,b 14 ,b 15 ,b 16 ,b 18 ,b 20 ,b 21 ,b 22 ,b 24 ,b 25 ,b 26 ,b 27 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 23 ={S 23 ,B 23,1 ,B 23,2 ,B 23,3 ,B 23,4 ,B 23,5 ,B 23,6 ,B 23,7 ,B 23,8 ,B 23,9 ,B 23,10 ,B 23,11 ,B 23,12 ,B 23,13 }; 
     (3) S 23  is a non-terminal symbol in V 23  and is the start symbol; and 
     (4) the production set of the grammar G 23  is: P 23 ={ 
     S 23 →b 1 B 23,1 |b 3 B 23,1 , 
     S 23 →b 2 B 23,2 , 
     S 23 →b 11 B 23,3 |b 29 B 23,3 , 
     S 23 →b 8 B 23,4 |b 18 B 23,4 |b 21 B 23,4 |b 26 B 23,4 |b 27 B 23,4 , 
     S 23 →b 9 B 23,5 |b 10 B 23,5 , 
     S 23 →b 13 B 23,6 |b 14 B 23,6 |b 16 B 23,6 , 
     S 23 →b 22 B 23,7 |b 25 B 23,7 , 
     S 23 →b 28 B 23,8 , 
     S 23 →b 15 B 23,9 , 
     B 23,1 →b 20 B 23,10 |b 24 B 23,10 |b 25 B 23,10 |b 26 B 23,10 , 
     B 23,2 →b 20 B 23,10 |b 24 B 23,10 |b 25 B 23,10 , 
     B 23,3 →b 20 B 23,10 |b 25 B 23,10 , 
     B 23,4 →b 20 B 23,10 , 
     B 23,5 →b 25 B 23,10 , 
     B 23,6 →b 24 B 23,10 |b 25 B 23,10 , 
     B 23,7 →b 20 B 23,10 |b 26 B 23,10 , 
     B 23,8 →b 25 B 23,10 |b 26 B 23,10 , 
     B 23,9 →b 24 B 23,10 |b 25 B 23,10 |b 26 B 23,10 , 
     B 23,10 →iB 23,11 |uB 23,11 |eB 23,11 |oB 23,11 , 
     B 23,10 →b 12 B 23,12 |b 25 B 23,12 |b 26 B 23,12 , 
     B 23,10 →b 3 B 23,13 |b 4 B 23,13 |b 15 B 23,13 |b 16 B 23,13 , 
     B 23,11 →b 12 B 23,12 |b 25 B 23,12 |b 26 B 23,12 , 
     B 23,11 →b 3 B 23,13 |b 4 B 23,13 |b 15 B 23,13 |b 16 B 23,13 , 
     B 23,12 →b 11 , 
     B 23,13 →b 18 } 
     With respect to a Tibetan spelling structure 24: 
     Tibetan spelling formal grammar G 24:  the spelling formal grammar G 24  of the Tibetan superfixes, the roots, the suffixes, the vowel symbols, the suffixes and the postfixes is a quadruple (T 24 , V 24 , S 24 , P 24 ), wherein: 
     (1) terminal symbol 
     T 24 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 11 ,b 12 ,b 13 ,b 15 ,b 16 ,b 17 ,b 20 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 24 ={S 24 ,B 24,1 ,B 24,2 ,B 24,3 ,B 24,4 ,B 24 ,B 24,6 ,B 24,7 ,B 24,8 ,B 24,9 ,B 24,10 }; 
     (3) S 24  is a non-terminal symbol in V 24  and is the start symbol; and 
     (4) the production set of the grammar G 24  is: P 24 ={ 
     S 24 →b 25 B 24,1 ; 
     S 24 →b 28 B 24,2 , 
     B 24,1 →b 1 B 24,3 |b 3 B 24,3 |b 16 B 24,3 , 
     B 24,1 →b 17 B 24,4 , 
     B 24,2 →b 1 B 24,5 |b 3 B 24,5 |b 13 B 24,5 |b 15 B 24,5 |b 16 B 24,5 , 
     B 24,2 →b 12 B 24,6 , 
     B 24,3 →b 24 B 24,7 , 
     B 24,4 →b 20 B 24,7 , 
     B 24,5 →b 24 B 24,7 |b 25 B 24,7 , 
     B 24,6 |b 25 B 24,7 , 
     B 24,7 →iB 24,8 |uB 24,8 |eB 24,8 |oB 24,8 , 
     B 24,7 →b 12 B 24,9 |b 25 B 24,9 |b 26 B 24,9 , 
     B 24,7 →b 3 B 24,10 |b 4 B 24,10 |b 15 B 24,10 |b 16 B 24,10 , 
     B 24,8 →b 12 B 24,9 |b 25 B 24,9 |b 26 B 24,9 , 
     B 24,8 →b 3 B 24,10 |b 4 B 24,10 |b 15 B 24,10 |b 16 B 24,10 , 
     B 24,9 →b 11 , 
     B 24,10 →b 18 } 
     With respect to a Tibetan spelling structure 25: 
     Tibetan spelling formal grammar G 25:  the spelling formal grammar G 25  of the Tibetan roots, the subfixes and the subfixes is a quadruple (T 25 , V 25 , S 25 , P 25 ), wherein: 
     (1) terminal symbol 
     T 25 ={b 3 ,b 11 ,b 14 ,b 20 ,b 24 ,b 25 }, the elements thereof correspond to the Tibetan consonant characters; 
     (2) non-terminal symbol set 
     V 25 ={S 25 ,B 25,1 ,B 25,2 ,B 25,3 }; 
     (3) S 25  is a non-terminal symbol in V 25  and is the start symbol; and 
     (4) the production set of the grammar G 25  is: P 25 ={ 
     S 25 →b 3 B 25,1 |b 11 B 25,1 , 
     S 25 →b 14 B 25,2 , 
     B 25,1 →b 25 B 25,3 , 
     B 25,2 →b 24 B 25,3 , 
     B 25,3 →b 20 } 
     With respect to a Tibetan spelling structure 26: 
     Tibetan spelling formal grammar G 26  the spelling formal grammar G 26  of the Tibetan consonant characters, the consonant characters and the vowel symbols is a quadruple (T 26 , V 26 , S 26 , P 26 ), wherein: 
     (1) terminal symbol 
     T 26 =T B ∪T o , wherein: 
     T B ={b 14 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 26 ={S 26 ,B 26,1 ,B 26,2 }; 
     (3) S 26  is a non-terminal symbol in V 26  and is the start symbol; and 
     (4) the production set of the grammar G 26  is: P 26 ={ 
     S 26 →b 29 B 26,1 , 
     B 26,1 →b 14 , 
     B 26,1 →b 14 B 26,2 , 
     B 26,2 →i|u|e|o} 
     With respect to a Tibetan spelling structure 27: 
     Tibetan spelling formal grammar G 27:  the spelling formal grammar G 27  of the Tibetan consonant characters, the consonant characters, the vowel symbols and the suffixes is a quadruple (T 27 , V 27 , S 27 , P 27 ), wherein: 
     (1) terminal symbol 
     T 27 =T B ∪T o , wherein: 
     T B ={b 3 ,b 4 ,b 11 ,b 12 ,b 14 ,b 15 ,b 16 ,b 23 ,b 25 ,b 26 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 27 ={S 27 ,B 27,1 ,B 27,2 ,B 27,3 ; 
     (3) S 27  is a non-terminal symbol in V 27  and is the start symbol; and 
     (4) the production set of the grammar G 27  is: P 27 ={ 
     S 27 →b 29 B 27,1 , 
     B 27,1 →b 14 B 27,3 , 
     B 27,1 b 14 B 27,2 , 
     B 27,2 →iB 27,3 |uB 27,3 |eB 27,3 |oB 27,3 , 
     B 27,3 →b 3 |b 4 |b 11 |b 12 |b 15 |b 16 |b 23 |b 25 |b 26 |b 28 } 
     With respect to a Tibetan spelling structure 28: 
     Tibetan spelling formal grammar G 28:  the simultaneous spelling formal grammar G 28  of the Tibetan roots and the vowel symbols, and of the Tibetan roots and the vowel symbols is a quadruple (T 28 , V 28 , S 28 , P 28 ), wherein: 
     (1) terminal symbol 
     T 28 =T B ∪T o , wherein: 
     T B ={b 1 , b 2 , b 3 , b 4 , b 5 , . . . , b 30 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 28 ={S 28 ,B 28,1 ,B 28,2 ,B 28,3 }; 
     (3) S 28  is a non-terminal symbol in V 28  and is the start symbol; and 
     (4) the production set of the grammar G 28    
     S 28 →b 1 B 28,1 |b 2 B 28,1 |b 3 B 28,1 |b 4 B 28,1 |b 5 B 28,1 | . . . |b 30 B 28,1 , 
     B 28,1 →iB 28,2 |uB 28,2 |eB 28,2 |oB 28,25 , 
     B 28,1 →b 23 B 28,3 ,B 28,2 →b 23 B 28,3 , 
     B 28,3 →i|u|e|o} 
     With respect to a Tibetan spelling structure 29: 
     Tibetan spelling formal grammar G 29:  the simultaneous spelling formal grammar G 29  of the Tibetan superfixes, the roots and the vowels, and of the roots and the vowel symbols is a quadruple (T 29 , V 29 , S 29 , P 29 ), wherein: 
     (1) terminal symbol 
     T 29 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 5 ,b 7 ,b 8 ,b 9 ,b 11 ,b 12 ,b 13 ,b 15 ,b 16 ,b 17 ,b 19 ,b 23 ,b 25 ,b 20 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 29 ={S 29 ,B 29,1 ,B 29,2 ,B 29,3 ,B 29,4 B 29,5 ,B 29,6 }; 
     (3) S 29  is a non-terminal symbol in V 29  and is the start symbol; and 
     (4) the production set of the grammar G 29  is: P 29 ={ 
     S 29 →b 25 B 29,1 |b 26 B 29,2 |b 28 B 29,3 , 
     B 29,1 →b 1 B 29,4 |b 3 B 29,4 |b 4 B 29,4 |b 7 B 29,4 |b 8 B 29,4 |b 9 B 29,4 |b 11 B 29,4  b 12 B 29,4 |b 15 B 29,4 |b 16 B 29,4 |b 17 B 29,4 |b 19 B 29,4 , 
     B 29,2 →b 1 B 29,4 |b 3 B 29,4 |b 4 B 29,4 |b 5 B 29,4 |b 7 B 29,4 |b 9 B 29,4 |b 11 B 29,4 |b 13 B 29,4 |b 15 B 29,4 |b 29 B 29,4 , 
     B 29,3 →b 1 B 29,4 |b 3 B 29,4 |b 4 B 29,4 |b 8 B 29,4 |b 9 B 29,4 |b 11 B 29,4 |b 12 B 29,4 |b 13 B 29,4 |b 15 B 29,4 |b 16 B 29,4 |b 17 B 29,4 , 
     B 29,4 →iB 29,5 |iB 29,5 |eB 29,5 |oB 29,5 , 
     B 29,4 →b 23 B 29,6 , 
     B 29,5 →b 23 B 29,6 , 
     B 29,6 →i|u|e|o} 
     With respect to a Tibetan spelling structure 30: 
     Tibetan spelling formal grammar G 30:  the simultaneous spelling formal grammar G 30  of the Tibetan roots, the subfixes and the vowel symbols, and of the roots and the vowel symbols is a quadruple (T 30 , V 30 , S 30 , P 30 ), wherein: 
     (1) terminal symbol 
     T 30 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 8 ,b 9 ,b 10 ,b 11 ,b 13 ,b 14 ,b 15 ,b 16 ,b 18 ,b 20 ,b 21 ,b 22 ,b 23 ,b 24 ,b 25 ,b 26 ,b 27 ,b 28 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 30 ={S 30 ,B 30,1 ,B 30,2 ,B 30,3 ,B 30,4 ,B 30,5 ,B 30,6 ,B 30,7 ,B 30,8 ,B 30,9 ,B 30,10 ,B 30,11 ,B 30,12 }; 
     (3) S 30  is a non-terminal symbol in V 30  and is the start symbol; and 
     (4) the production set of the grammar G 30  is: P 30 ={ 
     S 30 →b 1 B 30,1 |b 3 B 30,1 , 
     S 30 →b 2 B 30,2 , 
     S 30 →b 11 B 30,3 |b 29 B 30,3 , 
     S 30 →b 8 B 30,4 |b 1 B 30,4 |b 21 B 30,4 |b 26 B 30,4 |b 27 B 30,4 , 
     S 30 →b 9 B 30,5 |b 10 B 30,5 , 
     S 30 →b 13 B 30,6 |b 14 B 30,6 |b 16 B 30,6 , 
     S 30 →b 22 B 30,7 |b 25 B 30,7 , 
     S 30 →b 28 B 30,8 , 
     S 30 →b 15 B 30,9 , 
     B 30,1 →b 20 B 30,10 |b 24 B 30,10 |b 25 B 30,10 |b 26 B 30,10 , 
     B 30,2 →b 20 B 30,10 |b 24 B 30,10 |b 25 B 30,10 , 
     B 30,3 →b 20 B 30,10 |b 25 B 30,10 , 
     B 30,4 →b 20 B 30,10 , 
     B 30,5 →b 25 B 30,10 , 
     B 30,6 →b 24 B 30,10 |b 25 B 30,10 , 
     B 30,7 →b 20 B 30,10 |b 26 B 30,10 , 
     B 30,8 →b 25 B 30,10 |b 26 B 30,10 , 
     B 30,9 →b 24 B 30,10 |b 25 B 30,10 |b 26 B 30,10 , 
     B 30,10 →iB 30,11 |uB 30,11 |eB 30,11 |oB 30,11 , 
     B 30,10 →b 23 B 30,12 , 
     B 30,11 →b 23 B 30,12 , 
     B 30,12 →i|u|e|o} 
     With respect to a Tibetan spelling structure 31: 
     Tibetan spelling formal grammar G 31:  the simultaneous spelling formal grammar G 31  of the superfixes, the Tibetan roots, the subfixes and the vowel symbols, and of the roots and the vowel symbols is a quadruple (T 31 , V 31 , S 31 , P 31 ), wherein: 
     (1) terminal symbol 
     T 31 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 12 ,b 13 ,b 15 ,b 16 ,b 17 ,b 20 ,b 23 ,b 24 ,b 25 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 31 ={S 31 ,B 31,1 ,B 31,2 ,B 31,3 ,B 31,4 ,B 31,5 ,B 31,6 ,B 31,7 ,B 31,8 ,B 31,9 }; 
     (3) S 31  is a non-terminal symbol in V 31  and is the start symbol; and 
     (4) the production set of the grammar G 31  is: P 31 ={ 
     S 31 →b 25 B 31,1 , 
     S 31 →b 28 B 31,2 , 
     B 31,1 →b 1 B 31,3 |b 3 B 31,3 |b 16 B 31,3 , 
     B 31,1 →b 17 B 31,4 , 
     B 31,2 →b 1 B 31,5 |b 3 B 31,5 |b 13 B 31,5 |b 15 B 31,5 |b 16 B 31,5 , 
     B 31,2 →b 12 B 31,6 , 
     B 31,3 →b 24 B 31,7 , 
     B 31,4 →b 20 B 31,7 , 
     B 31,5 →b 24 B 31,7 |b 25 B 31,75 , 
     B 31,6 →b 25 B 31,7 , 
     B 31,7 →iB 31,8 |uB 31,8 |eB 31,8 |oB 31,8 , 
     B 31,7 →b 23 B 31,9 , 
     B 31,8 →b 23 B 31,9 , 
     B 31,9 *i|u|e|o} 
     With respect to a Tibetan spelling structure 32: 
     Tibetan spelling formal grammar G 32:  the simultaneous spelling formal grammar G 32  of the Tibetan prefixes, the superfixes, the roots and the vowel symbols, and of the roots and the vowel symbols is a quadruple (T 32 , V 32 , S 32 , P 32 ), wherein: 
     (1) terminal symbol 
     T 32 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 4 ,b 7 ,b 8 ,b 9 ,b 11 ,b 12 ,b 15 ,b 17 ,b 19 ,b 23 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o {i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 32 ={S 32 ,B 32,1 ,B 32,2 ,B 32,3 ,B 32,4 ,B 32,5 ,B 32,6 ,B 32,7 }; 
     (3) S 32  is a non-terminal symbol in V 32  and is the start symbol; and 
     (4) the production set of the grammar G 32  is: P 32 ={ 
     S 32 →b 15 B 32,1 , 
     B 32,1 →b 28 B 32,2 , 
     B 32,1 →b 26 B 32,3 , 
     B 32,1 →b 25 B 32,4 , 
     B 32,2 →b 1 B 32,5 |b 3 B 32,5 |b 4 B 32,5 |b 8 B 32,5 |b 9 B 32,5 |b 11 B 32,5 |b 12 B 32,5 |b 17 B 32,5 , 
     B 32,3 →b 9 B 32,5 |b 1  B 32,5 , 
     B 32,4 →b 1 B 32,5 |b 3 B 32,5 |b 4 B 32,5 |b 7 B 32,5 |b 8 B 32,5 |b 9 B 32,5 |b 11 B 32,5 |b 12 B 32,5 |b 17 B 32,5 |b 19 B 32,5 , 
     B 32,5 →iB 32,6 |uB 32,6 |eB 32,6 |oB 32,6 , 
     B 32,5 →b 23 B 32,7 , 
     B 32,6 →b 23 B 32,7 , 
     B 32,7 *i|u|e|o} 
     With respect to a Tibetan spelling structure 33: 
     Tibetan spelling formal grammar G 33:  the simultaneous spelling formal grammar G 32  of the Tibetan prefixes, the roots, the subfixes and the vowel symbols, and of the roots and the vowel symbols is a quadruple (T 33 , V 33 , S 33 , P 33 ), wherein: 
     (1) terminal symbol 
     T 33 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 11 ,b 13 ,b 14 ,b 15 ,b 16 ,b 22 ,b 23 ,b 24 ,b 25 ,b 26 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 33 ={S 33 ,B 33,1 ,B 33,2 ,B 33,31 B 33,4 ,B 33,5 ,B 33,6 ,B 33,7 ,B 33,8 ,B 33,9 ,B 33,10 ,B 33,11 ,B 33,12 ,B 33,13 } 
     (3) S 33  is a non-terminal symbol in V 33  and is the start symbol; and 
     (4) the production set of the grammar G 33  is: P 33 ={ 
     S 33 →b 11 B 33,1 |b 15 B 33,2 |b 16 B 33,3 |b 23 B 33,4 , 
     B 33,1 →b 16 B 33,5 , 
     B 33,1 →b 1 B 33,9 |b 3 B 33,9 |b 13 B 33,9 |b 15 B 33,9 , 
     B 33,2 →b 1 B 33,6 , 
     B 33,2 →b 22 B 33,7 |b 25 B 33,7 , 
     B 33,2 →b 28 B 33,8 , 
     B 33,2 →b 3 B 33,9 , 
     B 33,3 →b 2 B 33,9 |b 3 B 33,9 , 
     B 33,4 →b 2 B 33,9 |b 3 B 33,9 |b 14 B 33,9 |b 15 B 33,9 , 
     B 33,4 →b 11 B 33,10 , 
     B 33,5 →b 24 B 33,11 , 
     B 33,6 →b 24 B 33,11 |b 25 B 33,11 |b 26 B 33,11 , 
     B 33,7 →b 26 B 33,11 , 
     B 33,8 →b 25 B 33,11 |b 26 B 33,11 , 
     B 33,9 →b 24 B 33,11 |b 25 B 33,11 , 
     B 33,10 →b 25 B 33,11 , 
     B 33,11 →iB 33,12 |uB 33,12 |eB 33,12 |oB 33,12 , 
     B 33,11 →b 23 B 33,13 , 
     B 33,12 →b 23 B 33,13 , 
     B 33,13 →i|u|e|o} 
     With respect to a Tibetan spelling structure 34: 
     Tibetan spelling formal grammar G 34:  the simultaneous spelling formal grammar G 34  of the Tibetan prefixes, the superfixes, the roots, the subfixes and the vowel symbols, and of the roots and the vowel symbols is a quadruple (T 34 , V 34 , S 34 , P 34 ), wherein: 
     (1) terminal symbol 
     T 34 =T B ∪T o , wherein: 
     T B ={b 1 ,b 3 ,b 15 ,b 23 ,b 24 ,b 25 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 34 ={S 34 ,B 34,1 ,B 34,2 ,B 34,3 ,B 34,4 ,B 34,5 ,B 34,6 ,B 34,7 ,B 34,8 }; 
     (3) S 34  is a non-terminal symbol in V 34  and is the start symbol; and 
     (4) the production set of the grammar G 34  is: P 34 ={ 
     S 34 →b 15 B 34,1 , 
     B 34,1 →b 28 B 34,2 , 
     B 34,1 →b 25 B 34,3 , 
     B 34,2 →b 1 B 34,4 |b 3 B 34,4 , 
     B 34,3 →b 1 B 34,5 |b 3 B 34,5 , 
     B 34,4 →b 24 B 34,6 |b 25 B 34,6 , 
     B 34,5 →b 24 B 34,6 , 
     B 34,6 →iB 34,7 |uB 34,7 |eB 34,7 |oB 34,7 , 
     B 34,6 →b 23 B 34,8 , 
     B 34,7 →b 23 B 34,8 , 
     B 34,8 ÷i|u|e|o} 
     With respect to a Tibetan spelling structure 35: 
     Tibetan spelling formal grammar G 35:  the simultaneous spelling formal grammar G 35  of the Tibetan prefixes, the roots and the vowel symbols, and of the roots and the vowel symbols is a quadruple (T 35 , V 35 , S 35 , P 35 ), wherein: 
     (1) terminal symbol 
     T 35 =T B ∪T o , wherein: 
     T B ={b 1 ,b 2 ,b 3 ,b 4 ,b 5 ,b 6 ,b 7 ,b 8 ,b 9 ,b 10 ,b 11 ,b 12 ,b 13 ,b 14 ,b 15 ,b 16 ,b 17 ,b 18 ,b 19 ,b 21 ,b 22 ,b 23 ,b 24 ,b 27 ,b 28 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 35 ={S 35 ,B 35,1 ,B 35,2 ,B 35,3 ,B 35,4 ,B 35,5 ,B 35,6 ,B 35,7 ,B 35,8 }; 
     (3) S 35  is a non-terminal symbol in V 35  and is the start symbol; and 
     (4) the production set of the grammar G 35  is: P 35 ={ 
     S 35 →b 3 B 35,1 |b 11 B 35,2 |b 15 B 35,3 |b 16 B 35,4 |b 23 B 35,5 , 
     B 35,1 →b 5 B 35,6 |b 8 B 35,6 |b 9 B 35,6 |b 11 B 35,6 |b 12 B 35,6 |b 17 B 35,6 |b 21 B 35,6 |b 22 B 35,6 |b 24 B 35,6 |b 27 B 35,6 |b 28 B 35,6 , 
     B 35,2 →b 1 B 35,6 |b 3 B 35,6 |b 4 B 35,6 |b 13 B 35,6 |b 15 B 35,6 |b 16 B 35,6 , 
     B 35,3 →b 1 B 35,6 |b 3 B 35,6 |b 5 B 35,6 |b 9 B 35,6 |b 11 B 35,6 |b 17 B 35,6 |b 21 B 35,6 |b 22 B 35,6 |b 27 B 35,6 |b 28 B 35,6 , 
     B 35,4 →b 2 B 35,6 |b 3 B 35,6 |b 4 B 35,6 |b 6 B 35,6 |b 7 B 35,6 |b 8 B 35,6 |b 10 B 35,6 |b 11 B 35,6 |b 12 B 35,6 |b 18 B 35,6 |b 19 B 35,6 , 
     B 35,5 →b 2 B 35,6 |b 3 B 35,6 |b 6 B 35,6 |b 7 B 35,6 |b 10 B 35,6 |b 11 B 35,6 |b 14 B 35,6 |b 15 B 35,6 |b 18 B 35,6 |b 19 B 35,6 , 
     B 35,6 →iB 35,7 |uB 35,7 |eB 35,7  oB 35,77 , 
     B 35,7 →b 23 B 35,8 , 
     B 35,8 →i|u|e|o} 
     With respect to a Tibetan spelling structure 36: 
     Tibetan spelling formal grammar G 36:  the simultaneous spelling formal grammar G 36  of the Tibetan roots, the subfixes and the subfixes, and of the roots and the vowel symbols is a quadruple (T 36 , V 36 , S 36 , P 36 ), wherein: 
     (1) terminal symbol 
     T 36 =T B ∪T o , wherein: 
     T 8 ={b 3 ,b 11 ,b 14 ,b 20 ,b 23 ,b 24 ,b 25 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 36 ={S 36 ,B 36,1 ,B 36,2 ,B 36 ,B 36,4 ,B 36,5 }; 
     (3) S 36  is a non-terminal symbol in V 36  and is the start symbol; and 
     (4) the production set of the grammar G 36  is: P 36 ={ 
     S 36 →b 3 B 36,1 |b 11 B 36,1 , 
     S 36 →b 14 B 36,2 , 
     B 36,1 →b 25 B 36,3 , 
     B 36,2 →b 24 B 36,3 , 
     B 36,3 →b 20 B 36,4 , 
     B 36,4 →b 23 B 36,5 , 
     B 36,5 →i|u|e|o} 
     With respect to a Tibetan spelling structure 37: 
     Tibetan spelling formal grammar G 37  the simultaneous spelling formal grammar G 37  of the Tibetan consonant characters, the consonant characters and the vowel symbols, and of the roots and the vowel symbols is a quadruple (T 37 , V 37 , S 37 , P 37 ), wherein: 
     (1) terminal symbol 
     T 37 =T B ∪T o , wherein: 
     T B ={b 14 ,b 23 ,b 29 }, the elements thereof correspond to the Tibetan consonant characters; and T o ={i,u,e,o}, the elements thereof correspond to the Tibetan vowel characters; 
     (2) non-terminal symbol set 
     V 37 ={S 37 ,B 37,1 ,B 37,2 ,B 37,3 ,B 37,4 }; 
     (3) S 37  is a non-terminal symbol in V 37  and is the start symbol; and 
     (4) the production set of the grammar G 37  is: P 37 ={ 
     S 37 →b 29 B 37,1 , 
     B 37,1 →b 14 B 37,2 , 
     B 37,2 →iB 37,3 |uB 37,3 |eB 37,3  oB 37,3 , 
     B 37,2 →b 23 B 37,4 , 
     B 37,3 →b 23 B 37,4 , 
     B 37,4 →i|u|e|o}. 
     Step  303 , a termination state identifier E i  of the finite state automaton M i  is acquired. 
     In the embodiment, the process of acquiring a newly added non-terminal symbol E i  through the step  303  includes: judging whether the finite set P i  of the production rules of the Tibetan spelling formal grammar G i  contains a production rule B→x, wherein BεV i , and xεT i ; and if so, acquiring E i εδ i  (B, x), wherein δ i  (B, x)=φ. 
     In the embodiment, E i  belongs to one of the non-terminal symbols. 
     Step  304 , whether the finite set P i  of the production rules of the Tibetan spelling formal grammar G i  contains a production rule S i →λ is judged. 
     In the embodiment, if is determined that the finite set P i  of the production rules of the Tibetan spelling formal grammar G i  contains the production rule S i →λ in the step  304 , step  307  is executed after step  305  is executed; and otherwise, step  306  is executed. 
     Step  305 , F i  with values of S i  and E i  is acquired. 
     Step  306 , F i  with a value E i  is acquired. 
     Step  307 , the finite state automaton M i  is acquired according to T i , V i , S i  and F i . 
     Step  308  to step  309 , at least one Tibetan character is used as the input of the finite state automaton group, and whether the Tibetan text to be checked is correctly spelled is judged. The process is similar to the step  102  to the step  103  as shown in  FIG. 1 , and thus will not be repeated redundantly herein. 
     The present invention has the following beneficial effects: the Tibetan text to be checked is used as the input of the finite state automaton group to achieve Tibetan spelling check. As the finite state automaton group corresponds to the Tibetan spelling formal grammar, the technical solutions provided by the embodiment of the present invention can solve the problem in the prior art that when the spelling check is carried out by a model, as the application range of the model is relatively narrow, some Tibetan characters with special structures cannot be recognized. 
     Fourth Embodiment 
     As shown in  FIG. 4 , a Tibetan spelling check device based on automata provided by the embodiment of the present invention includes: 
     a segmenting module  401 , used for segmenting a Tibetan text to be checked with an character as a unit to acquire at least one Tibetan character; 
     an input module  402 , used for using the at least one Tibetan character as the input of a preset finite state automaton group; 
     a spelling check module  403 , used for judging whether the Tibetan text to be checked is correctly spelled through the finite state automaton group; 
     the finite state automaton group includes 37 finite state automata, wherein any finite state automaton M i =(Σ i , Q i , q i , F i ); the Σ i  represents a finite set of terminal symbols of a preset Tibetan spelling formal grammar G 1 ; the Q i  represents a union of a finite set V i  of non-terminal symbols of the Tibetan spelling formal grammar G i  and the F i ; the δ i  represents a state transition function of the finite state automaton M i  acquired by mapping from a direct product Q i *Σ i  of Q i  and Σ i  to Q i ; the q i  represents an initial state of the finite state automaton M i ; q i εQ i ; the F i  represents a finite set of termination states of the finite state automaton M i , and F i   ⊂ Q i ; and the i is a positive integer, and i≦37. 
     In the embodiment, the process of implementing the Tibetan spelling check through the segmenting module, the input module and the spelling check module is similar to that provided by the first embodiment to the third embodiment of the present invention, and thus will not be repeated redundantly herein. 
     The present invention has the following beneficial effects: the Tibetan text to be checked is used as the input of the finite state automaton group to achieve Tibetan spelling check. As the finite state automaton group corresponds to the Tibetan spelling formal grammar, the technical solutions provided by the embodiments of the present invention can solve the problem in the prior art that when the spelling check is carried out by a model, as the application range of the model is relatively narrow, some Tibetan characters with special structures cannot be recognized. 
     The order of the above embodiments is only for the purpose of convenient description, and does not represent the advantages and disadvantages of the embodiments. 
     Finally, it should be noted that the above embodiments are merely used for illustrating the technical solutions of the present invention, rather than limiting them; although the present invention has been described in detail with reference to the foregoing embodiments, those of ordinary skill in the art should understand that they could still make modifications to the technical solutions recorded in the foregoing embodiments or make equivalent substitutions to a part of technical features therein; and these modifications or substitutions do not make the essence of the corresponding technical solutions depart from the spirit and the scope of the technical solutions of the embodiments of the present invention.