CN106095756B

CN106095756B - 基于自动机的藏文拼写检查方法和装置

Info

Publication number: CN106095756B
Application number: CN201610409221.3A
Authority: CN
Inventors: 尼玛扎西
Original assignee: Individual
Current assignee: Individual
Priority date: 2016-06-13
Filing date: 2016-06-13
Publication date: 2019-03-26
Anticipated expiration: 2036-06-13
Also published as: CN106095756A; US20170357630A1

Abstract

本发明公开了一种基于自动机的藏文拼写检查方法和装置，涉及自然语言处理领域。为解决现有技术由于适应面较狭窄，导致无法识别一些特殊结构的藏文字的问题而发明。本发明实施例提供的技术方案包括：S10、将待检查藏文文本以字为单位进行切分，得到至少一个藏文字；S20、将所述至少一个藏文字作为预设有限状态自动机群组的输入；S30、通过所述有限状态自动机群组判断所述待检查藏文文本是否拼写正确。

Description

基于自动机的藏文拼写检查方法和装置

技术领域

本发明涉及自然语言处理领域，尤其涉及一种基于自动机的藏文拼写检查方法和装置。

背景技术

在自然语言处理技术、大数据处理技术和一些文字处理软件中，为了解决使用者在撰写过程中所产生的错别字问题，通常都具有拼写检查功能，以提供用户在撰写时候的错别字检查。

现有技术中，应用在藏文领域的拼写检查方法主要是建立藏文字规则对应的模型，通过该模型进行藏文拼写检查。

然而，通过模型进行拼写检查时，由于模型的适应面较窄，导致无法识别一些特殊结构的藏文字。

发明内容

本发明提供一种基于自动机的藏文字拼写检查方法和装置，能够扩宽拼写检查的适应面，提高藏文字的识别率。

一方面，提供一种基于自动机的藏文字拼写检查方法，包括：S10、将待检查藏文文本以字为单位进行切分，得到至少一个藏文字；S20、将所述至少一个藏文字作为预设有限状态自动机群组的输入；S30、通过所述有限状态自动机群组判断所述待检查藏文文本是否拼写正确；所述有限状态自动机群组包括37个有限状态自动机，其中任一有限状态自动机M_i＝(Σ_i，Q_i，δ_i，q_i，F_i)；所述Σ_i为预设藏文拼写形式文法G_i的终结符的有限集合；所述Q_i为所述藏文拼写形式文法G_i的非终结符的有限集合V_i与所述F_i的并集；所述δ_i是根据Q_i与Σ_i之直积Q_i×Σ_i到Q_i的映射获取的所述有限状态自动机M_i的状态转移函数；所述q_i为所述有限状态自动机M_i的初始状态，所述q_i∈Q_i；所述F_i为所述有限状态自动机M_i的终止状态的有限集合，所述所述i为正整数，所述i≤37。

另一方面，提供一种基于自动机的藏文字拼写检查装置，包括：

用于将待检查藏文文本以字为单位进行切分，得到至少一个藏文字的切分模块；

用于将所述至少一个藏文字作为预设有限状态自动机群组的输入的输入模块；

用于通过所述有限状态自动机群组判断所述待检查藏文文本是否拼写正确的拼写检查模块；

所述有限状态自动机群组包括37个有限状态自动机，其中任一有限状态自动机M_i＝(Σ_i，Q_i，δ_i，q_i，F_i)；所述Σ_i为预设藏文拼写形式文法G_i的终结符的有限集合；所述Q_i为所述藏文拼写形式文法G_i的非终结符的有限集合V_i与所述F_i的并集；所述δ_i是根据Q_i与Σ_i之直积Q_i×Σ_i到Q_i的映射获取的所述有限状态自动机M_i的状态转移函数；所述q_i为所述有限状态自动机M_i的初始状态，所述q_i∈Q_i；所述F_i为所述有限状态自动机M_i的终止状态的有限集合，所述所述i为正整数，所述i≤37。

本发明具有如下有益效果：通过将待检查藏文文本作为有限状态自动机群组的输入，从而实现藏文拼写检查。由于有限状态自动机群组与藏文拼写形式文法对应，因此本发明实施例提供的技术方案能够解决现有技术中通过模型进行拼写检查时，由于模型的适应面较窄，导致无法识别一些特殊结构的藏文字的问题。

附图说明

图1为本发明实施例1提供的基于自动机的藏文拼写检查方法的流程图；

图2为本发明实施例2提供的基于自动机的藏文拼写检查方法的流程图；

图3为本发明实施例3提供的基于自动机的藏文拼写检查方法的流程图；

图4为本发明实施例4提供的基于自动机的藏文拼写检查装置的结构示意图。

具体实施方式

下面结合附图和实施例对本发明进一步说明。但这些例举性实施方式的用途和目的仅用来例举本发明，并非对本发明的实际保护范围构成任何形式的任何限定，更非将本发明的保护范围局限于此。

实施例1

如图1所示，本发明实施例提供一种基于自动机的藏文拼写检查方法，包括：

步骤101，将待检查藏文文本以字为单位进行切分，得到至少一个藏文字。

在本实施例中，步骤101可以按照藏文字分符、垂形符、双垂符和空格符将待检查藏文文本以字为单位进行切分，得到至少一个藏文字。其中，待检查藏文文本可以仅包含一个藏文字，也可以包含多个藏文字，在此不做限制。

步骤102，将至少一个藏文字作为预设有限状态自动机群组的输入。

在本实施例中，有限状态自动机群组包括37个有限状态自动机，其中任一有限状态自动机M_i＝(Σ_i，Q_i，δ_i，q_i，F_i)；所述Σ_i为预设藏文拼写形式文法G_i的终结符的有限集合；所述Q_i为所述藏文拼写形式文法G_i的非终结符的有限集合V_i与所述F_i的并集；所述δ_i是根据Q_i与Σ_i之直积Q_i×Σ_i到Q_i的映射获取的所述有限状态自动机M_i的状态转移函数；所述q_i为所述有限状态自动机M_i的初始状态，所述q_i∈Q_i；所述F_i为所述有限状态自动机M_i的终止状态的有限集合，所述所述i为正整数，所述i≤37。

在本实施例中，预设37种藏文拼写形式文法，每种藏文拼写形式文法对应一种有限状态自动机；将至少一个藏文字依次作为每个有限状态自动机的输入。藏文拼写形式文法G_i的终结符的有限集合是由30个藏文辅音字母、5个反写字母、4个元音符号和1个长元音符号构成的集合L的子集，是在语言的句子(属于某种结构的藏文字)中实际出现的字符(符号)；藏文拼写形式文法G_i的非终结符集合包括在语言的句子中不实际出现，但在推导中起着变量作用，相当于语言中的语法范畴的词语。非终结符例如可以为汉语的语序主谓宾、藏语的语序主宾谓等语法的变量，但不会在具体的句子中出现，它是“隐形”的，起作用，但看不见。

终结符的有限集合和非终结符的有限集合中的元素与具体的藏文拼写形式文法对应。有限状态自动M_i的初始状态就是自动机刚开始工作时所处的状态，这个状态也就是自动机最初接收输入字符的状态；终止状态就是指自动机的最终状态。具体的，有限状态自动机群组中的自动机可以为确定型，也可以为非确定型；为便于理解和提高实现效率，本实施例提供的自动机均以确定型为例进行说明。

步骤103，通过有限状态自动机群组判断待检查藏文文本是否拼写正确。

在本实施例中，通过步骤103判断待检查藏文文本是否拼写正确的过程可以包括：有限状态自动机群组中的每一个有限状态自动机从初始状态开始，依次接收至少一个藏文字，并转移状态；如果有限状态自动机群组中的某一个有限状态自动机在转移状态后能够进入终止状态，则待检查藏文文本的拼写正确；如果有限状态自动机群组中所有有限状态自动机转移状态后都不能进入终止状态，则待检查藏文文本的拼写错误。

转移状态，例如可以为：有限状态自动机M_i在某个状态，如q_m(q_m∈Q_i)，接收某个输入字符，如x(x∈Σ_i)，如果状态转移函数δ_m(q_m，x)∈δ_i，则自动机进入状态q_m+1(q_m+1∈(q_m，x))，否则自动机状态不发生变化。

实施例2

如图2所示，本发明实施例提供一种基于自动机的藏文拼写检查方法，该方法与图1所示的相似，区别在于，为了完成对整个藏文文本的拼写检查，本实施例提供的藏文拼写检查方法，还包括：

步骤104，判断是否全部检查完待检查藏文文本。

在本实施例中，当通过步骤104确定已全部检查完待检查藏文文本时，本次藏文拼写检查结束；当通过步骤104确定未全部检查完待检查藏文文本时，将待检查藏文文本的未检查部分继续执行步骤102直至全部检查完。

实施例3

如图3所示，本发明实施例提供一种基于自动机的藏文拼写检查方法，包括：

步骤301，将待检查藏文文本以字为单位进行切分，得到至少一个藏文字。该过程与图1所示的步骤101相似，在此不再一一赘述。

步骤302，获取藏文拼写形式文法G_i。

在本实施例中，步骤302中藏文拼写形式文法G_i＝(T_i，V_i，S_i，P_i)。通过步骤302获取该藏文拼写形式文法的过程包括：获取终结符的有限集合T_i，所述T_i是集合L的子集，所述集合L包括30个藏文辅音字母、5个反写字母、4个元音符号和1个长元音符号；获取非终结符的有限集合V_i；获取起始符号S_i，所述S_i∈V_i；获取产生式规则的有限集合P_i；根据所述T_i、V_i、S_i和P_i获取对应的藏文拼写形式文法G_i。其中，获取产生式规则的有限集合P_i的过程可以包括：首先获取预设的藏文拼写文法形式化描述体系；然后根据所述藏文拼写文法形式化描述体系，获取所述产生式规则的有限集合P_i。

在本实施例中，预设的藏文拼写文法形式化描述体系可以根据集合论的方法建立，具体形式如下：

藏文拼写文法1：集合Root＝{b₁,b₂,b₃,b₄,b₅,…,b₃₀,b₃₁,b₃₁,b₃₁,b₃₄,b₃₅}的元素分别对应30个藏文辅音字母和5个藏文反写字母，则对于任意b_i∈Root对应的藏文字符可构成藏文字的基字。

藏文拼写文法2：对于集合Prefix＝{b₃,b₁₁,b₁₅,b₁₆,b₂₃}，则任意b_i∈Prefix，(j＝3,11,15,16,23)对应的藏文字符可构成藏文字的前加字。

藏文拼写文法3：对于集合Suffix＝{b₃,b₄,b₁₁,b₁₂,b₁₅,b₁₆,b₂₃,b₂₅,b₂₆,b₂₈}，则任意b_i∈Suffix，(j＝3,4,11,12,15,16,23,25,26,28)对应的藏文字符可构成藏文字的后加字。

藏文拼写文法4：对于集合Postfix＝{b₁₁,b₂₈}，则任意b_i∈Postfix，(j＝11,28)对应的藏文字符可构成藏文字的再后加字。

藏文拼写文法5：对于集合Superfix＝{b₂₅,b₂₆,b₂₈}，则任意b_i∈Superfix，(j＝25,26,28)对应的藏文字符可构成藏文字的上加字。

藏文拼写文法6：对于集合Subfix＝{b₂₀,b₂₄,b₂₅,b₂₆}，则任意b_i∈Subfix，(j＝20,24,25,26)对应的藏文字符可构成藏文字的下加字。

藏文拼写文法7：对于集合Vowel＝Vowel₁{a}，Vowel₁＝{i，u，e，o}对应4个藏文元音字符，a代表藏文长元音字符。b_j∈Root，(j＝1,23,5,7,…,33,34,35)对应的藏文基字可与v∈Vowel对应的元音字符拼写，u和a只能写在辅音下方，其余3个元音字符只能写在辅音上方。

藏文拼写文法8：b_j∈Root，(j＝1,3,4,5,7,8,9,11,12,13,15,16,17,19,29)对应的藏文基字与b_i∈Superfix，(i＝25,26，28)对应的上加字拼写时，须满足如下文法规则：

1.b_j∈Root，(j＝1,3,4,7,8,9,11,12,15,16,17,19)只能与b₂₅∈Superfix拼写。

2.b_j∈Root，(j＝1,3,4,5,7,9,11,13,15,29)只能与b₂₆∈Superfix拼写。

3.b_j∈Root，(j＝1,3,4,8,9,11,12,13,15,16,17)只能与b₂₈∈Superfix拼写。

藏文拼写文法9：b_j∈Root，

(j＝1,2,3,8,9,10,11,13,14,15,16,18,21,22,25,26,27,28,29)对应的藏文基字与b_i∈Subfix，(i＝20,24,25,26)对应的下加字拼写时，须满足如下文法规则：

1.b_j∈Root，(j＝1,2,3,8,11,18,21,22,25,26,27,29)只能与b₂₀∈Subfix拼写。

2.b_j∈Root，(j＝1,2,3,13,14,15,16)只能与b₂₄∈Subfix拼写。

3.b_j∈Root，(j＝1,2,3,9,10,11,13,14,15,16,28,29)只能与b₂₅∈Subfix拼写。

4.b_j∈Root，(j＝1,3,15,22,25,28)只能与b₂₆∈Subfix拼写。

5.b_j∈Root，(j＝29)只能与b₁₄∈Subfix拼写。

(说明：为了拼写其他语言中的[f]音，现代藏文中出现了b₂₉与b₁₄拼写的形式。按照传统藏文拼写文法，b₂₉不能作为上加字，b₁₄也不能作为下加字，因此，作为一种特殊的情况，b₂₉与b₁₄拼写时，我们将b₁₄作为“下加字”看待。)

藏文拼写文法10：b_i∈Root，(i＝1,3,12,13,15,16,17)对应的藏文基字同时与b_j∈Superfix，(j＝25,28)对应的上加字和b_k∈Subfix，(k＝20,24,25)对应的下加字拼写时，须满足如下文法规则：

1.b₁∈Root与b₂₅∈Superfix拼写时，可同时与b₂₄∈Subfix拼写；与b₂₈∈Superfix拼写时，可同时与b_k∈Subfix，(k＝24,25)拼写。

2.b₃∈Root与b₂₅∈Superfix拼写时，可同时与b₂₄∈Subfix拼写；与b₂₈∈Superfix拼写时，可同时与b_k∈Subfix，(k＝24,25)拼写。

3.b₁₂∈Root与b₂₈∈Superfix拼写时，可同时与b₂₅∈Subfix拼写。

4.b₁₃∈Root与b₂₈∈Superfix拼写时，可同时与b_k∈Subfix，(k＝24,25)拼写。

5.b₁₅∈Root与b₂₈∈Superfix拼写时，可同时与b_k∈Subfix，(k＝24,25)拼写。

6.b₁₆∈Root与b₂₅∈Superfix拼写时，可同时与b₂₄∈Subfix拼写；与b₂₈∈Superfix拼写时，可同时与b_k∈Subfix，(k＝24,25)拼写。

7.b₁₇∈Root与b₂₅∈Superfix拼写时，可同时与b₂₀∈Subfix拼写。

藏文拼写文法11：b_i∈Root，(i＝1,3,4,7,8,9,11,12,17,19)对应的藏文基字同时与b₁₅∈Prefix对应的前加字和b_j∈Superfix，(j＝25，26，28)对应的上加字拼写时，须满足如下文法规则：

1.b_i∈Root，(i＝1,3,4,7,8,9,11,12,17,19)可与b₂₅∈Superfix拼写。

2.b_i∈Root，(i＝9,11)可与b₂₆∈Superfix拼写。

3.b_i∈Root，(i＝1,3,4,8,9,11,12,17)可与b₂₈∈Superfix拼写。

藏文拼写文法12：b_i∈Root，(i＝1,2,3,11,13,14,15,16,22,25,28)对应的藏文基字同时与b_j∈Prefix，(j＝11,15,16,23)对应的前加字和b_k∈Subfix，(k＝20,24,25,26)对应的下加字拼写时，须满足如下文法规则：

1.b_i∈Root，(i＝1,3,13,15,16)可与b₁₁∈Prefix和b₂₄∈Subfix拼写。

2.b_i∈Root，(i＝1,3,13,15)可与b₁₁∈Prefix和b₂₅∈Subfix拼写。

3.b_i∈Root，(i＝1,3)可与b₁₅∈Prefix和b₂₄∈Subfix拼写。

4.b_i∈Root，(i＝1,3,28)可与b₁₅∈Prefix和b₂₅∈Subfix拼写。

5.b_i∈Root，(i＝1,22,25,28)可与b₁₅∈Prefix和b₂₆∈Subfix拼写。

6.b_i∈Root，(i＝2,3)可与b₁₆∈Prefix和b_k∈Subfix，(k＝24,25)拼写。

7.b_i∈Root，(i＝2,3,14,15)可与b₂₃∈Prefix和b₂₄∈Subfix拼写。

8.b_i∈Root，(i＝2,3,11,14,15)可与b₂₃∈Prefix和b₂₅∈Subfix拼写。

藏文拼写文法13：b_i∈Root，(i＝1,3)对应的藏文基字与b₁₅∈Prefix对应的前加字和b_j∈Superfix，(i＝25,28)对应的上加字及b_k∈Subfix，(i＝24,25)对应的下加字拼写时，须满足如下文法规则：

1.b_i∈Root，(i＝1,3)可与b₁₅∈Prefix和b₂₅∈Superfix及b₂₄∈Subfix拼写。

2.b_i∈Root，(i＝1,3)可与b₁₅∈Prefix和b₂₈∈Superfix及b₂₅∈Subfix拼写。

3.b_i∈Root，(i＝1,3)可与b₁₅∈Prefix和b₂₈∈Superfix及b₂₄∈Subfix拼写。

藏文拼写文法14：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)对应的藏文基字与b_j∈Prefix，(j＝3,11,15,16,23)对应的前加字拼写时，须同时与v∈Vowel，Vowel＝{i，u，e，o}对应的元音符号，或与b_k∈Suffix，(k＝3,4,11,12,15,16,23,25,26,28)对应的一个后加字拼写，并满足如下文法规则：

1.b_i∈Root，(i＝5,8,9,11,12,17,21,22,24,27,28)仅能与b₃∈Prefix拼写。

2.b_i∈Root，(i＝1,3,4,13,15,16)仅能与b₁₁∈Prefix拼写。

3.b_i∈Root，(i＝1,3,5,9,11,17,21,22,27,28)仅能与b₁₅∈Prefix拼写。

4.b_i∈Root，(i＝2,3,4,6,7,8,10,11,12,18,19)仅能与b₁₆∈Prefix拼写。

5.b_i∈Root，(i＝2,3,6,7,10,11,14,15,18,19)仅能与b₂₃∈Prefix拼写。

藏文拼写文法15：b_j∈Root，

(j＝1,2,3,4,5,6,7,8,9,10,…,21,22,23,24,25,26,27,28,29,30)对应的藏文基字可以与任意b_i∈Suffix，(i＝3,4,11,12,15,16,23,25,26,28)对应的后加字拼写。

藏文拼写文法16：藏文再后加字的使用只与后加字有关。b_i∈Suffix，(i＝3,4,12,15,16,25,26)对应的藏文后加字可与b_j∈Postfix，(j＝11，28)对应的再后加字拼写，并有如下文法规则：

1.b₁₁∈Postfix仅能与b_i∈Suffix，(i＝12,25,26)拼写。

2.b₂₈∈Postfix仅能与b_i∈Suffix，(i＝3,4,15,16)拼写。

藏文拼写文法17：b_i∈Root，(i＝3,11,14)对应的藏文基字与b_j∈Subfix，(j＝24,25)对应的藏文下加字拼写时，可同时与b₂₀∈Subfix对应的藏文下加字拼写。具体规则如下：

1.b_i∈Root，(i＝3,11)与b₂₅∈Subfix拼写时，可同时与b₂₀∈Subfix拼写。

2.b₁₄∈Root与b₂₄∈Subfix拼写时，可同时与b₂₀∈Subfix拼写。

藏文拼写文法18：b₂₉∈Root对应的藏文辅音字母可与b₁₄∈Root对应的藏文辅音字母拼写，且b₁₄∈Root位于b₂₉∈Root对应的下方。

藏文拼写文法19：b₂₉∈Root对应的藏文辅音字母与b₁₄∈Root对应的藏文辅音字母拼写时，可同时与b_i∈Suffix，(i＝3,4,11,12,15,16,23,25,26,28)对应的藏文后加字拼写。

藏文拼写文法20：无后加字的藏文字可以与b₂₃∈Root对应的藏文辅音字母拼写，此时b₂₃∈Root对应的藏文辅音字母须与v∈Vowel，Vowel＝{i，u，e，o}对应的元音符号(i,e,u,o)拼写。

藏文拼写文法21：除了文法17,18,19和20的特殊拼写之外，藏文字按照前加字、上加字、基字、下加字、元音符号、后加字以及再后加字的顺序拼写。

在本实施例中，T_i为所述藏文拼写形式文法G_i的终结符的有限集合；所述S_i为所述藏文拼写形式文法G_i的起始符，所述S_i∈V_i；所述λ为空字符；有限状态自动机M_i的输入字符的有限集合Σ_i与所述藏文拼写形式文法G_i的终结符的有限集合T_i等价；所述有限状态自动机M_i的初始状态q_i与所述藏文拼写形式文法G_i的起始符S_i等价。其中，S_i代表文法G_i产生的语言L(G_i)中任何一个可能的句子(在我们的应用里就是一个藏文字)，因而S_i是一个特殊的非终结符。

具体的，该37种藏文拼写形式文法G₁～G₃₇的具体形式如下：

藏文拼写形式文法G₁：藏文基字与元音符号拼写形式文法G₁是一个四元组(T₁，V₁，S₁，P₁)，其中：

(1)终结符

T₁＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₄,b₅,…,b₃₅}，其元素对应藏文辅音字符；T_o＝{i,u,e,o,a}，其元素对应藏文元音字符；

(2)非终结符集合

V₁＝{S₁,B_1,1,B_1,2}；

(3)S₁为V₁中的一个非终结符，且为起始符号；

(4)文法G₁的产生式集合P₁＝{

S₁→b₁∣b₂∣b₃∣b₄∣b₅∣…∣b₃₀∣b₃₁∣b₃₂∣b₃₃∣b₃₄∣b₃₅，

S₁→b₁B_1,1∣b₂B_1,1∣b₃B_1,1∣b₄B_1,1∣b₅B_1,1∣…∣b₃₀B_1,1，

S₁→b₃₁B_1,2∣b₃₂B_1,2∣b₃₃B_1,2∣b₃₄B_1,2∣b₃₅B_1,2，

B_1,1→i∣u∣e∣o∣a，

B_1,2→i∣u∣e∣o}

对藏文拼写结构2有：

藏文拼写形式文法G₂：藏文上加字、基字及元音拼写形式文法G₂是一个四元组(T₂，V₂，S₂，P₂)，其中：

(1)终结符

T₂＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₄,b₅,b₇,b₈,b₉,b₁₁,b₁₂,b₁₃,b₁₅,b₁₆,b₁₇,b₁₉,b₂₅,b₂₆,b₂₈,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₂＝{S₂,B_2,1,B_2,2,B_2,3,B_2,4}；

(3)S₂为V₂中的一个非终结符，且为起始符号；

(4)文法G₂的产生式集合P₂＝{

S₂→b₂₅B_2,1∣b₂₆B_2,2∣b₂₈B_2,3，

B_2,1→b₁∣b₃∣b₄∣b₇∣b₈∣b₉∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₁₇∣b₁₉，

B_2,1→b₁B_2,4∣b₃B_2,4∣b₄B_2,4∣b₇B_2,4∣b₈B_2,4∣b₉B_2,4∣b₁₁B_2,4∣b₁₂B_2,4∣b₁₅B_2,4∣b₁₆B_2,4∣b₁₇B_2,4∣b₁₉B_2,4，

B_2,2→b₁∣b₃∣b₄∣b₅∣b₇∣b₉∣b₁₁∣b₁₃∣b₁₅∣b₂₉，

B_2,2→b₁B_2,4∣b₃B_2,4∣b₄B_2,4∣b₅B_2,4∣b₇B_2,4∣b₉B_2,4∣b₁₁B_2,4∣b₁₃B_2,4∣b₁₅B_2,4∣b₂₉B_2,4，

B_2,3→b₁∣b₃∣b₄∣b₈∣b₉∣b₁₁∣b₁₂∣b₁₃∣b₁₅∣b₁₆∣b₁₇，

B_2,3→b₁B_2,4∣b₃B_2,4∣b₄B_2,4∣b₈B_2,4∣b₉B_2,4∣b₁₁B_2,4∣b₁₂B_2,4∣b₁₃B_2,4∣b₁₅B_2,4∣b₁₆B_2,4∣b₁₇B_2,4，

B_2,4→i∣u∣e∣o}

对藏文拼写结构3有：

藏文拼写形式文法G₃：藏文基字、下加字及元音符号拼写形式文法G₃是一个四元组(T₃，V₃，S₃，P₃)，其中：

(1)终结符

T₃＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₈,b₉,b₁₀,b₁₁,b₁₃,b₁₄,b₁₅,b₁₆,b₁₈,b₂₀,b₂₁,b₂₂,b₂₄,b₂₅,b₂₆,b₂₇,b₂₈,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；(2)非终结符集合

V₃＝{S₃,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₃为V₃中的一个非终结符，且为起始符号；

(4)文法G₃的产生式集合P₃＝{

S₃→b₁B_3,1∣b₃B_3,1，

S₃→b₂B_3,2，

S₃→b₁₁B_3,3∣b₂₉B_3,3，

S₃→b₈B_3,4∣b₁₈B_3,4∣b₂₁B_3,4∣b₂₆B_3,4∣b₂₇B_3,4，

S₃→b₉B_3,5∣b₁₀B_3,5，

S₃→b₁₃B_3,6∣b₁₄B_3,6∣b₁₆B_3,6，

S₃→b₂₂B_3,7∣b₂₅B_3,7，

S₃→b₂₈B_3,8，

S₃→b₁₅B_3,9，

B_3,1→b₂₀∣b₂₄∣b₂₅∣b₂₆，

B_3,1→b₂₀B_3,10∣b₂₄B_3,10∣b₂₅B_3,10∣b₂₆B_3,10，

B_3,2→b₂₀∣b₂₄∣b₂₅，

B_3,2→b₂₀B_3,10∣b₂₄B_3,10∣b₂₅B_3,10，

B_3,3→b₂₀∣b₂₅，

B_3,3→b₂₀B_3,10∣b₂₅B_3,10，

B_3,4→b₂₀，

B_3,4→b₂₀B_3,10，

B_3,5→b₂₅，

B_3,5→b₂₅B_3,10，

B_3,6→b₂₄∣b₂₅，

B_3,6→b₂₄B_3,10∣b₂₅B_3,10，

B_3,7→b₂₀∣b₂₆，

B_3,7→b₂₀B_3,10∣b₂₆B_3,10，

B_3,8→b₂₅∣b₂₆，

B_3,8→b₂₅B_3,10∣b₂₆B_3,10，

B_3,9→b₂₄∣b₂₅∣b₂₆，

B_3,9→b₂₄B_3,10∣b₂₅B_3,10∣b₂₆B_3,10，

B_3,10→i∣u∣e∣o}

对藏文拼写结构4有：

藏文拼写形式文法G₄：上加字、藏文基字、下加字及元音符号拼写形式文法G₄是一个四元组(T₄，V₄，S₄，P₄)，其中：

(1)终结符

T₄＝T_B∪T_o，其中T_B＝{b₁,b₃,b₁₂,b₁₃,b₁₅,b₁₆,b₁₇,b₂₀,b₂₄,b₂₅,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₄＝{S₄,B_4,1,B_4,2,B_4,3,B_4,4,B_4,5,B_4,6,B_4,7}；

(3)S₄为V₄中的一个非终结符，且为起始符号；

(4)文法G₄的产生式集合P₄＝{

S₄→b₂₅B_4,1，

S₄→b₂₈B_4,2，

B_4,1→b₁B_4,3∣b₃B_4,3∣b₁₆B_4,3，

B_4,1→b₁₇B_4,4，

B_4,2→b₁B_4,5∣b₃B_4,5∣b₁₃B_4,5∣b₁₅B_4,5∣b₁₆B_4,5，

B_4,2→b₁₂B_4,6，

B_4,3→b₂₄，

B_4,3→b₂₄B_4,7，

B_4,4→b₂₀，

B_4,4→b₂₀B_4,7，

B_4,5→b₂₄∣b₂₅，

B_4,5→b₂₄B_4,7∣b₂₅B_4,7，

B_4,6→b₂₅，

B_4,6→b₂₅B_4,7，

B_4,7→i∣u∣e∣o}

对藏文拼写结构5有：

藏文拼写形式文法G₅：藏文前加字、上加字、基字及元音符号拼写形式文法G₅是一个四元组(T₅，V₅，S₅，P₅)，其中：

(1)终结符

T₅＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₄,b₇,b₈,b₉,b₁₁,b₁₂,b₁₅,b₁₇,b₁₉,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₅＝{S₅,B_5,1,B_5,2,B_5,3,B_5,4,B_5,5}；

(3)S₅为V₅中的一个非终结符，且为起始符号；

(4)文法G₅产生式集合P₅＝{

S₅→b₁₅B_5,1，

B_5,1→b₂₈B_5,2，

B_5,1→b₂₆B_5,3，

B_5,1→b₂₅B_5,4，

B_5,2→b₁∣b₃∣b₄∣b₈∣b₉∣b₁₁∣b₁₂∣b₁₇，

B_5,2→b₁B_5,5∣b₃B_5,5∣b₄B_5,5∣b₈B_5,5∣b₉B_5,5∣b₁₁B_5,5∣b₁₂B_5,5∣b₁₇B_5,5，

B_5,3→b₉∣b₁₁，

B_5,3→b₉B_5,5∣b₁₁B_5,5，

B_5,4→b₁∣b₃∣b₄∣b₇∣b₈∣b₉∣b₁₁∣b₁₂∣b₁₇∣b₁₉，

B_5,4→b₁B_5,5∣b₃B_5,5∣b₄B_5,5∣b₇B_5,5∣b₈B_5,5∣b₉B_5,5∣b₁₁B_5,5∣b₁₂B_5,5∣b₁₇B_5,5∣b₁₉B_5,5，

B_5,5→i∣u∣e∣o}

对藏文拼写结构6有：

藏文拼写形式文法G₆：藏文前加字、基字、下加字及元音符号拼写形式文法G₆是一个四元组(T₆，V₆，S₆，P₆)，其中：

(1)终结符

T₆＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₁₁,b₁₃,b₁₄,b₁₅,b₁₆,b₂₂,b₂₃,b₂₄,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₆＝{S₆,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₆为V₆中的一个非终结符，且为起始符号；

(4)文法G₆的产生式集合P₆＝{

S₆→b₁₁B_6,1∣b₁₅B_6,2∣b₁₆B_6,3∣b₂₃B_6,4，

B_6,1→b₁₆B_6,5，

B_6,1→b₁B_6,9∣b₃B_6,9∣b₁₃B_6,9∣b₁₅B_6,9，

B_6,2→b₁B_6,6，

B_6,2→b₂₂B_6,7∣b₂₅B_6,7，

B_6,2→b₂₈B_6,8，

B_6,2→b₃B_6,9，

B_6,3→b₂B_6,9∣b₃B_6,9，

B_6,4→b₂B_6,9∣b₃B_6,9∣b₁₄B_6,9∣b₁₅B_6,9，

B_6,4→b₁₁B_6,10，

B_6,5→b₂₄，

B_6,5→b₂₄B_6,11，

B_6,6→b₂₄∣b₂₅∣b₂₆，

B_6,6→b₂₄B_6,11∣b₂₅B_6,11∣b₂₆B_6,11，

B_6,7→b₂₆，

B_6,7→b₂₆B_6,11，

B_6,8→b₂₅∣b₂₆，

B_6,8→b₂₅B_6,11∣b₂₆B_6,11，

B_6,9→b₂₄∣b₂₅，

B_6,9→b₂₄B_6,11∣b₂₅B_6,11，

B_6,10→b₂₅，

B_6,10→b₂₅B_6,11，

B_6,11→i∣u∣e∣o}

对藏文拼写结构7有：

藏文拼写形式文法G₇：藏文前加字、上加字、基字、下加字及元音符号拼写形式文法G₇是一个四元组(T₇，V₇，S₇，P₇)，其中：

(1)终结符

T₇＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₁₅,b₂₄,b₂₅,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₇＝{S₇,B_7,1,B_7,2,B_7,3,B_7,4,B_7,5,B_7,6}；

(3)S₇为V₇中的一个非终结符，且为起始符号；

(4)文法G₇的产生式集合P₇＝{

S₇→b₁₅B_7,1，

B_7,1→b₂₈B_7,2，

B_7,1→b₂₅B_7,3，

B_7,2→b₁B_7,4∣b₃B_7,4，

B_7,3→b₁B_7,5∣b₃B_7,5，

B_7,4→b₂₄∣b₂₅，

B_7,4→b₂₄B_7,6∣b₂₅B_7,6，

B_7,5→b₂₄，

B_7,5→b₂₄B_7,6，

B_7,6→i∣u∣e∣o}

对藏文拼写结构8有：

藏文拼写形式文法G₈：藏文前加字、基字及元音符号拼写形式文法G₈是一个四元组(T₈，V₈，S₈，P₈)，其中：

(1)终结符

T₈＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₄,b₅,b₆,b₇,b₈,b₉,b₁₀,b₁₁,b₁₂,b₁₃,b₁₄,b₁₅,b₁₆,b₁₇,b₁₈,b₁₉,b₂₁,b₂₂,b₂₃,b₂₄,b₂₇,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₈＝{S₈,B_8,1,B_8,2,B_8,3,B_8,4,B_8,5,B_8,6}；

(3)S₈为V₈中的一个非终结符，且为起始符号；

(4)文法G₈的产生式集合P₈＝{

S₈→b₃B_8,1∣b₁₁B_8,2∣b₁₅B_8,3∣b₁₆B_8,4∣b₂₃B_8,5，

B_8,1→b₅B_8,6∣b₈B_8,6∣b₉B_8,6∣b₁₁B_8,6∣b₁₂B_8,6∣b₁₇B_8,6∣b₂₁B_8,6∣b₂₂B_8,6∣b₂₄B_8,6∣b₂₇B_8,6∣b₂₈B_8,6，

B_8,2→b₁B_8,6∣b₃B_8,6∣b₄B_8,6∣b₁₃B_8,6∣b₁₅B_8,6∣b₁₆B_8,6，

B_8,3→b₁B_8,6∣b₃B_8,6∣b₅B_8,6∣b₉B_8,6∣b₁₁B_8,6∣b₁₇B_8,6∣b₂₁B_8,6∣b₂₂B_8,6∣b₂₇B_8,6∣b₂₈B_8,6，

B_8,4→b₂B_8,6∣b₃B_8,6∣b₄B_8,6∣b₆B_8,6∣b₇B_8,6∣b₈B_8,6∣b₁₀B_8,6∣b₁₁B_8,6∣b₁₂B_8,6∣b₁₈B_8,6∣b₁₉B_8,6，

B_8,5→b₂B_8,6∣b₃B_8,6∣b₆B_8,6∣b₇B_8,6∣b₁₀B_8,6∣b₁₁B_8,6∣b₁₄B_8,6∣b₁₅B_8,6∣b₁₈B_8,6∣b₁₉B_8,6，

B_8,6→i∣u∣e∣o}

对藏文拼写结构9有：

藏文拼写形式文法G₉：藏文前加字、基字、元音字符及后加字拼写形式文法G₉是一个四元组(T₉，V₉，S₉，P₉)，其中：

(1)终结符

T₉＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₄,b₅,b₆,b₇,b₈,b₉,b₁₀,b₁₁,b₁₂,b₁₃,b₁₄,b₁₅,b₁₆,b₁₇,b₁₈,b₁₉,b₂₁,b₂₂,b₂₃,b₂₄,b₂₅,b₂₆,b₂₇,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₉＝{S₉,B_9,1,B_9,2,B_9,3,B_9,4,B_9,5,B_9,6,B_9,7}；

(3)S₉为V₉中的一个非终结符，且为起始符号；

(4)文法G₉产生式集合为：P₉＝{

S₉→b₃B_9,1∣b₁₁B_9,2∣b₁₅B_9,3∣b₁₆B_9,4∣b₂₃B_9,5，

B_9,1→b₅B_9,7∣b₈B_9,7∣b₉B_9,7∣b₁₁B_9,7∣b₁₂B_9,7∣b₁₇B_9,7∣b₂₁B_9,7∣b₂₂B_9,7∣b₂₄B_9,7∣b₂₇B_9,7∣b₂₈B_9,7，

B_9,1→b₅B_9,6∣b₈B_9,6∣b₉B_9,6∣b₁₁B_9,6∣b₁₂B_9,6∣b₁₇B_9,6∣b₂₁B_9,6∣b₂₂B_9,6∣b₂₄B_9,6∣b₂₇B_9,6∣b₂₈B_9,6，

B_9,2→b₁B_9,7∣b₃B_9,7∣b₄B_9,7∣b₁₃B_9,7∣b₁₅B_9,7∣b₁₆B_9,7，

B_9,2→b₁B_9,6∣b₃B_9,6∣b₄B_9,6∣b₁₃B_9,6∣b₁₅B_9,6∣b₁₆B_9,6，

B_9,3→b₁B_9,7∣b₃B_9,7∣b₅B_9,7∣b₉B_9,7∣b₁₁B_9,7∣b₁₇B_9,7∣b₂₁B_9,7∣b₂₂B_9,7∣b₂₇B_9,7∣b₂₈B_9,7，

B_9,3→b₁B_9,6∣b₃B_9,6∣b₅B_9,6∣b₉B_9,6∣b₁₁B_9,6∣b₁₇B_9,6∣b₂₁B_9,6∣b₂₂B_9,6∣b₂₇B_9,6∣b₂₈B_9,6，

B_9,4→b₂B_9,7∣b₃B_9,7∣b₄B_9,7∣b₆B_9,7∣b₇B_9,7∣b₈B_9,7∣b₁₀B_9,7∣b₁₁B_9,7∣b₁₂B_9,7∣b₁₈B_9,7∣b₁₉B_9,7，

B_9,4→b₂B_9,6∣b₃B_9,6∣b₄B_9,6∣b₆B_9,6∣b₇B_9,6∣b₈B_9,6∣b₁₀B_9,6∣b₁₁B_9,6∣b₁₂B_9,6∣b₁₈B_9,6∣b₁₉B_9,6，

B_9,5→b₂B_9,7∣b₃B_9,7∣b₆B_9,7∣b₇B_9,7∣b₁₀B_9,7∣b₁₁B_9,7∣b₁₄B_9,7∣b₁₅B_9,7∣b₁₈B_9,7∣b₁₉B_9,7，

B_9,5→b₂B_9,6∣b₃B_9,6∣b₆B_9,6∣b₇B_9,6∣b₁₀B_9,6∣b₁₁B_9,6∣b₁₄B_9,6∣b₁₅B_9,6∣b₁₈B_9,6∣b₁₉B_9,6，

B_9,6→iB_9,7∣uB_9,7∣eB_9,7∣oB_9,7，

B_9,7→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构10有：

藏文拼写形式文法G₁₀：藏文前加字、上加字、基字、元音符号及后加字拼写形式文法G₁₀是一个四元组(T₁₀，V₁₀，S₁₀，P₁₀)，其中：

(1)终结符

T₁₀＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₄,b₇,b₈,b₉,b₁₁,b₁₂,b₁₅,b₁₆,b₁₇,b₁₉,b₂₃,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₁₀＝{S₁₀,B_10,1,B_10,2,B_10,3,B_10,4,B_10,5,B_10,6}；

(3)S₁₀为V₁₀中的一个非终结符，且为起始符号；

(4)文法G₁₀产生式集合为：P₁₀＝{

S₁₀→b₁₅B_10,1，

B_10,1→b₂₈B_10,2∣b₂₆B_10,3∣b₂₅B_10,4，

B_10,2→b₁B_10,6∣b₃B_10,6∣b₄B_10,6∣b₈B_10,6∣b₉B_10,6∣b₁₁B_10,6∣b₁₂B_10,6∣b₁₇B_10,6，

B_10,2→b₁B_10,5∣b₃B_10,5∣b₄B_10,5∣b₈B_10,5∣b₉B_10,5∣b₁₁B_10,5∣b₁₂B_10,5∣b₁₇B_10,5，

B_10,3→b₉B_10,6∣b₁₁B_10,6，

B_10,3→b₉B_10,5∣b₁₁B_10,5，

B_10,4→b₁B_10,6∣b₃B_10,6∣b₄B_10,6∣b₇B_10,6∣b₈B_10,6∣b₉B_10,6∣b₁₁B_10,6∣b₁₂B_10,6∣b₁₇B_10,6∣b₁₉B_10,6，

B_10,4→b₁B_10,5∣b₃B_10,5∣b₄B_10,5∣b₇B_10,5∣b₈B_10,5∣b₉B_10,5∣b₁₁B_10,5∣b₁₂B_10,5∣b₁₇B_10,5∣b₁₉B_10,5，

B_10,5→iB_10,6∣uB_10,6∣eB_10,6∣oB_10,6，

B_10,6→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构11有：

藏文拼写形式文法G₁₁：藏文前加字、基字、下加字、元音符号及后加字拼写形式文法G₁₁是四元组(T₁₁，V₁₁，S₁₁，P₁₁)，其中：

(1)终结符

T₁₁＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₄,b₁₁,b₁₂,b₁₃,b₁₄,b₁₅,b₁₆,b₂₂,b₂₃,b₂₄,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₁₁＝{S₁₁,B_11,1,B_11,2,B_11,3,B_11,4,B_11,5,B_11,6,B_11,7,B_11,8,B_11,9,B_11,10,B_11,11,B_11,12}；

(3)S₁₁为V₁₁中的一个非终结符，且为起始符号；

(4)文法G₁₁产生式集合为：P₁₁＝{

S₁₁→b₁₁B_11,1∣b₁₅B_11,2∣b₁₆B_11,3∣b₂₃B_11,4，

B_11,1→b₁₆B_11,5，

B_11,1→b₁B_11,9∣b₃B_11,9∣b₁₃B_11,9∣b₁₅B_11,9，

B_11,2→b₁B_11,6，

B_11,2→b₂₂B_11,7∣b₂₅B_11,7，

B_11,2→b₂₈B_11,8，

B_11,2→b₃B_11,9，

B_11,3→b₂B_11,9∣b₃B_11,9，

B_11,4→b₂B_11,9∣b₃B_11,9∣b₁₄B_11,9∣b₁₅B_11,9，

B_11,4→b₁₁B_11,10，

B_11,5→b₂₄B₁₂，

B_11,5→b₂₄B_11,11，

B_11,6→b₂₄B_11,12∣b₂₅B_11,12∣b₂₆B_11,12，

B_11,6→b₂₄B_11,11∣b₂₅B_11,11∣b₂₆B_11,11，

B_11,7→b₂₆B_11,12，

B_11,7→b₂₆B_11,11，

B_11,8→b₂₅B_11,12∣b₂₆B_11,12，

B_11,8→b₂₅B_11,11∣b₂₆B_11,11，

B_11,9→b₂₄B_11,12∣b₂₅B_11,12，

B_11,9→b₂₄B_11,11∣b₂₅B_11,11，

B_11,10→b₂₅B_11,12，

B_11,10→b₂₅B_11,11，

B_11,11→iB_11,12∣uB_11,12∣eB_11,12∣oB_11,12，

B_11,12→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构12有：

藏文拼写形式文法G₁₂：藏文前加字、上加字、基字、下加字、元音符号及后加字拼写形式文法G₁₂是一个四元组(T₁₂，V₁₂，S₁₂，P₁₂)，其中：

(1)终结符

T₁₂＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₄,b₁₁,b₁₂,b₁₅,b₁₆,b₂₃,b₂₄,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₁₂＝{S₁₂,B_12,1,B_12,2,B_12,3,B_12,4,B_12,5,B_12,6,B_12,7}；

(3)S₁₂为V₁₂中的一个非终结符，且为起始符号；

(4)文法G₁₂的产生式集合P₁₂＝{

S₁₂→b₁₅B_12,1，

B_12,1→b₂₈B_12,2，

B_12,1→b₂₅B_12,3，

B_12,2→b₁B_12,4∣b₃B_12,4，

B_12,3→b₁B_12,5∣b₃B_12,5，

B_12,4→b₂₄B_12,7∣b₂₅B_12,7，

B_12,4→b₂₄B_12,6∣b₂₅B_12,6，

B_12,5→b₂₄B_12,7，

B_12,5→b₂₄B_12,6，

B_12,6→iB_12,7∣uB_12,7∣eB_12,7∣oB_12,7，

B_12,7→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构13有：

藏文拼写形式文法G₁₃：藏文前加字、基字、元音符号、后加字及再后加字拼写形式文法G₁₃是一个四元组(T₁₃，V₁₃，S₁₃，P₁₃)，其中：

(1)终结符

T₁₃＝T_B∪T_o，其中：

(2)非终结符集合

V₁₃＝{S₁₃,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₁₃为V₁₃中的非终结符，且为起始符号；

(4)文法G₁₃的产生式集合P₁₃＝{

S₁₃→b₃B_13,1∣b₁₁B_13,2∣b₁₅B_13,3∣b₁₆B_13,4∣b₂₃B_13,5，

B_13,1→b₅B_13,6∣b₈B_13,6∣b₉B_13,6∣b₁₁B_13,6∣b₁₂B_13,6∣b₁₇B_13,6∣b₂₁B_13,6∣b₂₂B_13,6∣b₂₄B_13,6∣b₂₇B_13,6∣b₂₈B_13,6，

B_13,2→b₁B_13,6∣b₃B_13,6∣b₄B_13,6∣b₁₃B_13,6∣b₁₅B_13,6∣b₁₆B_13,6，

B_13,3→b₁B_13,6∣b₃B_13,6∣b₅B_13,6∣b₉B_13,6∣b₁₁B_13,6∣b₁₇B_13,6∣b₂₁B_13,6∣b₂₂B_13,6∣b₂₇B_13,6∣b₂₈B_13,6，

B_13,4→b₂B_13,6∣b₃B_13,6∣b₄B_13,6∣b₆B_13,6∣b₇B_13,6∣b₈B_13,6∣b₁₀B_13,6∣b₁₁B_13,6∣b₁₂B_13,6∣b₁₈B_13,6∣b₁₉B_13,6，

B_13,5→b₂B_13,6∣b₃B_13,6∣b₆B_13,6∣b₇B_13,6∣b₁₀B_13,6∣b₁₁B_13,6∣b₁₄B_13,6∣b₁₅B_13,6∣b₁₈B_13,6∣b₁₉B_13,6，

B_13,6→iB_13,7∣uB_13,7∣eB_13,7∣oB_13,7，

B_13,6→b₃B_13,8∣b₄B_13,8∣b₁₅B_13,8∣b₁₆B_13,8，

B_13,6→b₁₂B_13,9∣b₂₅B_13,9∣b₂₆B_13,9，

B_13,7→b₃B_13,8∣b₄B_13,8∣b₁₅B_13,8∣b₁₆B_13,8，

B_13,7→b₁₂B_13,9∣b₂₅B_13,9∣b₂₆B_13,9，

B_13,8→b₂₈，

B_13,9→b₁₁}

对藏文拼写结构14有：

藏文拼写形式文法G₁₄：藏文前加字、上加字、基字、元音符号、后加字及再后加字拼写形式文法G₁₄是一个四元组(T₁₄，V₁₄，S₁₄，P₁₄)，其中：

(1)终结符

T₁₄＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₄,b₁₁,b₁₂,b₁₃,b₁₅,b₁₆,b₁₇,b₂₀,b₂₄,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₁₄＝{S₁₄,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₁₄为V₁₄中的非终结符，且为起始符号；

(4)文法G₁₄的产生式集合为：P₁₄＝{

S₁₄→b₁₅B_14,1，

B_14,1→b₂₈B_14,2∣b₂₆B_14,3∣b₂₅B_14,4，

B_14,2→b₁B_14,5∣b₃B_14,5∣b₄B_14,5∣b₈B_14,5∣b₉B_14,5∣b₁₁B_14,5∣b₁₂B_14,5∣b₁₇B_14,5，

B_14,3→b₉B_14,5∣b₁₁B_14,5，

B_14,4→b₁B_14,5∣b₃B_14,5∣b₄B_14,5∣b₇B_14,5∣b₈B_14,5∣b₉B_14,5∣b₁₁B_14,5∣b₁₂B_14,5∣b₁₇B_14,5∣b₁₉B_14,5，

B_14,5→iB_14,6∣uB_14,6∣eB_14,6∣oB_14,6，

B_14,5→b₃B_14,7∣b₄B_14,7∣b₁₅B_14,7∣b₁₆B_14,7，

B_14,5→b₁₂B_14,8∣b₂₅B_14,8∣b₂₆B_14,8，

B_14,6→b₃B_14,7∣b₄B_14,7∣b₁₅B_14,7∣b₁₆B_14,7，

B_14,6→b₁₂B_14,8∣b₂₅B_14,8∣b₂₆B_14,8，

B_14,7→b₂₈，

B_14,8→b₁₁}

对藏文拼写结构15有：

藏文拼写形式文法G₁₅：藏文前加字、基字、下加字、元音符号、后加字及再后加字拼写形式文法G₁₅是一个四元组(T₁₅，V₁₅，S₁₅，P₁₅)，其中：

(1)终结符

T₁₅＝T_B∪T_o，其中：

(2)非终结符集合

V₁₅＝{S₁₅,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₁₅为V₁₅中的一个非终结符，且为起始符号；

(4)文法G₁₅的产生式集合为：P₁₅＝{

S₁₅→b₁₁B_15,1∣b₁₅B_15,2∣b₁₆B_15,3∣b₂₃B_15,4，

B_15,1→b₁₆B_15,5，

B_15,1→b₁B_15,9∣b₃B_15,9∣b₁₃B_15,9∣b₁₅B_15,9，

B_15,2→b₁B_15,6，

B_15,2→b₂₂B_15,7∣b₂₅B_15,7，

B_15,2→b₂₈B_15,8，

B_15,2→b₃B_15,9，

B_15,3→b₂B_15,9∣b₃B_15,9，

B_15,4→b₂B_15,9∣b₃B_15,9∣b₁₄B_15,9∣b₁₅B_15,9，

B_15,4→b₁₁B_15,10，

B_15,5→b₂₄B_15,11，

B_15,6→b₂₄B_15,11∣b₂₅B_15,11∣b₂₆B_15,11，

B_15,7→b₂₆B_15,11，

B_15,8→b₂₅B_15,11∣b₂₆B_15,11，

B_15,9→b₂₄B_15,11∣b₂₅B_15,11，

B_15,10→b₂₅B_15,11，

B_15,11→iB_15,12∣uB_15,12∣eB_15,12∣oB_15,12，

B_15,11→b₃B_15,13∣b₄B_15,13∣b₁₅B_15,13∣b₁₆B_15,13，

B_15,11→b₁₂B_15,4∣b₂₅B_15,14∣b₂₆B_15,14，

B_15,12→b₃B_15,13∣b₄B_15,13∣b₁₅B_15,13∣b₁₆B_15,13，

B_15,12→b₁₂B_15,14∣b₂₅B_15,14∣b₂₆B_15,14，

B_15,13→b₂₈，

B_15,14→b₁₁}

对藏文拼写结构16有：

藏文拼写形式文法G₁₆：藏文前加字、上加字、基字、下加字、元音符号、后加字及再后加字拼写构成的藏文字的文法G₁₆是一个四元组(T₁₆，V₁₆，S₁₆，P₁₆)，其中：

(1)终结符

T₁₆＝T_B∪T_o；其中：

T_B＝{b₁,b₃,b₄,b₁₁,b₁₂,b₁₅,b₁₆,b₂₄,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₁₆＝{S₁₆,B_16,1,B_16,2,B_16,3,B_16,4,B_16,5,B_16,6,B_16,7,B_16,8,B_16,9}；

(3)S₁₆为V₁₆中的非终结符，且为起始符号；

(4)文法G₁₆的产生式集合为：P₁₆＝{

S₁₆→b₁₅B_16,1，

B_16,1→b₂₈B_16,2，

B_16,1→b₂₅B_16,3，

B_16,2→b₁B_16,4∣b₃B_16,4，

B_16,3→b₁B_16,5∣b₃B_16,5，

B_16,4→b₂₄B_16,6∣b₂₅B_16,6，

B_16,5→b₂₄B_16,6，

B_16,6→iB_16,7∣uB_16,7∣eB_16,7∣oB_16,7，

B_16,6→b₃B_16,8∣b₄B_16,8∣b₁₅B_16,8∣b₁₆B_16,8，

B_16,6→b₁₂B_16,9∣b₂₅B_16,9∣b₂₆B_16,9，

B_16,7→b₃B_16,8∣b₄B_16,8∣b₁₅B_16,8∣b₁₆B_16,8，

B_16,7→b₁₂B_16,9∣b₂₅B_16,9∣b₂₆B_16,9，

B_16,8→b₂₈，

B_16,9→b₁₁}

对藏文拼写结构17有：

藏文拼写形式文法G₁₇：藏文基字、元音符号及后加字拼写形式文法G₁₇是一个四元组(T₁₇，V₁₇，S₁₇，P₁₇)，其中：

(1)终结符

T₁₇＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₄,b₅,…,b₃₀}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₁₇＝{S₁₇,B_17,1,B_17,2}；

(3)S₁₇为V₁₇中的一个非终结符，且为起始符号；

(4)文法G₁₇的产生式集合为：P₁₇＝{

S₁₇→b₁B_17,1∣b₂B_17,1∣b₃B_17,1∣b₄B_17,1∣b₅B_17,1∣…∣b₃₀B_17,1，

S₁₇→b₁B_17,2∣b₂B_17,2∣b₃B_17,2∣b₄B_17,2∣b₅B_17,2∣…∣b₃₀B_17,2，

B_17,1→iB_17,2∣uB_17,2∣eB_17,2∣oB_17,2，

B_17,2→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构18有：

藏文拼写形式文法G₁₈：藏文上加字、基字、元音符号及后加字拼写形式文法G₁₈是一个四元组(T₁₈，V₁₈，S₁₈，P₁₈)，其中：

(1)终结符

T₁₈＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₄,b₅,b₇,b₈,b₉,b₁₁,b₁₂,b₁₃,b₁₅,b₁₆,b₁₇,b₁₉,b₂₃,b₂₅,b₂₆,b₂₈,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₁₈＝{S₁₈,B_18,1,B_18,2,B_18,3,B_18,4,B_18,5}；

(3)S₁₈为V₁₈中的一个非终结符，且为起始符号；

(4)文法G₁₈的产生式集合为：P₁₈＝{

S₁₈→b₂₅B_18,1∣b₂₆B_18,2∣b₂₈B_18,3，

B_18,1→b₁B_18,5∣b₃B_18,5∣b₄B_18,5∣b₇B_18,5∣b₈B_18,5∣b₉B_18,5∣b₁₁B_18,5∣b₁₂B_18,5∣b₁₅B_18,5∣b₁₆B_18,5∣b₁₇B_18,5∣b₁₉B_18,5，

B_18,1→b₁B_18,4∣b₃B_18,4∣b₄B_18,4∣b₇B_18,4∣b₈B_18,4∣b₉B_18,4∣b₁₁B_18,4∣b₁₂B_18,4∣b₁₅B_18,4∣b₁₆B_18,4∣b₁₇B_18,4∣b₁₉B_18,4，

B_18,2→b₁B_18,5∣b₃B_18,5∣b₄B_18,5∣b₅B_18,5∣b₇B_18,5∣b₉B_18,5∣b₁₁B_18,5∣b₁₃B_18,5∣b₁₅B_18,5∣b₂₉B_18,5，

B_18,2→b₁B_18,4∣b₃B_18,4∣b₄B_18,4∣b₅B_18,4∣b₇B_18,4∣b₉B_18,4∣b₁₁B_18,4∣b₁₃B_18,4∣b₁₅B_18,4∣b₂₉B_18,4，

B_18,3→b₁B_18,5∣b₃B_18,5∣b₄B_18,5∣b₈B_18,5∣b₉B_18,5∣b₁₁B_18,5∣b₁₂B_18,5∣b₁₃B_18,5∣b₁₅B_18,5∣b₁₆B_18,5∣b₁₇B_18,5，

B_18,3→b₁B_18,4∣b₃B_18,4∣b₄B_18,4∣b₈B_18,4∣b₉B_18,4∣b₁₁B_18,4∣b₁₂B_18,4∣b₁₃B_18,4∣b₁₅B_18,4∣b₁₆B_18,4∣b₁₇B_18,4，

B_18,4→iB_18,5∣uB_18,5∣eB_18,5∣oB_18,5，

B_18,5→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构19有：

藏文拼写形式文法G₁₉：藏文基字、下加字、元音符号及后加字拼写形式文法G₁₉是一个四元组(T₆，V₆，S₆，P₆)，其中：

(1)终结符

T₁₉＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₄,b₈,b₉,b₁₀,b₁₁,b₁₂,b₁₃,b₁₄,b₁₅,b₁₆,b₁₈,b₂₀,b₂₁,b₂₂,b₂₃,b₂₄,b₂₅,b₂₆,b₂₇,b₂₈,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₁₉＝{S₁₉,B_19,1,B_19,2,B_19,3,B_19,4,B_19,5,B_19,6,B_19,7,B_19,8,B_19,9,B_19,10,B_19,11}；

(3)S₁₉为V₁₉中的一个非终结符，且为起始符号；

(4)文法G₁₉的产生式集合为：P₁₉＝{

S₁₉→b₁B_19,1∣b₃B_19,1，

S₁₉→b₂B_19,2，

S₁₉→b₁₁B_19,3∣b₂₉B_19,3，

S₁₉→b₈B_19,4∣b₁₈B_19,4∣b₂₁B_19,4∣b₂₆B_19,4∣b₂₇B_19,4，

S₁₉→b₉B_19,5∣b₁₀B_19,5，

S₁₉→b₁₃B_19,6∣b₁₄B_19,6∣b₁₆B_19,6，

S₁₉→b₂₂B_19,7∣b₂₅B_19,7，

S₁₉→b₂₈B_19,8，

S₁₉→b₁₅B_19,9，

B_19,1→b₂₀B_19,11∣b₂₄B_19,11∣b₂₅B_19,11∣b₂₆B_19,11，

B_19,1→b₂₀B_19,10∣b₂₄B_19,10∣b₂₅B_19,10∣b₂₆B_19,10，

B_19,2→b₂₀B_19,11∣b₂₄B_19,11∣b₂₅B_19,11，

B_19,2→b₂₀B_19,10∣b₂₄B_19,10∣b₂₅B_19,10，

B_19,3→b₂₀B_19,11∣b₂₅B_19,11，

B_19,3→b₂₀B_19,10∣b₂₅B_19,10，

B_19,4→b₂₀B_19,11，

B_19,4→b₂₀B_19,10，

B_19,5→b₂₅B_19,11，

B_19,5→b₂₅B_19,10，

B_19,6→b₂₄B_19,11∣b₂₅B_19,11，

B_19,6→b₂₄B_19,10∣b₂₅B_19,10，

B_19,7→b₂₀B_19,11∣b₂₆B_19,11，

B_19,7→b₂₀B_19,10∣b₂₆B_19,10，

B_19,8→b₂₅B_19,11∣b₂₆B_19,11，

B_19,8→b₂₅B_19,10∣b₂₆B_19,10，

B_19,9→b₂₄B_19,11∣b₂₅B_19,11∣b₂₆B_19,11，

B_19,9→b₂₄B_19,10∣b₂₅B_19,10∣b₂₆B_19,10，

B_19,10→iB_19,11∣uB_19,11∣eB_19,11∣oB_19,11，

B_19,11→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构20有：

藏文拼写形式文法G₂₀：上加字、藏文基字、下加字、元音符号及后加字拼写形式文法G₂₀是一个四元组(T₂₀，V₂₀，S₂₀，P₂₀)，其中：

(1)终结符

T₂₀＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₄,b₁₁,b₁₂,b₁₃,b₁₅,b₁₆,b₁₇,b₂₀,b₂₃,b₂₄,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₂₀＝{S₂₀,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₂₀为V₂₀中的一个非终结符，且为起始符号；

(4)文法G₂₀的产生式集合为：P₂₀＝{

S₂₀→b₂₅B_20,1，

S₂₀→b₂₈B_20,2，

B_20,1→b₁B_20,3∣b₃B_20,3∣b₁₆B_20,3，

B_20,1→b₁₇B_20,4，

B_20,2→b₁B_20,5∣b₃B_20,5∣b₁₃B_20,5∣b₁₅B_20,5∣b₁₆B_20,5，

B_20,2→b₁₂B_20,6，

B_20,3→b₂₄B_20,8，

B_20,3→b₂₄B_20,7，

B_20,4→b₂₀B_20,8，

B_20,4→b₂₀B_20,7，

B_20,5→b₂₄B_20,8∣b₂₅B_20,8，

B_20,5→b₂₄B_20,7∣b₂₅B_20,7，

B_20,6→b₂₅B_20,8，

B_20,6→b₂₅B_20,7，

B_20,7→iB_20,8∣uB_20,8∣eB_20,8∣oB_20,8，

B_20,8→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构21有：

藏文拼写形式文法G₂₁：藏文基字、元音符号、后加字及再后加字拼写形式文法G₂₁是一个四元组(T₂₁，V₂₁，S₂₁，P₂₁)，其中：

(1)终结符

T₂₁＝T_B∪T_o，其中：

(2)非终结符集合

V₂₁＝{S₂₁,B_21,1,B_21,2,B_21,3,B_21,4,B_21,5,B_21,6,B_21,7}；

(3)S₂₁为V₂₁中的一个非终结符，且为起始符号；

(4)文法G₂₁的产生式集合为：P₂₁＝{

S₂₁→b₁B_21,1∣b₂B_21,1∣…∣b₁₀B_21,1∣b₁₂B_21,1∣b₁₃B_21,1∣…∣b₂₂B_21,1∣b₂₄B_21,1∣b₂₅B_21,1∣…∣b₃₀B_21,1，

S₂₁→b₁₁B_21,2，

S₂₁→b₂₃B_21,3，

B_21,1→iB_21,4∣uB_21,4∣eB_21,4∣oB_21,4，

B_21,1→b₃B_21,7∣b₄B_21,7∣b₁₅B_21,7∣b₁₆B_21,7，

B_21,2→iB_21,5∣uB_21,5∣eB_21,5∣oB_21,5，

B_21,3→b₄B_21,7∣b₁₆B_21,7，

B_21,3→iB_21,6∣uB_21,6∣eB_21,6∣oB_21,6，

B_21,4→b₃B_21,7∣b₄B_21,7∣b₁₅B_21,7∣b₁₆B_21,7，

B_21,5→b₃B_21,7∣b₄B_21,7∣b₁₅B_21,7∣b₁₆B_21,7，

B_21,6→b₃B_21,7∣b₄B_21,7∣b₁₅B_21,7∣b₁₆B_21,7，

B_21,7→b₂₈}

对藏文拼写结构22有：

藏文拼写形式文法G₂₂：藏文上加字、基字、元音符号、后加字及再后加字拼写形式文法G₂₂是一个四元组(T₂₂，V₂₂，S₂₂，P₂₂)，其中：

(1)终结符

T₂₂＝T_B∪T_o，其中：

(2)非终结符集合

V₂₂＝{S₂₂,B_22,1,B_22,2,B_22,3,B_22,4,B_22,5}；

(3)S₂₂为V₂₂中的非终结符，且为起始符号；

(4)文法G₂₂的产生式集合为：P₂₂＝{

S₂₂→b₂₅B_22,1∣b₂₆B_22,2∣b₂₈B_22,3，

B_22,1→b₁B_22,4∣b₃B_22,4∣b₄B_22,4∣b₇B_22,4∣b₈B_22,4∣b₉B_22,4∣b₁₁B_22,4∣b₁₂B_22,4∣b₁₅B_22,4∣b₁₆B_22,4∣b₁₇B_22,4∣b₁₉B_22,4，

B_22,2→b₁B_22,4∣b₃B_22,4∣b₄B_22,4∣b₅B_22,4∣b₇B_22,4∣b₉B_22,4∣b₁₁B_22,4∣b₁₃B_22,4∣b₁₅B_22,4∣b₂₉B_22,4，

B_22,3→b₁B_22,4∣b₃B_22,4∣b₄B_22,4∣b₈B_22,4∣b₉B_22,4∣b₁₁B_22,4∣b₁₂B_22,4∣b₁₃B_22,4∣b₁₅B_22,4∣b₁₆B_22,4∣b₁₇B_22,4，

B_22,4→iB_22,7∣uB_22,7∣eB_22,7∣oB_22,7，

B_22,4→b₁₂B_22,5∣b₂₅B_22,5∣b₂₆B_22,5，

B_22,4→b₃B_22,6∣b₄B_22,6∣b₁₅B_22,6∣b₁₆B_22,6，

B_22,7→b₁₂B_22,5∣b₂₅B_22,5∣b₂₆B_22,5，

B_22,7→b₃B_22,6∣b₄B_22,6∣b₁₅B_22,6∣b₁₆B_22,6，

B_22,5→b₁₁，

B_22,6→b₁₈}

对藏文拼写结构23有：

藏文拼写形式文法G₂₃：藏文基字、下加字、元音符号、后加字及再后加字拼写构成的藏文字的文法G₂₃是一个四元组(T₂₃，V₂₃，S₂₃，P₂₃)，其中：

(1)终结符

T₂₃＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₄,b₈,b₉,b₁₀,b₁₁,b₁₂,b₁₃,b₁₄,b₁₅,b₁₆,b₁₈,b₂₀,b₂₁,b₂₂,b₂₄,b₂₅,b₂₆,b₂₇,b₂₈,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₂₃＝{S₂₃,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₂₃为V₂₃中的非终结符，且为起始符号；

(4)文法G₂₃的产生式集合为：P₂₃＝{

S₂₃→b₁B_23,1∣b₃B_23,1，

S₂₃→b₂B_23,2，

S₂₃→b₁₁B_23,3∣b₂₉B_23,3，

S₂₃→b₈B_23,4∣b₁₈B_23,4∣b₂₁B_23,4∣b₂₆B_23,4∣b₂₇B_23,4，

S₂₃→b₉B_23,5∣b₁₀B_23,5，

S₂₃→b₁₃B_23,6∣b₁₄B_23,6∣b₁₆B_23,6，

S₂₃→b₂₂B_23,7∣b₂₅B_23,7，

S₂₃→b₂₈B_23,8，

S₂₃→b₁₅B_23,9，

B_23,1→b₂₀B_23,10∣b₂₄B_23,10∣b₂₅B_23,10∣b₂₆B_23,10，

B_23,2→b₂₀B_23,10∣b₂₄B_23,10∣b₂₅B_23,10，

B_23,3→b₂₀B_23,10∣b₂₅B_23,10，

B_23,4→b₂₀B_23,10，

B_23,5→b₂₅B_23,10，

B_23,6→b₂₄B_23,10∣b₂₅B_23,10，

B_23,7→b₂₀B_23,10∣b₂₆B_23,10，

B_23,8→b₂₅B_23,10∣b₂₆B_23,10，

B_23,9→b₂₄B_23,10∣b₂₅B_23,10∣b₂₆B_23,10，

B_23,10→iB_23,11∣uB_23,11∣eB_23,11∣oB_23,11，

B_23,10→b₁₂B_23,12∣b₂₅B_23,12∣b₂₆B_23,12，

B_23,10→b₃B_23,13∣b₄B_23,13∣b₁₅B_23,13∣b₁₆B_23,13，

B_23,11→b₁₂B_23,12∣b₂₅B_23,12∣b₂₆B_23,12，

B_23,11→b₃B_23,13∣b₄B_23,13∣b₁₅B_23,13∣b₁₆B_23,13，

B_23,12→b₁₁，

B_23,13→b₁₈}

对藏文拼写结构24有：

藏文拼写形式文法G₂₄：藏文上加字、基字、下加字、元音符号、后加字及再后加字拼写形式文法G₂₄是一个四元组(T₂₄，V₂₄，S₂₄，P₂₄)，其中：

(1)终结符

T₂₄＝T_B∪T_o，其中：

(2)非终结符集合

V₂₄＝{S₂₄,B_24,1,B_24,2,B_24,3,B_24,4,B_24,5,B_24,6,B_24,7,B_24,8,B_24,9,B_24,10}；

(3)S₂₄为V₂₄中的非终结符，且为起始符号；

(4)文法G₂₄的产生式集合为：P₂₄＝{

S₂₄→b₂₅B_24,1，

S₂₄→b₂₈B_24,2，

B_24,1→b₁B_24,3∣b₃B_24,3∣b₁₆B_24,3，

B_24,1→b₁₇B_24,4，

B_24,2→b₁B_24,5∣b₃B_24,5∣b₁₃B_24,5∣b₁₅B_24,5∣b₁₆B_24,5，

B_24,2→b₁₂B_24,6，

B_24,3→b₂₄B_24,7，

B_24,4→b₂₀B_24,7，

B_24,5→b₂₄B_24,7∣b₂₅B_24,7，

B_24,6→b₂₅B_24,7，

B_24,7→iB_24,8∣uB_24,8∣eB_24,8∣oB_24,8，

B_24,7→b₁₂B_24,9∣b₂₅B_24,9∣b₂₆B_24,9，

B_24,7→b₃B_24,10∣b₄B_24,10∣b₁₅B_24,10∣b₁₆B_24,10，

B_24,8→b₁₂B_24,9∣b₂₅B_24,9∣b₂₆B_24,9，

B_24,8→b₃B_24,10∣b₄B_24,10∣b₁₅B_24,10∣b₁₆B_24,10，

B_24,9→b₁₁，

B_24,10→b₁₈}

对藏文拼写结构25有：

藏文拼写形式文法G₂₅：藏文基字、下加字、下加字拼写形式文法G₂₅是一个四元组(T₂₅，V₂₅，S₂₅，P₂₅)，其中：

(1)终结符

T₂₅＝{b₃,b₁₁,b₁₄,b₂₀,b₂₄,b₂₅}，其元素对应藏文辅音字符；

(2)非终结符集合

V₂₅＝{S₂₅,B_25,1,B_25,2,B_25,3}；

(3)S₂₅为V₂₅中的非终结符，且为起始符号；

(4)文法G₂₅的产生式集合为：P₂₅＝{

S₂₅→b₃B_25,1∣b₁₁B_25,1，

S₂₅→b₁₄B_25,2，

B_25,1→b₂₅B_25,3，

B_25,2→b₂₄B_25,3，

B_25,3→b₂₀}

对藏文拼写结构26有：

藏文拼写形式文法G₂₆：藏文辅音字符、辅音字符、元音符号拼写形式文法G₂₆是一个四元组(T₂₆，V₂₆，S₂₆，P₂₆)，其中：

(1)终结符

T₂₆＝T_B∪T_o，其中：

T_B＝{b₁₄,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₂₆＝{S₂₆,B_26,1,B_26,2}；

(3)S₂₆为V₂₆中的非终结符，且为起始符号；

(4)文法G₂₆的产生式集合为：P₂₆＝{

S₂₆→b₂₉B_26,1，

B_26,1→b₁₄，

B_26,1→b₁₄B_26,2，

B_26,2→i∣u∣e∣o}

对藏文拼写结构27有：

藏文拼写形式文法G₂₇：藏文辅音字符、辅音字符、元音符号、后加字拼写形式文法G₂₇是一个四元组(T₂₇，V₂₇，S₂₇，P₂₇)，其中：

(1)终结符

T₂₇＝T_B∪T_o，其中：

T_B＝{b₃,b₄,b₁₁,b₁₂,b₁₄,b₁₅,b₁₆,b₂₃,b₂₅,b₂₆,b₂₈,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₂₇＝{S₂₇,B_27,1,B_27,2,B_27,3}；

(3)S₂₇为V₂₇中的非终结符，且为起始符号；

(4)文法G₂₇的产生式集合为：P₂₇＝{

S₂₇→b₂₉B_27,1，

B_27,1→b₁₄B_27,3，

B_27,1→b₁₄B_27,2，

B_27,2→iB_27,3∣uB_27,3∣eB_27,3∣oB_27,3，

B_27,3→b₃∣b₄∣b₁₁∣b₁₂∣b₁₅∣b₁₆∣b₂₃∣b₂₅∣b₂₆∣b₂₈}

对藏文拼写结构28有：

藏文拼写形式文法G₂₈：藏文基字和元音符号以及藏文基字和元音符号同时拼写形式文法G₂₈是一个四元组(T₂₈，V₂₈，S₂₈，P₂₈)，其中：

(1)终结符

T₂₈＝T_B∪T_o，其中：

(2)非终结符集合

V₂₈＝{S₂₈,B_28,1,B_28,2,B_28,3}；

(3)S₂₈为V₂₈中的非终结符，且为起始符号；

(4)文法G₂₈的产生式集合为：P₂₈＝{

S₂₈→b₁B_28,1∣b₂B_28,1∣b₃B_28,1∣b₄B_28,1∣b₅B_28,1∣…∣b₃₀B_28,1，

B_28,1→iB_28,2∣uB_28,2∣eB_28,2∣oB_28,2，

B_28,1→b₂₃B_28,3，

B_28,2→b₂₃B_28,3，

B_28,3→i∣u∣e∣o}

对藏文拼写结构29有：

藏文拼写形式文法G₂₉：藏文上加字、基字和元音以及基字和元音符号同时拼写形式文法G₂₉是一个四元组(T₂₉，V₂₉，S₂₉，P₂₉)，其中：

(1)终结符

T₂₉＝T_B∪T_o，其中：

(2)非终结符集合

V₂₉＝{S₂₉,B_29,1,B_29,2,B_29,3,B_29,4,B_29,5,B_29,6}；

(3)S₂₉为V₂₉中的非终结符，且为起始符号；

(4)文法G₂₉的产生式集合为：P₂₉＝{

S₂₉→b₂₅B_29,1∣b₂₆B_29,2∣b₂₈B_29,3，

B_29,1→b₁B_29,4∣b₃B_29,4∣b₄B_29,4∣b₇B_29,4∣b₈B_29,4∣b₉B_29,4∣b₁₁B_29,4∣b₁₂B_29,4∣b₁₅B_29,4∣b₁₆B_29,4∣b₁₇B_29,4∣b₁₉B_29,4，

B_29,2→b₁B_29,4∣b₃B_29,4∣b₄B_29,4∣b₅B_29,4∣b₇B_29,4∣b₉B_29,4∣b₁₁B_29,4∣b₁₃B_29,4∣b₁₅B_29,4∣b₂₉B_29,4，

B_29,3→b₁B_29,4∣b₃B_29,4∣b₄B_29,4∣b₈B_29,4∣b₉B_29,4∣b₁₁B_29,4∣b₁₂B_29,4∣b₁₃B_29,4∣b₁₅B_29,4∣b₁₆B_29,4∣b₁₇B_29,4，

B_29,4→iB_29,5∣uB_29,5∣eB_29,5∣oB_29,5，

B_29,4→b₂₃B_29,6，

B_29,5→b₂₃B_29,6，

B_29,6→i∣u∣e∣o}

对藏文拼写结构30有：

藏文拼写形式文法G₃₀：藏文基字、下加字和元音符号以及基字和元音符号同时拼写形式文法G₃₀是一个四元组(T₃₀，V₃₀，S₃₀，P₃₀)，其中：

(1)终结符

T₃₀＝T_B∪T_o，其中：

T_B＝{b₁,b₂,b₃,b₈,b₉,b₁₀,b₁₁,b₁₃,b₁₄,b₁₅,b₁₆,b₁₈,b₂₀,b₂₁,b₂₂,b₂₃,b₂₄,b₂₅,b₂₆,b₂₇,b₂₈,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₃₀＝{S₃₀,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₃₀为V₃₀中的非终结符，且为起始符号；

(4)文法G₃₀的产生式集合为：P₃₀＝{

S₃₀→b₁B_30,1∣b₃B_30,1，

S₃₀→b₂B_30,2，

S₃₀→b₁₁B_30,3∣b₂₉B_30,3，

S₃₀→b₈B_30,4∣b₁₈B_30,4∣b₂₁B_30,4∣b₂₆B_30,4∣b₂₇B_30,4，

S₃₀→b₉B_30,5∣b₁₀B_30,5，

S₃₀→b₁₃B_30,6∣b₁₄B_30,6∣b₁₆B_30,6，

S₃₀→b₂₂B_30,7∣b₂₅B_30,7，

S₃₀→b₂₈B_30,8，

S₃₀→b₁₅B_30,9，

B_30,1→b₂₀B_30,10∣b₂₄B_30,10∣b₂₅B_30,10∣b₂₆B_30,10，

B_30,2→b₂₀B_30,10∣b₂₄B_30,10∣b₂₅B_30,10，

B_30,3→b₂₀B_30,10∣b₂₅B_30,10，

B_30,4→b₂₀B_30,10，

B_30,5→b₂₅B_30,10，

B_30,6→b₂₄B_30,10∣b₂₅B_30,10，

B_30,7→b₂₀B_30,10∣b₂₆B_30,10，

B_30,8→b₂₅B_30,10∣b₂₆B_30,10，

B_30,9→b₂₄B_30,10∣b₂₅B_30,10∣b₂₆B_30,10，

B_30,10→iB_30,11∣uB_30,11∣eB_30,11∣oB_30,11，

B_30,10→b₂₃B_30,12，

B_30,11→b₂₃B_30,12，

B_30,12→i∣u∣e∣o}

对藏文拼写结构31有：

藏文拼写形式文法G₃₁：上加字、藏文基字、下加字和元音符号以及基字和元音符号同时拼写形式文法G₃₁是一个四元组(T₃₁，V₃₁，S₃₁，P₃₁)，其中：

(1)终结符

T₃₁＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₁₂,b₁₃,b₁₅,b₁₆,b₁₇,b₂₀,b₂₃,b₂₄,b₂₅,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₃₁＝{S₃₁,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₃₁为V₃₁中的一个非终结符，且为起始符号；

(4)文法G₃₁的产生式集合P₃₁＝{

S₃₁→b₂₅B_31,1，

S₃₁→b₂₈B_31,2，

B_31,1→b₁B_31,3∣b₃B_31,3∣b₁₆B_31,3，

B_31,1→b₁₇B_31,4，

B_31,2→b₁B_31,5∣b₃B_31,5∣b₁₃B_31,5∣b₁₅B_31,5∣b₁₆B_31,5，

B_31,2→b₁₂B_31,6，

B_31,3→b₂₄B_31,7，

B_31,4→b₂₀B_31,7，

B_31,5→b₂₄B_31,7∣b₂₅B_31,7，

B_31,6→b₂₅B_31,7，

B_31,7→iB_31,8∣uB_31,8∣eB_31,8∣oB_31,8，

B_31,7→b₂₃B_31,9，

B_31,8→b₂₃B_31,9，

B_31,9→i∣u∣e∣o}

对藏文拼写结构32有：

藏文拼写形式文法G₃₂：藏文前加字、上加字、基字和元音符号以及基字和元音符号同时拼写形式文法G₃₂是一个四元组(T₃₂，V₃₂，S₃₂，P₃₂)，其中：

(1)终结符

T₃₂＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₄,b₇,b₈,b₉,b₁₁,b₁₂,b₁₅,b₁₇,b₁₉,b₂₃,b₂₅,b₂₆,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₃₂＝{S₃₂,B_32,1,B_32,2,B_32,3,B_32,4,B_32,5,B_32,6,B_32,7}；

(3)S₃₂为V₃₂中的一个非终结符，且为起始符号；

(4)文法G₃₂的产生式集合P₃₂＝{

S₃₂→b₁₅B_32,1，

B_32,1→b₂₈B_32,2，

B_32,1→b₂₆B_32,3，

B_32,1→b₂₅B_32,4，

B_32,2→b₁B_32,5∣b₃B_32,5∣b₄B_32,5∣b₈B_32,5∣b₉B_32,5∣b₁₁B_32,5∣b₁₂B_32,5∣b₁₇B_32,5，

B_32,3→b₉B_32,5∣b₁₁B_32,5，

B_32,4→b₁B_32,5∣b₃B_32,5∣b₄B_32,5∣b₇B_32,5∣b₈B_32,5∣b₉B_32,5∣b₁₁B_32,5∣b₁₂B_32,5∣b₁₇B_32,5∣b₁₉B_32,5，

B_32,5→iB_32,6∣uB_32,6∣eB_32,6∣oB_32,6，

B_32,5→b₂₃B_32,7，

B_32,6→b₂₃B_32,7，

B_32,7→i∣u∣e∣o}

对藏文拼写结构33有：

藏文拼写形式文法G₃₃：藏文前加字、基字、下加字和元音符号以及基字和元音符号同时拼写形式文法G₃₃是一个四元组(T₃₃，V₃₃，S₃₃，P₃₃)，其中：

(1)终结符

T₃₃＝T_B∪T_o，其中：

(2)非终结符集合

V₃₃＝{S₃₃,B_33,1,B_33,2,B_33,3,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₃₃为V₃₃中的一个非终结符，且为起始符号；

(4)文法G₃₃的产生式集合P₃₃＝{

S₃₃→b₁₁B_33,1∣b₁₅B_33,2∣b₁₆B_33,3∣b₂₃B_33,4，

B_33,1→b₁₆B_33,5，

B_33,1→b₁B_33,9∣b₃B_33,9∣b₁₃B_33,9∣b₁₅B_33,9，

B_33,2→b₁B_33,6，

B_33,2→b₂₂B_33,7∣b₂₅B_33,7，

B_33,2→b₂₈B_33,8，

B_33,2→b₃B_33,9，

B_33,3→b₂B_33,9∣b₃B_33,9，

B_33,4→b₂B_33,9∣b₃B_33,9∣b₁₄B_33,9∣b₁₅B_33,9，

B_33,4→b₁₁B_33,10，

B_33,5→b₂₄B_33,11，

B_33,6→b₂₄B_33,11∣b₂₅B_33,11∣b₂₆B_33,11，

B_33,7→b₂₆B_33,11，

B_33,8→b₂₅B_33,11∣b₂₆B_33,11，

B_33,9→b₂₄B_33,11∣b₂₅B_33,11，

B_33,10→b₂₅B_33,11，

B_33,11→iB_33,12∣uB_33,12∣eB_33,12∣oB_33,12，

B_33,11→b₂₃B_33,13，

B_33,12→b₂₃B_33,13，

B_33,13→i∣u∣e∣o}

对藏文拼写结构34有：

藏文拼写形式文法G₃₄：藏文前加字、上加字、基字、下加字和元音符号以及基字和元音符号同时拼写形式文法G₃₄是一个四元组(T₃₄，V₃₄，S₃₄，P₃₄)，其中：

(1)终结符

T₃₄＝T_B∪T_o，其中：

T_B＝{b₁,b₃,b₁₅,b₂₃,b₂₄,b₂₅,b₂₈}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₃₄＝{S₃₄,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₃₄为V₃₄中的一个非终结符，且为起始符号；

(4)文法G₃₄的产生式集合P₃₄＝{

S₃₄→b₁₅B_34,1，

B_34,1→b₂₈B_34,2，

B_34,1→b₂₅B_34,3，

B_34,2→b₁B_34,4∣b₃B_34,4，

B_34,3→b₁B_34,5∣b₃B_34,5，

B_34,4→b₂₄B_34,6∣b₂₅B_34,6，

B_34,5→b₂₄B_34,6，

B_34,6→iB_34,7∣uB_34,7∣eB_34,7∣oB_34,7，

B_34,6→b₂₃B_34,8，

B_34,7→b₂₃B_34,8，

B_34,8→i∣u∣e∣o}

对藏文拼写结构35有：

藏文拼写形式文法G₃₅：藏文前加字、基字和元音符号以及基字和元音符号同时拼写形式文法G₃₅是一个四元组(T₃₅，V₃₅，S₃₅，P₃₅)，其中：

(1)终结符

T₃₅＝T_B∪T_o，其中：

(2)非终结符集合

V₃₅＝{S₃₅,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₃₅为V₃₅中的一个非终结符，且为起始符号；

(4)文法G₃₅的产生式集合P₃₅＝{

S₃₅→b₃B_35,1∣b₁₁B_35,2∣b₁₅B_35,3∣b₁₆B_35,4∣b₂₃B_35,5，

B_35,1→b₅B_35,6∣b₈B_35,6∣b₉B_35,6∣b₁₁B_35,6∣b₁₂B_35,6∣b₁₇B_35,6∣b₂₁B_35,6∣b₂₂B_35,6∣b₂₄B_35,6∣b₂₇B_35,6∣b₂₈B_35,6，

B_35,2→b₁B_35,6∣b₃B_35,6∣b₄B_35,6∣b₁₃B_35,6∣b₁₅B_35,6∣b₁₆B_35,6，

B_35,3→b₁B_35,6∣b₃B_35,6∣b₅B_35,6∣b₉B_35,6∣b₁₁B_35,6∣b₁₇B_35,6∣b₂₁B_35,6∣b₂₂B_35,6∣b₂₇B_35,6∣b₂₈B_35,6，

B_35,4→b₂B_35,6∣b₃B_35,6∣b₄B_35,6∣b₆B_35,6∣b₇B_35,6∣b₈B_35,6∣b₁₀B_35,6∣b₁₁B_35,6∣b₁₂B_35,6∣b₁₈B_35,6∣b₁₉B_35,6，

B_35,5→b₂B_35,6∣b₃B_35,6∣b₆B_35,6∣b₇B_35,6∣b₁₀B_35,6∣b₁₁B_35,6∣b₁₄B_35,6∣b₁₅B_35,6∣b₁₈B_35,6∣b₁₉B_35,6，

B_35,6→iB_35,7∣uB_35,7∣eB_35,7∣oB_35,7，

B_35,7→b₂₃B_35,8，

B_35,8→i∣u∣e∣o}

对藏文拼写结构36有：

藏文拼写形式文法G₃₆：藏文基字、下加字和下加字以及基字和元音符号同时拼写形式文法G₃₆是一个四元组(T₃₆，V₃₆，S₃₆，P₃₆)，其中：

(1)终结符

T₃₆＝T_B∪T_o，其中：

T_B＝{b₃,b₁₁,b₁₄,b₂₀,b₂₃,b₂₄,b₂₅}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₃₆＝{S₃₆,B_36,1,B_36,2,B_36,3,B_36,4,B_36,5}；

(3)S₃₆为V₃₆中的非终结符，且为起始符号；

(4)文法G₃₆的产生式集合为：P₃₆＝{

S₃₆→b₃B_36,1∣b₁₁B_36,1，

S₃₆→b₁₄B_36,2，

B_36,1→b₂₅B_36,3，

B_36,2→b₂₄B_36,3，

B_36,3→b₂₀B_36,4，

B_36,4→b₂₃B_36,5，

B_36,5→i∣u∣e∣o}

对藏文拼写结构37有：

藏文拼写形式文法G₃₇：藏文辅音字符、辅音字符和元音符号以及基字和元音符号同时拼写形式文法G₃₇是一个四元组(T₃₇，V₃₇，S₃₇，P₃₇)，其中：

(1)终结符

T₃₇＝T_B∪T_o，其中：

T_B＝{b₁₄,b₂₃,b₂₉}，其元素对应藏文辅音字符；T_o＝{i,u,e,o}，其元素对应藏文元音字符；

(2)非终结符集合

V₃₇＝{S₃₇,B_37,1,B_37,2,B_37,3,B_37,4}；

(3)S₃₇为V₃₇中的非终结符，且为起始符号；

(4)文法G₃₇的产生式集合为：P₃₇＝{

S₃₇→b₂₉B_37,1，

B_37,1→b₁₄B_37,2，

B_37,2→iB_37,3∣uB_37,3∣eB_37,3∣oB_37,3，

B_37,2→b₂₃B_37,4，

B_37,3→b₂₃B_37,4，

B_37,4→i∣u∣e∣o}。

步骤303，获取有限状态自动机M_i的终止状态标识E_i。

在本实施例中，通过步骤303获取新增的非终结符E_i的过程包括：判断所述藏文拼写形式文法G_i的产生式规则的有限集合P_i中是否包含产生式规则B→x，所述B∈V_i，x∈T_i；如果是，获取E_i∈δ_i(B，x)，所述δ_i(B，x)＝φ。

在本实施例中，E_i属于非终结符的一种。

步骤304，判断藏文拼写形式文法G_i的产生式规则的有限集合P_i中是否包含产生式规则S_i→λ。

在本实施例中，如果通过步骤304确定包含，执行步骤305后执行步骤307；否则执行步骤306。

步骤305，获取值为S_i和E_i的F_i。

步骤306，获取值为E_i的F_i。

步骤307，根据T_i、V_i、S_i、F_i，获取有限状态自动机M_i。

步骤308至步骤309，将至少一个藏文字作为有限状态自动机群组的输入，并判断待检查藏文文本是否拼写正确，该过程与图1所示的步骤102至步骤103，在此不再一一赘述。

实施例4

如图4所示，本发明实施例提供的基于自动机的藏文拼写检查装置，包括：

用于将待检查藏文文本以字为单位进行切分，得到至少一个藏文字的切分模块401；

用于将所述至少一个藏文字作为预设有限状态自动机群组的输入的输入模块402；

用于通过所述有限状态自动机群组判断所述待检查藏文文本是否拼写正确的拼写检查模块403；

在本实施例中，通过切分模块、输入模块和拼写检查模块实现藏文拼写检查的过程，与本发明实施例1-3提供的相似，在此不再一一赘述。

以上实施例的先后顺序仅为便于描述，不代表实施例的优劣。

最后应说明的是：以上实施例仅用以说明本发明的技术方案，而非对其限制；尽管参照前述实施例对本发明进行了详细的说明，本领域的普通技术人员应当理解：其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和范围。

Claims

1.一种基于自动机的藏文拼写检查方法，其特征在于，包括：

S10、将待检查藏文文本以字为单位进行切分，得到至少一个藏文字；

S20、将所述至少一个藏文字作为预设有限状态自动机群组的输入；

S30、通过所述有限状态自动机群组判断所述待检查藏文文本是否拼写正确；

所述有限状态自动机群组包括37个有限状态自动机，其中任一有限状态自动机M _i=（Σ _i，Q _i，δ _i，q _i，F _i）；所述Σ _i为预设藏文拼写形式文法G _i的终结符的有限集合；所述Q _i为所述藏文拼写形式文法G _i的非终结符的有限集合V _i与所述F _i的并集；所述δ _i是根据Q _i与Σ _i之直积Q _i×Σ _i到Q _i的映射获取的所述有限状态自动机M _i的状态转移函数；所述q _i为所述有限状态自动机M _i的初始状态，所述q _i∈Q _i；所述F _i为所述有限状态自动机M _i的终止状态的有限集合，所述Fi⊆Qi；所述i为正整数，所述i≤37；

在所述S20之前，还包括：

S11、获取所述藏文拼写形式文法G _i，所述G _i=（Σ _i，V _i，S _i，P _i）；

S12、获取所述有限状态自动机M _i的终止状态标识E _i；

S13、判断所述藏文拼写形式文法G _i的产生式规则的有限集合P _i中是否包含产生式规则S _i→λ；

S14、如果是，获取值为S _i和E _i的F _i；

S15、如果不是，获取值为E _i的F _i；

S16、根据所述Σ _i、V _i、S _i、F _i，获取所述有限状态自动机M _i；

所述S _i为所述藏文拼写形式文法G _i的起始符，所述S _i∈V _i；所述λ为空字符；

所述有限状态自动机M _i的初始状态q _i与所述藏文拼写形式文法G _i的起始符S _i等价；所述V _i为非终结符的有限集合。

2.根据权利要求1所述的基于自动机的藏文拼写检查方法，其特征在于，在所述S30之后，还包括：

S40、判断是否全部检查完所述待检查藏文文本；如果未全部检查完，将所述待检查藏文文本的未检查部分继续执行所述S20。

3.根据权利要求1所述的基于自动机的藏文拼写检查方法，其特征在于，所述S10包括：

按照藏文字分符、垂形符、双垂符和空格符将所述待检查藏文文本以字为单位进行切分，得到至少一个藏文字。

4.根据权利要求1所述的基于自动机的藏文拼写检查方法，其特征在于，所述S11，包括：

S111、获取终结符的有限集合Σ _i，所述Σ _i是集合L的子集，所述集合L包括30个藏文辅音字母、5个反写字母、4个元音符号和1个长元音符号；

S112、获取非终结符的有限集合V _i；

S113、获取起始符S _i，所述S _i∈V _i；

S114、获取产生式规则的有限集合P _i；

S115、根据所述Σ _i、V _i、S _i和P _i获取对应的藏文拼写形式文法G _i。

5.根据权利要求4所述的基于自动机的藏文拼写检查方法，其特征在于，所述S114，包括：

S1141、获取预设的藏文拼写文法形式化描述体系；

S1142、根据所述藏文拼写文法形式化描述体系，获取所述产生式规则的有限集合P _i。

6.根据权利要求1至5中任意一项所述的基于自动机的藏文拼写检查方法，其特征在于，所述S30包括：

S301、有限状态自动机群组中的每一个有限状态自动机从初始状态开始，依次接收所述至少一个藏文字，并转移状态；

S302、如果有限状态自动机群组中的某一个有限状态自动机在转移状态后能够进入终止状态，则待检查藏文文本的拼写正确；

S303、如果有限状态自动机群组中的所有有限状态自动机在转移状态后都不能进入终止状态，则待检查藏文文本的拼写错误。

7.一种基于自动机的藏文拼写检查装置，其特征在于，包括：

所述基于自动机的藏文拼写检查装置还用于：

获取所述藏文拼写形式文法G _i，所述G _i=（Σ _i，V _i，S _i，P _i）；

获取所述有限状态自动机M _i的终止状态标识E _i；

判断所述藏文拼写形式文法G _i的产生式规则的有限集合P _i中是否包含产生式规则S _i→λ；

如果是，获取值为S _i和E _i的F _i；

如果不是，获取值为E _i的F _i；

根据所述Σ _i、V _i、S _i、F _i，获取所述有限状态自动机M _i；