基于自動機的藏文拼寫檢查方法和裝置的制造方法
【專利摘要】本發(fā)明公開了一種基于自動機的藏文拼寫檢查方法和裝置，涉及自然語言處理領域。為解決現(xiàn)有技術由于適應面較狹窄，導致無法識別一些特殊結構的藏文字的問題而發(fā)明。本發(fā)明實施例提供的技術方案包括：S10、將待檢查藏文文本以字為單位進行切分，得到至少一個藏文字；S20、將所述至少一個藏文字作為預設有限狀態(tài)自動機群組的輸入；S30、通過所述有限狀態(tài)自動機群組判斷所述待檢查藏文文本是否拼寫正確。
【專利說明】
基于自動機的藏文拼寫檢查方法和裝置
技術領域
[0001 ]本發(fā)明涉及自然語言處理領域，尤其涉及一種基于自動機的藏文拼寫檢查方法和 裝置。
【背景技術】
[0002] 在自然語言處理技術、大數(shù)據(jù)處理技術和一些文字處理軟件中，為了解決使用者 在撰寫過程中所產生的錯別字問題，通常都具有拼寫檢查功能，以提供用戶在撰寫時候的 錯別字檢查。
[0003] 現(xiàn)有技術中，應用在藏文領域的拼寫檢查方法主要是建立藏文字規(guī)則對應的模 型，通過該模型進行藏文拼寫檢查。
[0004] 然而，通過模型進行拼寫檢查時，由于模型的適應面較窄，導致無法識別一些特殊 結構的藏文字。

【發(fā)明內容】

[0005] 本發(fā)明提供一種基于自動機的藏文字拼寫檢查方法和裝置，能夠擴寬拼寫檢查的 適應面，提高藏文字的識別率。
[0006] -方面，提供一種基于自動機的藏文字拼寫檢查方法，包括:S10、將待檢查藏文文 本以字為單位進行切分，得到至少一個藏文字;S20、將所述至少一個藏文字作為預設有限 狀態(tài)自動機群組的輸入;S30、通過所述有限狀態(tài)自動機群組判斷所述待檢查藏文文本是否 拼寫正確;所述有限狀態(tài)自動機群組包括37個有限狀態(tài)自動機，其中任一有限狀態(tài)自動機 Μ, = ( Σ ,，Q,，δ,，qi，F(xiàn),);所述Σ ,為預設藏文拼寫形式文法6,的終結符的有限集合;所述&為 所述藏文拼寫形式文法61的非終結符的有限集合￥ 1與所述并集;所述δ,是根據(jù)(^與工， 之直積Qi X Σ jljQi的映射獲取的所述有限狀態(tài)自動機Mi的狀態(tài)轉移函數(shù);所述qi為所述有 限狀態(tài)自動機Mi的初始狀態(tài)，所述 qi e Qi;所述Fi為所述有限狀態(tài)自動機Mi的終止狀態(tài)的有 限集合，所述E G辦所述i為正整數(shù)，所述i < 37。
[0007] 另一方面，提供一種基于自動機的藏文字拼寫檢查裝置，包括：
[0008] 用于將待檢查藏文文本以字為單位進行切分，得到至少一個藏文字的切分模塊；
[0009] 用于將所述至少一個藏文字作為預設有限狀態(tài)自動機群組的輸入的輸入模塊； [0010]用于通過所述有限狀態(tài)自動機群組判斷所述待檢查藏文文本是否拼寫正確的拼 寫檢查模塊；
[0011]所述有限狀態(tài)自動機群組包括37個有限狀態(tài)自動機，其中任一有限狀態(tài)自動機Mi =(Σ ,，Q,，δ,，qi，&);所述Σ ,為預設藏文拼寫形式文法^的終結符的有限集合;所述&為所 述藏文拼寫形式文法Gi的非終結符的有限集合￥1與所述并集;所述δ,是根據(jù)(^與工之 直積Qi X Σ jljQi的映射獲取的所述有限狀態(tài)自動機Mi的狀態(tài)轉移函數(shù);所述qi為所述有限 狀態(tài)自動機Mi的初始狀態(tài)，所述qi e Qi;所述Fi為所述有限狀態(tài)自動機Mi的終止狀態(tài)的有限 集合，所述F,所述i為正整數(shù)，所述i < 37。
[0012] 本發(fā)明具有如下有益效果:通過將待檢查藏文文本作為有限狀態(tài)自動機群組的輸 入，從而實現(xiàn)藏文拼寫檢查。由于有限狀態(tài)自動機群組與藏文拼寫形式文法對應，因此本發(fā) 明實施例提供的技術方案能夠解決現(xiàn)有技術中通過模型進行拼寫檢查時，由于模型的適應 面較窄，導致無法識別一些特殊結構的藏文字的問題。
【附圖說明】
[0013] 圖1為本發(fā)明實施例1提供的基于自動機的藏文拼寫檢查方法的流程圖；
[0014] 圖2為本發(fā)明實施例2提供的基于自動機的藏文拼寫檢查方法的流程圖；
[0015] 圖3為本發(fā)明實施例3提供的基于自動機的藏文拼寫檢查方法的流程圖；
[0016] 圖4為本發(fā)明實施例4提供的基于自動機的藏文拼寫檢查裝置的結構示意圖。
【具體實施方式】
[0017] 下面結合附圖和實施例對本發(fā)明進一步說明。但這些例舉性實施方式的用途和目 的僅用來例舉本發(fā)明，并非對本發(fā)明的實際保護范圍構成任何形式的任何限定，更非將本 發(fā)明的保護范圍局限于此。
[0018] 實施例1
[0019] 如圖1所示，本發(fā)明實施例提供一種基于自動機的藏文拼寫檢查方法，包括：
[0020] 步驟101，將待檢查藏文文本以字為單位進行切分，得到至少一個藏文字。
[0021 ]在本實施例中，步驟101可以按照藏文字分符、垂形符、雙垂符和空格符將待檢查 藏文文本以字為單位進行切分，得到至少一個藏文字。其中，待檢查藏文文本可以僅包含一 個藏文字，也可以包含多個藏文字，在此不做限制。
[0022] 步驟102,將至少一個藏文字作為預設有限狀態(tài)自動機群組的輸入。
[0023] 在本實施例中，有限狀態(tài)自動機群組包括37個有限狀態(tài)自動機，其中任一有限狀 態(tài)自動機姐=(21及』 1沖^1);所述21為預設藏文拼寫形式文法61的終結符的有限集合； 所述&為所述藏文拼寫形式文法Gi的非終結符的有限集合1與所述巧的并集;所述δ,是根據(jù) 〇1與Σ i之直積Qi X Σ jljQi的映射獲取的所述有限狀態(tài)自動機姐的狀態(tài)轉移函數(shù);所述qi為 所述有限狀態(tài)自動機Mi的初始狀態(tài)，所述qi e Qi;所述Fi為所述有限狀態(tài)自動機Mi的終止狀 態(tài)的有限集合，所述F/SG;所述i為正整數(shù)，所述i<37。
[0024] 在本實施例中，預設37種藏文拼寫形式文法，每種藏文拼寫形式文法對應一種有 限狀態(tài)自動機;將至少一個藏文字依次作為每個有限狀態(tài)自動機的輸入。藏文拼寫形式文 法6 1的終結符的有限集合是由30個藏文輔音字母、5個反寫字母、4個元音符號和1個長元音 符號構成的集合L的子集，是在語言的句子(屬于某種結構的藏文字）中實際出現(xiàn)的字符(符 號）；藏文拼寫形式文法Gi的非終結符集合包括在語言的句子中不實際出現(xiàn)，但在推導中起 著變量作用，相當于語言中的語法范疇的詞語。非終結符例如可以為漢語的語序主謂賓、藏 語的語序主賓謂等語法的變量，但不會在具體的句子中出現(xiàn)，它是"隱形"的，起作用，但看 不見。
[0025] 終結符的有限集合和非終結符的有限集合中的元素與具體的藏文拼寫形式文法 對應。有限狀態(tài)自動Mi的初始狀態(tài)就是自動機剛開始工作時所處的狀態(tài)，這個狀態(tài)也就是 自動機最初接收輸入字符的狀態(tài);終止狀態(tài)就是指自動機的最終狀態(tài)。具體的，有限狀態(tài)自 動機群組中的自動機可以為確定型，也可以為非確定型;為便于理解和提高實現(xiàn)效率，本實 施例提供的自動機均以確定型為例進行說明。
[0026]步驟103,通過有限狀態(tài)自動機群組判斷待檢查藏文文本是否拼寫正確。
[0027]在本實施例中，通過步驟103判斷待檢查藏文文本是否拼寫正確的過程可以包括： 有限狀態(tài)自動機群組中的每一個有限狀態(tài)自動機從初始狀態(tài)開始，依次接收至少一個藏文 字，并轉移狀態(tài);如果有限狀態(tài)自動機群組中的某一個有限狀態(tài)自動機在轉移狀態(tài)后能夠 進入終止狀態(tài)，則待檢查藏文文本的拼寫正確；如果有限狀態(tài)自動機群組中所有有限狀態(tài) 自動機轉移狀態(tài)后都不能進入終止狀態(tài)，則待檢查藏文文本的拼寫錯誤。
[0028]轉移狀態(tài)，例如可以為:有限狀態(tài)自動機姐在某個狀態(tài)，如qdc^eQi)，接收某個輸 入字符，如x(xe Σ?)，如果狀態(tài)轉移函數(shù)Sm(qm，x)eSi，則自動機進入狀態(tài)q m+1(qm+1e (qm， x))，否則自動機狀態(tài)不發(fā)生變化。
[0029] 本發(fā)明具有如下有益效果:通過將待檢查藏文文本作為有限狀態(tài)自動機群組的輸 入，從而實現(xiàn)藏文拼寫檢查。由于有限狀態(tài)自動機群組與藏文拼寫形式文法對應，因此本發(fā) 明實施例提供的技術方案能夠解決現(xiàn)有技術中通過模型進行拼寫檢查時，由于模型的適應 面較窄，導致無法識別一些特殊結構的藏文字的問題。
[0030] 實施例2
[0031] 如圖2所示，本發(fā)明實施例提供一種基于自動機的藏文拼寫檢查方法，該方法與圖 1所示的相似，區(qū)別在于，為了完成對整個藏文文本的拼寫檢查，本實施例提供的藏文拼寫 檢查方法，還包括：
[0032] 步驟104,判斷是否全部檢查完待檢查藏文文本。
[0033] 在本實施例中，當通過步驟104確定已全部檢查完待檢查藏文文本時，本次藏文拼 寫檢查結束；當通過步驟104確定未全部檢查完待檢查藏文文本時，將待檢查藏文文本的未 檢查部分繼續(xù)執(zhí)行步驟102直至全部檢查完。
[0034] 本發(fā)明具有如下有益效果:通過將待檢查藏文文本作為有限狀態(tài)自動機群組的輸 入，從而實現(xiàn)藏文拼寫檢查。由于有限狀態(tài)自動機群組與藏文拼寫形式文法對應，因此本發(fā) 明實施例提供的技術方案能夠解決現(xiàn)有技術中通過模型進行拼寫檢查時，由于模型的適應 面較窄，導致無法識別一些特殊結構的藏文字的問題。
[0035] 實施例3
[0036] 如圖3所示，本發(fā)明實施例提供一種基于自動機的藏文拼寫檢查方法，包括：
[0037] 步驟301，將待檢查藏文文本以字為單位進行切分，得到至少一個藏文字。該過程 與圖1所示的步驟101相似，在此不再一一贅述。
[0038]步驟302,獲取藏文拼寫形式文法Gi。
[0039] 在本實施例中，步驟302中藏文拼寫形式文法Gi = (Ti，Vi，Si，Pi)。通過步驟302獲取 該藏文拼寫形式文法的過程包括:獲取終結符的有限集合!^，所述是集合L的子集，所述集 合L包括30個藏文輔音字母、5個反寫字母、4個元音符號和1個長元音符號;獲取非終結符的 有限集合Vi;獲取起始符號Si，所述Si e Vi;獲取產生式規(guī)則的有限集合Pi;根據(jù)所述Ti、Vi、Si 和Pi獲取對應的藏文拼寫形式文法Gi。其中，獲取產生式規(guī)則的有限集合Pi的過程可以包 括:首先獲取預設的藏文拼寫文法形式化描述體系;然后根據(jù)所述藏文拼寫文法形式化描 述體系，獲取所述產生式規(guī)則的有限集合Pi。
[0040]在本實施例中，預設的藏文拼寫文法形式化描述體系可以根據(jù)集合論的方法建 立，具體形式如下：
[0041 ] 藏文拼寫文法1 :集合R〇〇t= {bl，b2，b3，b4，b5，···上3。々31々31，匕31々34々35}的元素分 別對應30個藏文輔音字母和5個藏文反寫字母，則對于任意bi e Root對應的藏文字符可構 成藏文字的基字。
[0042] 藏文拼寫文法2:對于集合Pref ix= {b3，bii，bi5，bi6，b23}，尸c /?00/，則任意bi ePrefix，（ j = 3，11，15，16，23)對應的藏文字符可構成藏文字的前加字。
[0043] 藏文拼寫文法3:對于集合51^；1^叉={^3，匕4，1311，1312，1315，1316，匕23，匕25，匕26，匕28}， Sw///.T C： /??〇?，則任意bi e Suff ix，（ j = 3，4，11，12，15，16，23，25，26，28)對應的藏文字符 可構成藏文字的后加字。
[0044] 藏文拼寫文法4:對于集合Postfix={bn，b28}，八叫//-丫則任意bi e Postfix，（ j = 11，28)對應的藏文字符可構成藏文字的再后加字。
[0045] 藏文拼寫文法5:對于集合Superf ix= {b25，b26，b28}，c 則任意bi e Superf ix，（ j = 25，26，28)對應的藏文字符可構成藏文字的上加字。
[0046] 藏文拼寫文法6:對于集合5油；1^={^2()，匕24，匕25々26}，如/?/&匚人 3?〇/，則任意1^￡ Subf ix，（ j = 20，24，25，26)對應的藏文字符可構成藏文字的下加字。
[0047] 藏文拼寫文法7:對于集合Vowel = Voweli{a}，Voweli= {i，u，e，o}對應4個藏文元 音字符，a代表藏文長元音字符。bj e Root，（ j = 1，23，5，7，…，33，34，35)對應的藏文基字可 與ve Vowel對應的元音字符拼寫，u和a只能寫在輔音下方，其余3個元音字符只能寫在輔音 上方。
[0048] 藏文拼寫文法 8:1^￡1?0帥，（]_ = 1，3,4,5,7,8,9，11，12，13，15，16，17，19,29)對應 的藏文基字與bi e Superf ix，（ i = 25，26，28)對應的上加字拼寫時，須滿足如下文法規(guī)則：
[0049] 1上」￡1?0帥，（」=1，3,4,7,8,9，11，12，15，16，17，19)只能與匕25￡5即6吋1叉拼寫。
[0050] 2上」￡1?0帥，（」=1，3,4,5,7,9，11，13，15,29)只能與匕26￡5即6吋1叉拼寫。
[0051 ] 3上」￡1?0帥，（」=1，3,4,8,9，11，12，13，15，16，17)只能與匕28巳5即6吋1叉拼寫。
[0052] 藏文拼寫文法9:bjeR〇〇t，
[0053] (j = 1,2,3,8,9,10,11,13,14,15,16,18,21，22,25,26,27,28,29)對應的藏文基 字與bie Subfix，（i = 20，24，25，26)對應的下加字拼寫時，須滿足如下文法規(guī)則：
[0054] 1 .bjGR〇〇t，（j = l，2,3,8,11,18,21,22,25,26,27,29)只能與b2〇eSubfix拼寫。
[0055] 2.b」GR〇〇t，（j = l ,2,3,13,14,15,16)只能與b24^Subfix拼寫。
[0056] 3.bjGR〇〇t，（j = 1,2,3,9,10,11，13,14,15,16,28,29)只能與 b25e Subfix 拼寫。
[0057] 4-bjGR0〇t，（j = l ,3,15,22,25,28)只能與b26e Subfix拼寫。
[0058] 5.bjGRoot，（j = 29)只能與bi4G Subfix拼寫。
[0059] (說明：為了拼寫其他語言中的[f]音，現(xiàn)代藏文中出現(xiàn)了 b29與b14拼寫的形式。按 照傳統(tǒng)藏文拼寫文法，b29不能作為上加字，b 14也不能作為下加字，因此，作為一種特殊的情 況，b29與bi4拼寫時，我們將bi4作為"下加字"看待。）
[0060] 藏文拼寫文法10:匕￡1?〇的，（丨=1，3，12，13，15，16，17)對應的藏文基字同時與匕 ￡3卯6"丨1，〇 = 25,28)對應的上加字和&1^3仙^1，（1^ = 20,24,25)對應的下加字拼寫 時，須滿足如下文法規(guī)則：
[0061 ] 1. bi E Root與b25 E Superfix拼寫時，可同時與b24E Subfix拼寫；與b28E Superfix 拼寫時，可同時與bkESubfix，（k = 24,25)拼寫。
[0062] 2 .b3[ Root與b25[ Superfix拼寫時，可同時與b24[ Subfix拼寫；與b28[ Superfix 拼寫時，可同時與bkESubfix，（k = 24,25)拼寫。
[0063] 3.bi2[Root與b28[ Superfix拼寫時，可同時與b25[ Subfix拼寫。
[0064] 4.1313 61?〇(^與匕28 6 3叩6『打1拼寫時，可同時與匕1^3油：[^，（1^ = 24,25)拼寫。
[0065] 5.1315 61?〇(^與匕28 6 3叩6『打1拼寫時，可同時與匕1^3油：[^，（1^ = 24,25)拼寫。
[0066] 6. bi6E Root 與 b25E Superfix 拼寫時，可同時與 b24E Subfix 拼寫；與 b28E Superfix 拼寫時，可同時與bkESubfix，（k = 24,25)拼寫。
[0067] 7 .bi7[ Root與b25[ Superfix拼寫時，可同時與b20e Subfix拼寫。
[0068] 藏文拼寫文法11:匕61?0(^，（1 = 1，3,4,7,8,9，11，12，17，19)對應的藏文基字同 時與b15eprefix對應的前加字和Superfix，（ j = 25,26,28)對應的上加字拼寫時，須滿 足如下文法規(guī)則：
[0069] 1.匕61?0(^，（1 = 1，3,4,7,8,9，11，12，17，19)可與匕25 6 5即6過11拼寫。
[0070] 2.biERoot，（i = 9，11)可與b26E Superf ix拼寫。
[0071 ] 3.biERoot，（i = l，3,4,8,9，ll，12,17)可與b28^ Superf ix拼寫。
[0072] 藏文拼寫文法 12:bieR〇〇t，（i = l，2,3，ll，13，14，15，16,22,25,28)對應的藏文 基字同時與比6?代^1，（」_ = 11，15，16,23)對應的前加字和匕1^6 51*^1，仏=20,24,25,26) 對應的下加字拼寫時，須滿足如下文法規(guī)則：
[0073] 1 .biERoot，（i = l，3，13，15,16)可與biiEPref ix和b24^ Subf ix拼寫。
[0074] 2.biERoot，（i = 1，3，13，15)可與biiEPref ix和b25e Subf ix拼寫。
[0075] 3 · bi e Root，（ i = 1，3)可與bis e Pref ix和b24e Subf ix拼寫。
[0076] 4.1^曰1?〇〇七，（1 = 1，3,28)可與1315曰？代：[11和匕25曰3油：[11拼寫。
[0077] 5.biERoot，（i = l，22,25,28)可與bis^Prefix和b26ESubfix拼寫。
[0078] 6.biERoot，（i = 2,3)可與bi6EPrefix和bkE Subfix，（k = 24,25)拼寫。
[0079] 7 .biERoot，（i = 2，3，14，15)可與b23EPref ix和b24^ Subf ix拼寫。
[0080] 8.biERoot，（i = 2,3，ll，14,15)可與b23EPref ix和b25e Subf ix拼寫。
[0081] 藏文拼寫文法13:匕^1?0(^，（1 = 1，3)對應的藏文基字與1315^?代^1對應的前加 字和Superfix，（i = 25,28)對應的上加字及bkE Subfix，（i = 24,25)對應的下加字拼寫 時，須滿足如下文法規(guī)則：
[0082] 1 .biERoot，（i = 1，3)可與bisEPref ix和b25e Superf ix及b24[ Subfix拼寫。
[0083] 2.biERoot，（i = 1，3)可與bisEPref ix和b28E Superf ix及b2# Subfix拼寫。
[0084] 3.biERoot，（i = 1，3)可與bisEPref ix和b28E Superf ix及b24E Subfix拼寫。
[0085] 藏文拼寫文法14 :biE Root，
[0086] (i=l，2,3,4,5,6,7,8,9，10，ll，12，13，14，15，16，17，18，19,21，22,24,27,28)對 應的藏文基字與13」^?^€以，〇 = 3，11，15，16,23)對應的前加字拼寫時，須同時與乂^ Vowel，Vowel = {i，u，e，〇}對應的元音符號，或與bkE Suffix，（k = 3,4，ll，12，15，16,23， 25,26,28)對應的一個后加字拼寫，并滿足如下文法規(guī)則：
[0087] 1.匕￡1?0帥，（1 = 5,8,9，11，12，17,21，22,24,27,28)僅能與匕3巳？代行叉拼寫。
[0088] 2.biGRoot，（i = l ,3,4,13,15,16)僅能與biiGPrefix拼寫。
[0089] 3.匕￡1?0帥，（1 = 1，3,5,9，11，17,21，22,27,28)僅能與1315巳？代行叉拼寫。
[0090] 4.biGR0〇t，（i = 2,3,4,6,7,8,10,11，12,18,19)僅能與bi6eprefix拼寫。
[0091] 5.匕￡1?〇帥，（1 = 2,3,6,7，10，11，14，15，18，19)僅能與匕23￡?代行叉拼寫。
[0092] 藏文拼寫文法15:bjeR〇〇t，
[0093] (j = 1,2,3,4,5,6,7,8,9,10, ...,21,22,23,24,25,26,27,28,29,30)對應的藏文 基字可以與任意匕￡3證打1，（丨=3,4，11，12，15，16,23,25,26,28)對應的后加字拼寫。 [0094]藏文拼寫文法16:藏文再后加字的使用只與后加字有關。bieSuffix，（i = 3,4， 12，15，16，25，26)對應的藏文后加字可與bj e Postfix，（ j = 11，28)對應的再后加字拼寫， 并有如下文法規(guī)則：
[0095] 1 .biiePostfix僅能與bie Suffix，（i = 12，25，26)拼寫。
[0096] 2.b28ep〇stfix僅能與biGSuffix，（i = 3,4,15,16)拼寫。
[0097]藏文拼寫文法17:bieR〇〇t，（i = 3,11，14)對應的藏文基字與bjeSubfix，（ j = 24, 25)對應的藏文下加字拼寫時，可同時與b2Qe Subfix對應的藏文下加字拼寫。具體規(guī)則如 下：
[0098] 1 · bi e Root，（ i = 3，11)與b25 e Subfix拼寫時，可同時與b2〇 e Subfix拼寫。
[0099] 2 ·bi4eRoot與b24^ Subfix拼寫時，可同時與b2〇e Subfix拼寫。
[0?00] 藏文拼寫文法18: b29e Root對應的藏文輔音字母可與bi4e Root對應的藏文輔音 字母拼寫，且bi4 e Root位于b29 e Root對應的下方。
[0101] 藏文拼寫文法19:b29eR〇〇t對應的藏文輔音字母對應的藏文輔音字 母拼寫時，可同時與bie Suffix，（i = 3，4,11，12,15,16,23，25,26,28)對應的藏文后加字 拼與。
[0102] 藏文拼寫文法20:無后加字的藏文字可以與b23eR〇〇t對應的藏文輔音字母拼寫， 此時b23eRoot對應的藏文輔音字母須與ve Vowel，Vowel = {i，u，e，o}對應的元音符號（i， e，u，o)拼寫。
[0103] 藏文拼寫文法21:除了文法17，18，19和20的特殊拼寫之外，藏文字按照前加字、上 加字、基字、下加字、元音符號、后加字以及再后加字的順序拼寫。
[0104] 在本實施例中，Ti為所述藏文拼寫形式文法Gi的終結符的有限集合;所述Si為所述 藏文拼寫形式文法Gi的起始符，所述Si e Vi;所述λ為空字符;有限狀態(tài)自動機Mi的輸入字符 的有限集合Σ i與所述藏文拼寫形式文法Gi的終結符的有限集合Ti等價;所述有限狀態(tài)自動 機Mi的初始狀態(tài)qi與所述藏文拼寫形式文法Gi的起始符Si等價。其中，Si代表文法Gi產生的 語言UG0中任何一個可能的句子(在我們的應用里就是一個藏文字），因而&是一個特殊的 非終結符。
[0105] 具體的，該37種藏文拼寫形式文法的具體形式如下：
[0106]藏文拼寫形式文法G1:藏文基字與元音符號拼寫形式文法Gi是一個四元組(Thh， SiPi)，其中：
[0107] (1)終結符
[0108] Ti = TbUT。，其中：
[0109] Tb= {bi，b2，b3，b4，b5,…，b35}，其元素對應藏文輔音字符;T〇= {i，u，e，o，a}，其元 素對應藏文元音字符；
[0110] (2)非終結符集合
[0111] Vi={Si,Bi;i,Bi;2};
[0112] "^:為化中的一個非終結符，且為起始符號；
[0113] (4)文法G!的產生式集合Pi={
[0114] S"bi | b2 I b3 I b4 I bs I …| b30 | b31 | b32 | b33 | b34 | b35，
[0115] Si^biBi.i | b2Bi,i I b3B1.1l b4B1.1l bsBi.i I ··· I b3〇Bi,i,
[01 16] Sl-b3lBl，2 | b32Bl，2 | b33Bl，2 | b34Bl，2 | b35Bl,2，
[0117] Bi，i-i | u | e | o | a，
[0118] Bi,2^i | u | e | 0}
[0119] 對藏文拼寫結構2有：
[0120] 藏文拼寫形式文法G2:藏文上加字、基字及元音拼寫形式文法G2是一個四元組(T2， ￥2,3 2，卩2)，其中：
[0121] (1)終結符
[0122] t2 = TbUT。，其中：
[0123] Tb= {bi，b3，b4，b5，b7，b8，b9，bii，bi2，bi3，bi5，bi6，bi7，bi9，b25，b26，b28，b29}，其兀素對 應藏文輔音字符;Τ〇= {i，u，e，ο}，其元素對應藏文元音字符；
[0124] (2)非終結符集合
[0125] 72=(82,62,1,62,2,62,3,62,415
[0126] (3) S2*V2中的一個非終結符，且為起始符號；
[0127] (4)文法G2的產生式集合P2={
[01 28] S2-b25B2，l | b26B2,2 | b28B2,3，
[0129] B2, "bi I b31 b41 b7 I b8 I bg I bii I bi21 bi51 bi6 I bi7 I bi9，
[0130] B2, l - blB2,4 | b3B2,4 | b4B2,4 | b7B2,4 | b8B2,4 | bgB2,4 | bllB2,4 | bl2B2,4 | bl5B2,4 | bl6B2,4 I bnB2,4 I bigB2,4，
[0131 ] B2,2-bi | b31 b41 b51 b7 I bg I bii | bi31 bi51 b29，
[0132] B2,2^blB2,4| b3B2,4 | b4B2,4 I b5B2,4| b7B2,4 I bgB2,4 I bllB2,4 I bl3B2,4| bl5B2,4 I b29B2,4,
[0133] B2,3-bi | b31 b41 b81 bg I bn | bi21 bi31 bi51 bi6 I bi7，
[0134] B2,3^blB2,4 | b3B2,4 | b4B2,4 I b8B2,4 I bgB2,4 I bllB2,4 I bl2B2,4 I bl3B2,4 I bl5B2,4 I bl6B2,4 I bnB2,4，
[0135] B2,4^i | u | e | 0}
[0136] 對藏文拼寫結構3有：
[0137] 藏文拼寫形式文法G3:藏文基字、下加字及元音符號拼寫形式文法G3是一個四元組 (1' 3，￥3,33，卩3)，其中：
[0138] (1)終結符
[0139] T3 = TbUT。，其中：
[0140] Tb= {bl,b2,b3,b8,b9,bl0,bll,bl3,bl4,bl5,bl6,bl8,b20,b21,b22,b24,b25,b26,b27,b28, b29}，其元素對應藏文輔音字符;T。= {i，u，e，ο}，其元素對應藏文元音字符；（2)非終結符集 合
[0141 ] V3= {S3 ,Β3,1 ,Β3,2 ,Β3,3 ,Β3,4,Β3,5 ,Β3,6,Β3,7,Β3,8,Β3,9,Β3,1〇}；
[0142] (3)&為V3中的一個非終結符，且為起始符號；
[0143] (4)文法G3的產生式集合Ρ3={
[0144] S3^biB3,i I bsB3,i?
[0145] S3-b2B3,2，
[0146] S3-bllB3,3 | b29B3,3，
[0147] S3-b8B3,4 | bl8B3,4| b2lB3,4 | b26B3,4 | b27B3,4，
[0148] S3^b9B3,51 bioB3,5?
[0149] S3-bl3B3,6 | bl4B3,6 | bl6B3,6，
[0150] S3-b22B3,7 | b25B3,7，
[0151 ] S3-b28B3,8，
[0152] S3-bisB3,9，
[0153] B3，l-b20 | b24! b25 | b26，
[0154] B3，l-b2〇B3，10 | b24B3，10 | b25B3，10 | b26B3，10，
[0155] B3,2-b2Q | b24! b25，
[0156] B3,2-b2〇B3，10 | b24B3，10 | b25B3，10，
[0157] B3,3^b2〇 I b25?
[0158] B3,3-b2〇B3，10 | b25B3，10，
[0159] B3,4-b2〇，
[0160] B3,4-b2〇B3，io，
[0161 ] B3,5^b25 ?
[0162] B3,5^b25B3,io?
[0163] B3,6^b24| b25?
[0164] B3,6-b24B3，lQ | b25B3，10，
[0165] B3,7^b2〇 I b26?
[0166] B3,7-b2〇B3，10 | b26B3，10，
[0167] B3,8^b25 | b26?
[0168] B3,8-b25B3，10 | b26B3，10，
[0169] B3,9-b24 | b25 | b26，
[0170] B3,9-b24B3，10 | b25B3，10 | b26B3，10，
[0171 ] B3,i〇^i I u | e | 〇}
[0172] 對藏文拼寫結構4有：
[0173] 藏文拼寫形式文法G4:上加字、藏文基字、下加字及元音符號拼寫形式文法G4是一 個四元組(14，￥4,34，卩4)，其中：
[0174] (1)終結符
[0175] T4 = TbU T。，其中Tb= {bi，b3，bi2，bi3，bi5，bi6，bi7，b20，b24，b25，b28}，其元素對應藏文 輔音字符;T。= {i，u，e，0}，其元素對應藏文元音字符；
[0176] (2)非終結符集合
[0177] V4= {S4 ,B4,1 jB4,2 ,Β4,3 ,Β4,4 ,Β4,5 ,Β4,6 ,Β4,7}；
[0178] (3)S4為V4中的一個非終結符，且為起始符號；
[0179] (4)文法G4的產生式集合P4={
[0180] S4^b25B4,i?
[0181 ] S4^b28B4,2 ?
[0182] B4，l-blB4,3 I b3B4,3 I bl6B4,3，
[0183] B4, i-bi7B4,4，
[01 84] B4,2^blB4,5 | b3B4,5 | bl3B4,5 | bl5B4,5 | bl6B4,5 ?
[0185] B4,2-bi2B4,6，
[0186] B4,3-b24，
[01 87] B4, 3-b24B4,7，
[0188] B4,4-b2〇，
[0189] B4,4-b2〇B4,7，
[01 90] B4, 5-b24 | b25，
[0191 ] B4, 5^b24B4,7 | b25B4,7 ?
[0192] B4,6^b25 ?
[0193] B4,6-b25B4,7，
[0194] B4,7-i I u | e | 0}
[0195] 對藏文拼寫結構5有：
[0196] 藏文拼寫形式文法G5:藏文前加字、上加字、基字及元音符號拼寫形式文法G5是一 個四元組
[0197] (1)終結符
[0198] T5 = TbUT?，其中：
[0199] 1^= {bi，b3，b4，b7，b8，b9，bii，bi2，bi5，bi7，bi9，b25，b26，b28}，其兀素對應藏文$1[音字 符;^^{^，^(^，其元素對應藏文元音字符；
[0200] (2)非終結符集合
[0201] V5={S5，B5，i，B5,2，B5, 3，B5,4，B5,5};
[0202] (3)&為V5中的一個非終結符，且為起始符號；
[0203] (4)文法G5產生式集合P5 = {
[0204] Ss^bisBs,!?
[0205] B5,i^b28B5,2?
[0206] B5,i^b26B5,3?
[0207] B5, i-b25B5,4，
[0208] B5,2-bi | b31 b41 bs I b9 I bn | bi21 bi7，
[0209] B5,2^blB5,5 | b3B5,5 | b4B5,5 | b8B5,5 | b9B5,5 | bllB5,5 | bl2B5,5 | bl7B5,5 ?
[0210] Bs，3-b9| bii，
[0211 ] B5,3-b9B5,51 biiBs，5，
[0212] B5,4-bi | b31 b41 b7 I bs I b9 I bn | bi21 bi7 I bi9，
[0213] B5,4^blB5,5 | b3B5,5 | b4B5,5 | b7B5,5 | b8B5,5 | b9B5,5 | bllB5,5 | bl2B5,5 | bl7B5,5 | bl9B5,5 ?
[0214] Βδ,δ^? I u I e I 〇}
[0215] 對藏文拼寫結構6有：
[0216] 藏文拼寫形式文法G6:藏文前加字、基字、下加字及元音符號拼寫形式文法G6是一 個四元組(1' 6，￥6,56，卩6)，其中：
[0217] ⑴終結符
[0218] T6 = TbUT?，其中：
[0219] Tb= {bl，b2，b3，bll，bl3，bl4，bl5，bl6，b22，b23，b24，b25，b26，b28}，其兀素對應藏文輔音 字符;T。= {i，u，e，〇}，其元素對應藏文元音字符；
[0220] (2)非終結符集合
[0221 ] V6= {S6,B6,1jB6,2 ,Β6,3 ,Β6,4,Β6,5 ,Β6,6,Β6,7,Β6,8,Β6,9,Β6,1〇?Β6,1?}；
[0222] (3)S6為V6中的一個非終結符，且為起始符號；
[0223] (4)文法G6的產生式集合Ρ6={
[0224] S6-bllB6，l | bl5B6,2 | bl6B6,3 | b23B6,4，
[0225] B6, i-bi6B6,5，
[0226] B6，l-blB6,9| b3B6,9| bl3B6,9| bisB6,9，
[0227] B6,2-biB6,6，
[0228] B6,2-b22B6,7 | b25B6,7，
[0229] B6,2-b28B6,8，
[0230] B6,2-b3B6,9，
[0231 ] B6,3-b2B6,9| b3B6,9，
[0232] B6,4-b2B6,9| b3B6,9| bl4B6,9| bl5B6,9，
[0233] B6,4-biiB6, io，
[0234] B6,5^b24?
[0235] B6,5^b24B6,n ?
[0236] B6,6^b24 I b25 I b26?
[0237] Βθ, 6^b24B6,11 I b25B6,11 I b26B6,11 ?
[0238] B6,7-b26，
[0239] B6,7-b26B6, li，
[0240] B6, 8-b25 I b26，
[0241 ] B6,8-b25B6，ll | b26B6，ll，
[0242] B6,9^b24| b25?
[0243] B6,9-b24B6，ii I b25B6，ii，
[0244] B6,io^b25?
[0245] B6,io^b25B6,n?
[0246] Βθ,ιι^? | u | e | 〇}
[0247] 對藏文拼寫結構7有：
[0248] 藏文拼寫形式文法G7:藏文前加字、上加字、基字、下加字及元音符號拼寫形式文 法G7是一個四元組(了7^7,37，？7)，其中：
[0249] (1)終結符
[0250] T7 = TbUT?，其中：
[0251] 1^={131，133，1315，13 24，1325，1328}，其元素對應藏文輔音字符;1'。={1，11，6, 〇}，其元素對 應藏文元音字符；
[0252] (2)非終結符集合
[0253] V7= {S7，B7,1，B7,2，B7,3，B7,4，B7,5，B7,6};
[0254] (3)S7為V7中的一個非終結符，且為起始符號；
[0255] (4)文法G7的產生式集合P7={
[0256] S7^bi5B7,i?
[0257] B7, i-b28B7,2，
[0258] B7, i-b25B7,3，
[0259] B7,2-biB7,4| b3B7,4，
[0260] B7,3-blB7,5 I b3B7,5，
[0261 ] B7,4-b24! b25，
[0262] B7,4-b24B7,6 | b25B7,6，
[0263] B7,5^b24?
[0264] B7,5-b24B7,6，
[0265] B7,6-i I u | e | 0}
[0266] 對藏文拼寫結構8有：
[0267] 藏文拼寫形式文法G8:藏文前加字、基字及元音符號拼寫形式文法G8是一個四元組 (1' 8，￥8,58，卩8)，其中：
[0268] (1)終結符
[0269] T8 = TbUT?，其中：
[0270] Tb= {bi，b2，b3，b4，b5，b6，b7，b8，b9，bio，bii，bi2，bi3，bi4，bi5，bi6，bi7，bi8，bi9，b2i，b22， 出3，13 24，1327，1328}，其元素對應藏文輔音字符;1'。={1，11#， 〇}，其元素對應藏文元音字符；
[0271] (2)非終結符集合
[0272] V8 = {S8,Βδ,ι jB8,2 ,Β8,3 ,Βδ,4,Βδ,δ ,Βδ,θ}；
[0273] (3)S8為V8中的一個非終結符，且為起始符號；
[0274] (4)文法G8的產生式集合Ρ8={
[0275] Ss^bsBs, 11 biiBs, 21 bisBs, 31 bi6Bs,41 b23Bs, 5 ?
[0276] B8, l-b5B8,6 I b8B8,6 I b9B8,6 I bllB8,6 I bl2B8,6 I bl7B8,6 I b2lB8,6 I b22B8,6 I b24B8,6 I b27B8,6 I b28B8,6，
[0277] B8,2-blB8,6 I b3B8,6 I b4B8,6 I bl3B8,6 I bl5B8,6 I bl6B8,6，
[0278] B8,3-blB8,6 I b3B8,6 I bsB8,6 I b9B8,6 I bllB8,6 I bl7B8,6 I b2lB8,6 I b22B8,6 I b27B8,6 I b28B8,6，
[0279] B8,4-b2B8,6 I b3B8,6 I b4B8,6 I b6B8,6 I b7B8,6 I b8B8,6 I bl〇B8,6 I bllB8,6 I bl2B8,6 I bl8B8,6 I bl9B8,6，
[0280] B8,5-b2B8,6 I b3B8,6 I b6B8,6 I b7B8,6 I bl〇B8,6 I bllB8,6 I bl4B8,6 I bl5B8,6 I bl8B8,6 I bl9B8,6，
[0281 ] B8,6-i I u | e | 0}
[0282] 對藏文拼寫結構9有：
[0283] 藏文拼寫形式文法G9:藏文前加字、基字、元音字符及后加字拼寫形式文法G9是一 個四元組(1'9，￥9,59，卩9)，其中 ：
[0284] (1)終結符
[0285] T9 = TbUT?，其中：
[0286] Tb= {bi，b2，b3，b4，b5，b6，b7，b8，b9，bio，bii，bi2，bi3，bi4，bi5，bi6，bi7，bi8，bi9，b2i，b22， 13 23，1324，1325，1326，1327，13 28}，其元素對應藏文輔音字符;1'。={1，11，6,〇}，其元素對應藏文元音 字符；
[0287] (2)非終結符集合
[0288] V9 = {S9，B9，1，B9,2，B9,3，B9,4，B9,5，B9,6，B9j};
[0289] (3)S9為V9中的一個非終結符，且為起始符號；
[0290] (4)文法G9產生式集合為:P9={
[0291 ] S9-b3B9，l | bllB9,2 | bl5B9,3 | bl6B9,4| b23B9,5，
[0292] B9, l-t)5B9,7 | b8B9,7 | b9B9,7 | bllB9,7 | bl2B9,7 | bl7B9,7 | b2lB9,7 | b22B9,7 | b24B9,7 | b27B9,7 | b28B9,7，
[0293] B9, l-t)5B9,6 | b8B9,6 | b9B9,6 | bllB9,6 | bl2B9,6 | bl7B9,6 | b2lB9,6 | b22B9,6 | b24B9,6 | b27B9,6 | b28B9,6，
[0294] B9,2-blB9,7 | b3B9,7 | b4B9,7 | bl3B9,7 | bl5B9,7 | bl6B9,7，
[0295] B9,2-blB9,6 | b3B9,6 | b4B9,6 | bl3B9,6 | bl5B9,6 | bl6B9,6，
[0296] B9,3-blB9,7 | b3B9,7 | bsB9,7 | b9B9,7 | bllB9,7 | bl7B9,7 | b2lB9,7 | b22B9,7 | b27B9,7 | b28B9,7，
[0297] B9,3-blB9,6 | b3B9,6 | bsB9,6 | b9B9,6 | bllB9,6 | bl7B9,6 | b2lB9,6 | b22B9,6 | b27B9,6 | b28B9,6，
[0298] B9,4-b2B9,7 | b3B9,7 | b4B9,7 | b6B9,7 | b7B9,7 | b8B9,7 | bl〇B9,7 | bllB9,7 | bl2B9,7 | bl8B9,7 I bl9B9,7，
[0299] B9,4-b2B9,6 | b3B9,6 | b4B9,6 | b6B9,6 | b7B9,6 | b8B9,6 | bl〇B9,6 | bllB9,6 | bl2B9,6 | bl8B9,6 I bl9B9,6，
[0300] B9,5-b2B9,7 | b3B9,7 | b6B9,7 | b7B9,7 | bl〇B9,7 | bllB9,7 | bl4B9,7 | bl5B9,7 | bl8B9,7 | bl9B9,7，
[0301 ] B9,5-b2B9,6 | b3B9,6 | b6B9,6 | b7B9,6 | bl〇B9,6 | bllB9,6 | bl4B9,6 | bl5B9,6 | bl8B9,6 | bl9B9,6，
[0302] B9,6-iB9,7 | uB9,7 | eB9,7 | 〇B9,7，
[0303] B9, 7-b3 | b4 | bll I bl2 | bl5 | bl6 | b23 | b25 | b26 | b28}
[0304] 對藏文拼寫結構10有：
[0305] 藏文拼寫形式文法G1Q:藏文前加字、上加字、基字、元音符號及后加字拼寫形式文 法GK)是一個四元組
[0306] (1)終結符
[0307] Tiq = TbUT?，其中：
[0308] Tb= {bi，b3，b4，b7，b8，b9，bii，bi2，bi5，bi6，bi7，bi9，b23，b25，b26，b28}，其兀素對應藏文 輔音字符;T。= {i，u，e，0}，其元素對應藏文元音字符；
[0309] (2)非終結符集合
[0310] Vl〇= {Sl〇，Bl〇，l，Bl〇,2，Bl〇,3，Bl〇,4，Bl〇,5，Bl〇,6};
[0311] (3)S1Q為V1Q中的一個非終結符，且為起始符號；
[0312] ⑷文法G1()產生式集合為:p10={
[0313] Sio^bisBio,! ?
[0314] BlQ，l4b28Bl()，2 I b26BlQ，3 I b25Bl〇,4，
[0315] BlQ，24blBl()，6 | b3BlQ，6 | b4BlQ，6| b8BlQ，6 | b9BlQ，6 | bllBlQ，6 | bl2BlQ，6 | bl7Bl〇,6，
[0316] BlQ，24blBl()，5 | b3BlQ，5 | b4BlQ，5 | b8BlQ，5 | b9BlQ，5 | bllBlQ，5 | bl2BlQ，5 | bl7Bl〇,5，
[0317] Bio,3^b9Bio,6 I bnBio,6?
[0318] Bio,3^b9Bio,51 biiBio,5，
[0319] BlQ，44blBl()，6 | b3BlQ，6 | b4BlQ，6 | b7BlQ，6 | b8BlQ，6 | b9BlQ，6 | bllBlQ，6 | bl2BlQ，6 | bl7Bl〇,6 I bl9Bl〇,6，
[0320] Bi〇，4-biBi〇，51 b3Bi〇，51 b4Bi〇，51 b7Bi〇，51 b8Bi〇，51 b9Bi〇，51 biiBi〇，51 bi2Bi〇，51 bi7Bio,51 bl9Bl〇,5，
[0321 ] Bio,5^iBio,6 I uBio,6 I θΒιο,θΙ oBio,6?
[0322] Bl〇,6-b3 | b4 | bll I bl2 | bl5 | bl6 | b23 | b25 | b26 | b28}
[0323] 對藏文拼寫結構11有：
[0324] 藏文拼寫形式文法Gn:藏文前加字、基字、下加字、元音符號及后加字拼寫形式文 法Gn是四元組
[0325] (1)終結符
[0326] Tii = TbUT?，其中：
[0327] Tb= {bl，b2，b3，b4，bll，bl2，bl3，bl4，bl5，bl6，b22，b23，b24，b25，b26，b28}，其兀素對應藏 文輔音字符;T〇= {i，u，e，〇}，其元素對應藏文元音字符；
[0328] (2)非終結符集合
[0329] Vll= {Sll，Bll，l，Bll，2，Bll，3，Bll，4，Bll，5，Bll，6，Bll，7，Bll，8，Bll，9，Bll，10，Bll，ll，Bll，12};
[0330] (3)Sn為Vn中的一個非終結符，且為起始符號；
[0331] (4)文法Gn產生式集合為:Pn={
[0332] Sii-biiBii，i | bi5Bii，21 bi6Bii，31 b23Bii，4，
[0333] Bii，i-bi6Bii，5，
[0334] Bii，i-biBii，9 I b3Bii，9 I bi3Bii，9 I bisBii，9，
[0335] Bii，2-biBii，6，
[0336] Bll，2-b22Bll，7 | b25Bll，7，
[0337] Bii，2-b28Bii，8，
[0338] Bii，2-b3Bii，9，
[0339] Bii，3-b2Bii，9 I b3Bii，9，
[0340] Bii，4-b2Bii，9 I b3Bii，9 I buBii，9 I bisBii，9，
[0341 ] Bii，4-biiBii，io，
[0342] Bii，5-b24Bi2，
[0343] Bii，5-b24Bii，ii，
[0344] Bll，6-b24Bll，12 | b25Bll，12 | b26Bll，12，
[0345] Bii，6-b24Bii，ii | b25Bii，ii |b26Bii，ii，
[0346] Bii，7-b26Bii，i2，
[0347] Bii，7-b26Bii，li，
[0348] Bll，8-b25Bll，12 I b26Bll，12，
[0349] Bii，8-b25Bii，ii I b26Bii，ii，
[0350] Bii，9-b24Bii，i21 b25Bii，i2，
[0351 ] Bii，9-b24Bii，ii | b25Bii，ii，
[0352] Bn,io^b25Bn,i2?
[0353] Bii,io^b25Bn,n?
[0354] Bii，ii-iBii，i21 uBii，i21 eBii，i21 oBii，i2，
[0355] Bll，12-b3 | b4| bll I bl2 | bl5 | bl6 | b23 | b25 | b26 | b28}
[0356] 對藏文拼寫結構12有：
[0357] 藏文拼寫形式文法G12:藏文前加字、上加字、基字、下加字、元音符號及后加字拼寫 形式文法G12是一個四元組
[0358] (1)終結符
[0359] Ti2 = TbUT?，其中：
[0360] Tb= {bi，b3，b4，bii，bi2，bi5，bi6，b23，b24，b25，b26，b28}，其兀素對應藏文輔音字符;T〇 ={i，u，e，〇}，其元素對應藏文元音字符；
[0361] (2)非終結符集合
[0362] Vl2= {Sl2，Bl2，l，Bl2,2，Bl2,3，Bl2,4，Bl2,5，Bl2,6，Bl2j};
[0363] (3)S12為V12中的一個非終結符，且為起始符號；
[0364] (4)文法G12的產生式集合P12= {
[0365] Si2-bi5Bi2，i，
[0366] Bl2, l-b28Bl2,2，
[0367] Bi2, i-b25Bi2,3，
[0368] Bi2,2-biBi2,41 b3Bi2,4，
[0369] Bi2,3-biBi2,51 b3Bi2,5，
[0370] Bl2,4-b24Bl2,7 | b25Bl2,7，
[0371 ] Bl2,4^b24Bl2,6 | b25Bl2,6 ?
[0372] Bl2,5^b24Bl2,7?
[0373] Bl2,5-b24Bl2,6，
[0374] Bl2,6-iBl2,7 | uBl2,7 | eBl2,7 | 〇Bl2,7，
[0375] Bl2,7-b3 | b4 | bll I bl2 | bl5 | bl6 | b23 | b25 | b26 | b28}
[0376] 對藏文拼寫結構13有：
[0377] 藏文拼寫形式文法G13:藏文前加字、基字、元音符號、后加字及再后加字拼寫形式 文法G13是一個四元組
[0378] (1)終結符
[0379] Ti3 = TbUT?，其中：
[0380] Tb= {bi，b2，b3，b4，b5，b6，b7，b8，b9，bio，bii，bi2，bi3，bi4，bi5，bi6，bi7，bi8，bi9，b2i，b22， 13 23，1324，1325，1326，1327，13 28}，其元素對應藏文輔音字符;1'。={1，11，6,〇}，其元素對應藏文元音 字符；
[0381] (2)非終結符集合
[0382] Vl3= {Sl3 ,Bl3,l ,Bl3,2 ,Β?3,3 ,Β?3,4,Β?3,5 ,Β?3,6,Β?3,7,Β?3,8,Β?3,9}；
[0383] (3)S13為V13中的非終結符，且為起始符號；
[0384] (4)文法G13的產生式集合P13= {
[0385] Sl3-b3Bl3，l | bllBl3,2 | bl5Bl3,3 | bl6Bl3,4! b23Bl3,5，
[0386] Bl3，l-t)5Bl3,6 I b8Bl3,6 I b9Bl3,6 I bllBl3,6 I bl2Bl3,6 I bl7Bl3,6 I b2lBl3,6 I b22Bl3,6 I b24Bl3,6 I b27Bl3,6 I b28Bl3,6，
[0387] Bl3,2-blBl3,6 I b3Bl3,6 I b4Bl3,6 I bl3Bl3,6 I bl5Bl3,6 I bl6Bl3,6，
[0388] Bl3,3 - blBl3,6 I b3Bl3,6 I bsBl3,6 I b9Bl3,6 I bllBl3,6 I bl7Bl3,6 I b2lBl3,6 I b22Bl3,6 I b27Bl3,6 I b28Bl3,6，
[0389] Bl3,4-b2Bl3,6 I b3Bl3,6 I b4Bl3,6 I b6Bl3,6 I b7Bl3,6 I b8Bl3,6 I bl〇Bl3,6 I bllBl3,6 I bl2Bl3,6 I bl8Bl3,6 I bl9Bl3,6，
[0390] Bl3,5 - b2Bl3,6 I b3Bl3,6 I b6Bl3,6 I b7Bl3,6 I bl〇Bl3,6 I bllBl3,6 I bl4Bl3,6 I bl5Bl3,6 I bl8Bl3,6 I bl9Bl3,6，
[0391 ] Bl3,6-iBl3,7 | uBl3,7 | eBl3,7 | 〇Bl3,7，
[0392] Bl3,6-b3Bl3,8 | b4Bl3,8 | bl5Bl3,8 | bl6Bl3,8，
[0393] Bl3,6-bl2Bl3,9| b25Bl3,9! b26Bl3,9，
[0394] Bl3,7-b3Bl3,8 | b4Bl3,8 | bl5Bl3,8 | bl6Bl3,8，
[0395] Bl3,7-bl2Bl3,9| b25Bl3,9! b26Bl3,9，
[0396] Bi3,8-b28，
[0397] Bi3,9-bii}
[0398] 對藏文拼寫結構14有：
[0399] 藏文拼寫形式文法Gu:藏文前加字、上加字、基字、元音符號、后加字及再后加字拼 寫形式文法G14是一個四元組(了 14，￥14,314，？14)，其中：
[0400] (1)終結符
[0401] Ti4 = TbUT?，其中：
[0402] Tb= {bi，b3，b4，bii，bi2，bi3，bi5，bi6，bi7，b2〇，b24，b25，b26，b28}，其兀素對應藏文$甫音 字符;T。= {i，u，e，0}，其元素對應藏文元音字符；
[0403] (2)非終結符集合
[0404] Vl4 = { Sl4，Bl4,1，Bl4, 2，Bl4, 3，Bl4,4，Bl4, 5，Bl4, 6，Bl4,7，Bl4, 8};
[0405] (3)Sm為Vm中的非終結符，且為起始符號；
[0406] (4)文法Gm的產生式集合為:P14={
[0407] Si4^bi5Bi4, ι，
[0408] Bl4，l-b28Bl4,2 I b26Bl4,3 I b25Bl4,4，
[0409] Bl4,2^blBl4,5 | b3Bl4,5 | b4Bl4,5 | b8Bl4,5 I b9Bl4,5 I bllBl4,5 I bl2Bl4,5 I bl7Bl4,5 ?
[0410] Bl4, 3^b9Bl4, 5 | bllBl4, 5 ?
[0411] Bl4,4^blBl4,5 | b3Bl4,5 | b4Bl4,5 | b7Bl4,5 | b8Bl4,5 | b9Bl4,5 | bllBl4,5 | bl2Bl4,5 | bl7Bl4,5 I bl9Bl4,5，
[0412] Bl4,5-iBl4,6 | uBl4,6 | eBl4,6! 〇Bl4,6，
[0413] Bl4,5-b3Bl4,7 | b4Bl4,7 | bl5Bl4,7 | bl6Bl4,7，
[041 4] Bl4, 5-bl2Bl4, 8 | b25Bl4, 8 | b26Bl4, 8，
[0415] Bl4,6-b3Bl4,7 I b4Bl4,7 I bl5Bl4,7 I bl6Bl4,7，
[041 6] Bl4, 6-bl2Bl4, 8 | b25Bl4, 8 | b26Bl4, 8，
[0417] Bi4,7^b28?
[0418] Bi4,8-bii}
[0419] 對藏文拼寫結構15有：
[0420] 藏文拼寫形式文法G15:藏文前加字、基字、下加字、元音符號、后加字及再后加字拼 寫形式文法G15是一個四元組
[0421] (1)終結符
[0422] Ti5 = TbUT?，其中：
[0423] Tb= {bl，b2，b3，b4，bll，bl2，bl3，bl4，bl5，bl6，b22，b23，b24，b25，b26，b28}，其兀素對應藏 文輔音字符;T〇= {i，u，e，〇}，其元素對應藏文元音字符；
[0424] (2)非終結符集合
[0425] Vl5= {Sl5 ,Bl5, 1 jBl5,2 ,Bl5,3 ,Bl5,4 ,Bl5,5 ,Bl5,6 ,Bl5,7 ,Bl5,8 ,Β?5,9 ,Β?δ,ΙΟ ,Β?δ,ΙΙ ,Β?5,12 , Β?5,13 ,Β?5,14}；
[0426] (3)S15為V15中的一個非終結符，且為起始符號；
[0427] (4)文法G15的產生式集合為:Ρ15={
[0428] Sl5 - bllBl5，l | blsBl5,2 | bl6Bl5,3 | b23Bl5,4，
[0429] Bi5,i^bi6Bi5,5?
[0430] Bl5，l-blBl5,9 I b3Bl5,9 I bl3Bl5,9 I bl5Bl5,9，
[0431 ] Bi5,2^biBi5,6?
[0432] Bl5,2^b22Bl5,7 | b25Bl5,7?
[0433] Bl5,2^b28Bl5,8?
[0434] Bi5,2^b3Bi5,9?
[0435] Bi5,3^b2Bi5,9 I bsBi5,9?
[0436] Bl5,4^b2Bl5,9 | b3Bl5,9 | bl4Bl5,9 | bl5Bl5,9，
[0437] Bi5,4-biiBi5, io，
[0438] Bi5,5^b24Bi5,n?
[0439] Bl5,6-b24Bl5，ll I b25Bl5，ll |b26Bl5，ll，
[0440] Bl5,7^b26Bl5,ll?
[0441 ] Bl5,8^b25Bl5,ll I b26Bl5,ll?
[0442] Bl5,9-b24Bl5，ll | b25Bl5，ll，
[0443] Bi5,i〇^b25Bi5,n?
[0444] Bl5，ll-iBl5，12 | uBl5，12 | eBl5，12 | 〇Bl5，12，
[0445] Bl5，ll-b3Bl5，13 | b4Bl5，13 | bl5Bl5，13 | bl6Bl5，13，
[0446] Bl5，ll-bl2Bl5,4 | b25Bl5，14 | b26Bl5，14，
[0447] Bl5,12^b3Bl5,13 I b4Bl5,13 I bl5Bl5,13 I bl6Bl5,13?
[0448] Bl5,12^bl2Bl5,14 I b25Bl5,14 I b26Bl5,14 ?
[0449] Bi5，i3-b28，
[0450] Bi5,i4^bn}
[0451] 對藏文拼寫結構16有：
[0452] 藏文拼寫形式文法G16:藏文前加字、上加字、基字、下加字、元音符號、后加字及再 后加字拼寫構成的藏文字的文法G 16是一個四元組
[0453] (1)終結符
[0454] Ti6 = TbUT〇;其中：
[0455] Tb= {bi，b3，b4，bii，bi2，bi5，bi6，b24，b25，b26，b28}，其元素對應藏文輔音字符；T〇 = {i，u，e，〇}，其元素對應藏文元音字符；
[0456] (2)非終結符集合
[0457] Vl6= {Sl6,Bl6,ljBl6,2 ,Β?6,3 ,Β?6,4,Β?6,5 ,Β?6,6,Β?6,7,Β?6,8,Β?6,9}；
[0458] (3)S16為V16中的非終結符，且為起始符號；
[0459] (4)文法G16的產生式集合為:Ρ16={
[0460] Si6-bi5Bi6，i，
[0461 ] Bl6, l-b28Bl6,2，
[0462] Bl6, l-b25Bl6,3，
[0463] Bi6,2-biBi6,41 b3Bi6,4，
[0464] Bi6,3-biBi6,51 b3Bi6,5，
[0465] Bl6,4-b24Bl6,6 | b25Bl6,6，
[0466] Bl6,5-b24Bl6,6，
[0467] Bl6,6-iBl6,7 | uBl6,7 | eBl6,7 | 〇Bl6,7，
[0468] Bl6,6^b3Bl6,8 | b4Bl6,8 | bl5Bl6,8 | bl6Bl6,8，
[0469] Bl6,6-bl2Bl6,9| b25Bl6,9| b26Bl6,9，
[0470] Bl6,7-b3Bl6,8 | b4Bl6,8 | bl5Bl6,8 | bl6Bl6,8，
[0471 ] Bl6,7^bl2Bl6,9| b25Bl6,9| b26Bl6,9?
[0472] Bi6,8-b28，
[0473] Bi6,9-bii}
[0474] 對藏文拼寫結構17有：
[0475] 藏文拼寫形式文法G17:藏文基字、元音符號及后加字拼寫形式文法G17是一個四元 組
[0476] (1)終結符
[0477] Ti7 = TBUT?，其中：
[0478] Tb= {bi，b2，b3，b4，bs，…，b3〇}，其元素對應藏文輔音字符;T〇 = {i，u，e，o}，其元素 對應藏文元音字符；
[0479] (2)非終結符集合
[0480] Vl7 = {Sl7，Bl7，l，Bl7,2};
[0481] (3)&7為％7中的一個非終結符，且為起始符號；
[0482] (4)文法G17的產生式集合為:Pi7={
[0483] Si7-biBi7,11 b2Bi7,11 b3Bi7,11 b4Bi7,11 bsBi7,11 …I b3〇Bi7,1，
[0484] Sl7-blBl7,2 I b2Bl7,2 I b3Bl7,2 I b4Bl7,2 I bsBl7,2 I …I b3〇Bl7,2，
[0485] Bl7，l-iBl7,2 I uBl7,2 I eBl7,2 I 〇Bl7,2，
[0486] Bl7,2-b3 I b4 I bll I bl2 I bl5 I bl6 I b23 I b25 I b26 I b28}
[0487] 對藏文拼寫結構18有：
[0488] 藏文拼寫形式文法G18:藏文上加字、基字、元音符號及后加字拼寫形式文法G18是 一個四元組
[0489] (1)終結符
[0490] Ti8 = TbUT?，其中：
[0491 ] Tb= {bi，b3，b4，bs，b7，b8，b9，bn，bi2，bi3，bi5，bi6，bi7，bi9，b23，b25，b26，b28，b29}，其兀 素對應藏文輔音字符;T。= {i，u，e，o}，其元素對應藏文元音字符；
[0492] (2)非終結符集合
[0493] Vl8 = {Sl8，Bl8，l，Bl8,2，Bl8,3，Bl8,4，Bl8，s};
[0494] (3)S18為V18中的一個非終結符，且為起始符號；
[0495] (4)文法G18的產生式集合為:P18={
[0496] Sl8-b25Bl8，l | b26Bl8,2 | b28Bl8,3，
[0497] Bl8，l - blBl8,5 I b3Bl8,5 I b4Bl8,5 I b7Bl8,5 I b8Bl8,5 I b9Bl8,5 I bllBl8,5 I bl2Bl8,5 I bl5Bl8,5 I bl6Bl8,5 | bl7Bl8,5 | bl9Bl8,5，
[0498] Bl8, l - blBl8,4 | b3Bl8,4 | b4Bl8,4 | b7Bl8,4 | b8Bl8,4 | b9Bl8,4 | bllBl8,4 | bl2Bl8,4 | bl5Bl8,4 I bl6Bl8,4 | bl7Bl8,4 | bl9Bl8,4，
[0499] Bl8,2 - blBl8,5 | b3Bl8,5 | b4Bl8,5 | b5Bl8,5 | b7Bl8,5 | b9Bl8,5 | bllBl8,5 | bl3Bl8,5 | bl5Bl8,5 I b29Bl8,5，
[0500] Bl8,2 - blBl8,4 | b3Bl8,4 | b4Bl8,4 | b5Bl8,4 | b7Bl8,4 | b9Bl8,4 | bllBl8,4 | bl3Bl8,4 | bl5Bl8,4 I b29Bl8,4，
[0501 ] Bl8,3 -blBl8,5 | b3Bl8,5 | b4Bl8,5 | b8Bl8,5 | b9Bl8,5 | bllBl8,5 | bl2Bl8,5 | bl3Bl8,5 | bl5Bl8,5 I bl6Bl8,5 | bl7Bl8,5，
[0502] Bl8,3 - blBl8,4 | b3Bl8,4 | b4Bl8,4 | b8Bl8,4 | b9Bl8,4 | bllBl8,4 | bl2Bl8,4 | bl3Bl8,4 | bl5Bl8,4 I bl6Bl8,4 | bl7Bl8,4，
[0503] Bl8,4-iBl8,5 | uBl8,5 | eBl8,5 | 〇Bl8,5，
[0504] Bl8,5-b3 | b4 | bll I bl2 | bl5 | bl6 | b23 | b25 | b26 | b28}
[0505] 對藏文拼寫結構19有：
[0506] 藏文拼寫形式文法G19:藏文基字、下加字、元音符號及后加字拼寫形式文法G19是 一個四元組(1' 6，￥6,56，卩6)，其中：
[0507] (1)終結符
[0508] Ti9 = TbUT?，其中：
[0509] Tb= {bi，b2，b3，b4，b8，b9，bio，bii，bi2，bi3，bi4，bi5，bi6，bi8，b2〇，b2i，b22，b23，b24，b25， 出6，1327，1328，1329}，其元素對應藏文輔音字符 ;1'。={1，11#，〇}，其元素對應藏文元音字符；
[0510] (2)非終結符集合
[0511] Vl9= {Sl9，Bl9，l，Bl9,2，Bl9,3，Bl9,4，Bl9,5，Bl9,6，Bl9,7，Bl9,8，Bl9,9，Bl9，10，Bl9，ll};
[0512] (3)S19為V19中的一個非終結符，且為起始符號；
[0513] (4)文法G19的產生式集合為:p19={
[0514] Si9-biBi9，i I b3Bi9，i，
[0515] Si9-b2Bi9,2，
[0516] Sl9-bllBl9,3 I b29Bl9,3，
[0517] Sl9-b8Bl9,4| bl8Bl9,4| b2lBl9,4| b26Bl9,4| b27Bl9,4，
[0518] Si9^b9Bi9,51 bioBi9,5 ?
[0519] Sl9-bl3Bl9,6 | bl4Bl9,6 | bl6Bl9,6，
[0520] Sl9-b22Bl9,7 | b25Bl9,7，
[0521 ] Sl9-b28Bl9,8，
[0522] Si9-bi5Bi9,9，
[0523] Bl9，l-b2()Bl9，ll | b24Bl9，ll |b25Bl9，ll | b26Bl9，ll，
[0524] Bl9, l^b2〇Bl9,10 | b24Bl9,10 | b25Bl9,10 | b26Bl9,10，
[0525] Bl9,2-b2()Bl9，ll I b24Bl9，ll |b25Bl9，ll，
[0526] Bl9,2^b2〇Bl9,10 I b24Bl9,10 I b25Bl9,10，
[0527] Bi9,3-b2()Bi9，ii I b25Bi9，ii，
[0528] Bl9,3-b2()Bl9，l() I b25Bl9，10，
[0529] Bi9，"b2〇Bi9，ii，
[0530] Bi9,4^b2〇Bi9,i〇?
[0531 ] Bl9,5^b25Bl9,ll?
[0532] Bi9,5-b25Bi9, io，
[0533] Bl9,6-b24Bl9，ll I b25Bl9，ll，
[0534] Bl9,6-b24Bl9,10 I b25Bl9,10，
[0535] Bl9,7-b2()Bl9，ll I b26Bl9，ll，
[0536] Bl9,7-b2()Bl9，l() I b26Bl9，10，
[0537] Bl9,8-b25Bl9，ll I b26Bl9，ll，
[0538] Bl9,8-b25Bl9，l() I b26Bl9，10，
[0539] Bl9,9-b24Bl9,11 I b25Bl9,11 I b26Bl9,11，
[0540] Bl9,9^b24Bl9,10 I b25Bl9,10 I b26Bl9,10 ?
[0541 ] Bi9，i〇4iBi9, li I uBi9，ii I eBi9，ii I oBi9, li，
[0542] Bl9，ll-b3 I b4| bll I bl2 I bl5 I bl6 I b23 I b25 I b26 I b28}
[0543] 對藏文拼寫結構20有：
[0544] 藏文拼寫形式文法G2〇:上加字、藏文基字、下加字、元音符號及后加字拼寫形式文 法G2Q是一個四元組
[0545] (1)終結符
[0546] T2〇 = TbUT。，其中：
[0547] Tb= {bi，b3，b4，bii，bi2，bi3，bi5，bi6，bi7，b2〇，b23，b24，b25，b26，b28}，其兀素對應藏文 輔音字符;T。= {i，u，e，0}，其元素對應藏文元音字符；
[0548] (2)非終結符集合
[0549] V20= {S20,B20,1jB20,2 ,Β20,3 ,Β20,4,Β20,5 ,Β20,6,Β20,7,Β20,8}；
[0550] (3)&ο為V2Q中的一個非終結符，且為起始符號；
[0551] (4)文法G2Q的產生式集合為:P2Q={
[0552] S2〇^b25B2〇,i ?
[0553] S2Q-b28B20,2，
[0554] B20,l^blB20,3 | b3B2Q，3 | bl6B20,3，
[0555] B2〇，i-bi7B2〇,4，
[0556] B20,2^blB20,5 | b3B20,5 | bl3B20,5 I bl5B20,5 I bl6B20,5 ?
[0557] B2Q，2-bl2B20,6，
[0558] B2Q，3-t)24B20,8，
[0559] B2Q，3-t)24B20,7，
[0560] B20,4^b2〇B20,8?
[0561 ] B20,4-b2〇B20,7，
[0562] B20,5^b24B20,8 | b25B20,8 ?
[0563] B20,5^b24B20,7 | b25B20,7?
[0564] B20,6^b25B20,8?
[0565] B20,6^b25B20,7?
[0566] B2Q，74iB2Q，8 | uB2Q，8 | eB2Q，8 | 〇B20,8，
[0567] B20,8-b3 | b4 | bll I bl2 | bl5 | bl6 | b23 | b25 | b26 | b28}
[0568] 對藏文拼寫結構21有：
[0569] 藏文拼寫形式文法G21:藏文基字、元音符號、后加字及再后加字拼寫形式文法G21 是一個四元組(1'21，￥21，521，卩21)，其中 ：
[0570] (1)終結符
[0571] T21 = TbUT?，其中：
[0572] Tb= {bi，b2，b3，b4，bs，…，b3〇}，其元素對應藏文輔音字符;T〇 = {i，u，e，o}，其元素 對應藏文元音字符；
[0573] (2)非終結符集合
[0574] V21= {S2I，B21，1，B21，2，B21，3，B21，4，B21，5，B21，6，B21j};
[0575] (3)S21為V21中的一個非終結符，且為起始符號；
[0576] (4)文法G2i的產生式集合為:P2i={
[0577] S21-blB21，l | b2B21，l | …| bl〇B21，l | bl2B21，l | bl3B21，l | …| b22B21，l | b24B21，l | b25B21，l I …I b3〇B21，l，
[0578] S2i-biiB2i，2，
[0579] S2i-b23B2i，3，
[0580] B21，l-iB21，4 | uB21，4 | eB21，4! 〇B21，4，
[0581 ] B21，l-b3B21，7 | b4B21，7 | bl5B21，7 | bl6B21，7，
[0582] B21，2-iB21，5 | uB21，5 | eB21，5 | 〇B21，5，
[0583] B21，3-b4B21，7 | bl6B21，7，
[0584] B21，3-iB21，6 | uB21，6 | eB21，6! 〇B21，6，
[0585] B21，4-b3B21，7 | b4B21，7 | bl5B21，7 | bl6B21，7，
[0586] B21，5-b3B21，7 | b4B21，7 | bl5B21，7 | bl6B21，7，
[0587] B21，6-b3B21，7 | b4B21，7 | bl5B21，7 | bl6B21，7，
[0588] B2i，7-b28}
[0589] 對藏文拼寫結構22有：
[0590] 藏文拼寫形式文法G22:藏文上加字、基字、元音符號、后加字及再后加字拼寫形式 文法G22是一個四元組
[0591] (1)終結符
[0592] T22 = TbUT?，其中：
[0593] TB={bi，b3，b4，b5，b7，b8，b9，bii，bi2，bi3，bi5，bi6，bi7，bi9，b25，b26，b28，b29}，其兀素對 應藏文輔音字符;T〇= {i，u，e，〇}，其元素對應藏文元音字符；
[0594] (2)非終結符集合
[0595] V22= {S22，B22，1，B22,2，B22,3，B22,4，B22，s};
[0596] (3)S22為V22中的非終結符，且為起始符號；
[0597] (4)文法G22的產生式集合為:P22={
[0598] S22-b25B22，l | b26B22,2 | b28B22,3，
[0599] B22,1 -blB22,4 I b3B22,4 I b4B22,4 I b7B22,4 I b8B22,4 I b9B22,4 I bllB22,4 I bl2B22,4 I bl5B22,4 I bl6B22,4 I bl7B22,4 I bl9B22,4，
[0600] B22,2 -blB22,4 I b3B22,4 I b4B22,4 I bsB22,4 I b7B22,4 I b9B22,4 I bllB22,4 I bl3B22,4 I bl5B22,4 I b29B22,4，
[0601 ] B22,3 - blB22,4 | b3B22,4 | b4B22,4 | b8B22,4 | b9B22,4 | bllB22,4 | bl2B22,4 | bl3B22,4 | bl5B22,4 | bl6B22,4 | bl7B22,4，
[0602] B22,4-iB22,7 | uB22,7 | eB22,7 | 〇B22,7，
[0603] B22,4-bl2B22,5 | b25B22,5 | b26B22,5，
[0604] B22,4-b3B22,6 | b4B22,6 | bl5B22,6 | bl6B22,6，
[0605] B22,7-bl2B22,5 | b25B22,5 | b26B22,5，
[0606] B22,7-b3B22,6 | b4B22,6 | bl5B22,6 | bl6B22,6，
[0607] B22,5^bn ?
[0608] B22,6-bi8}
[0609] 對藏文拼寫結構23有：
[0610] 藏文拼寫形式文法G23:藏文基字、下加字、元音符號、后加字及再后加字拼寫構成 的藏文字的文法G 23是一個四元組(T23，V23，S23，P23)$* :
[0611] ⑴終結符
[0612] T23 = TbUT。，其中：
[0613] Tb= {bi，b2，b3，b4，b8，b9，bio，bii，bi2，bi3，bi4，bi5，bi6，bi8，b2〇，b2i，b22，b24，b25，b26， 出7，1328，1329}，其元素對應藏文輔音字符;1'。={111#， 〇}，其元素對應藏文元音字符；
[0614] (2)非終結符集合
[0615] V23= {S23，B23,1，B23,2，B23,3，B23,4，B23,5，B23,6，B23,7，B23,8，B23,9，B23，1Q，B23，11，B23，12， B23，13};
[0616] (3)s23為V23中的非終結符，且為起始符號；
[0617] ⑷文法G23的產生式集合為:P23={
[0618] S23-blB23，l | b3B23，l，
[0619] S23-b2B23,2，
[0620] S23-bllB23,3 I b29B23,3，
[0621 ] S23^b8B23,4| bl8B23,4| b2lB23,4| b26B23,4| b27B23,4，
[0622] S23^b9B23,5 | bl〇B23,5?
[0623] S23-bl3B23,6 | bl4B23,6 | bl6B23,6，
[0624] S23-b22B23,7 | b25B23,7，
[0625] S23-b28B23,8，
[0626] S23-bisB23,9，
[0627] B23，l-b2〇B23，10 | b24B23，10 | b25B23，10 | b26B23，10，
[0628] B23,2-b2〇B23，10 | b24B23，10 | b25B23，10，
[0629] B23,3^b2〇B23,l〇 I b25B23,l〇?
[0630] B23,4^b2〇B23,10?
[0631 ] B23,5-b25B23，10，
[0632] B23,6^b24B23,l〇 I b25B23,l〇?
[0633] B23,7^b2〇B23,l〇 I b26B23,l〇?
[0634] B23,8-b25B23，10 | b26B23，10，
[0635] B23,9-b24B23，10 | b25B23，10 | b26B23，10，
[0636] B23，l〇4iB23，ll | uB23，ll | eB23，ll | 〇B23，ll，
[0637] B23，l〇4bl2B23，12 | b25B23，12 | b26B23，12，
[0638] B23，10-b3B23，13 | b4B23，13 | bl5B23，13 | bl6B23，13，
[0639] B23,n^bi2B23 ，12|b25B23，12|b26B23，12，
[0640] B23，ll-b3B23，13 | b4B23，13 | bl5B23，13 | bl6B23，13?
[0641 ] B23，i2-bii，
[0642] B23，i3-bi8}
[0643] 對藏文拼寫結構24有：
[0644] 藏文拼寫形式文法G24:藏文上加字、基字、下加字、元音符號、后加字及再后加字拼 寫形式文法G24是一個四元組
[0645] (1)終結符
[0646] T24 = TbUT。，其中：
[0647] Tb= {bi，b3，b4，bii，bi2，bi3，bi5，bi6，bi7，b2〇，b24，b25，b26，b28}，其兀素對應藏文輔音 字符;T。= {i，u，e，0}，其元素對應藏文元音字符；
[0648] (2)非終結符集合
[0649] V24= {S24,B24,1jB24,2 ,Β24,3 ,Β24,4,Β24,5 ,Β24,6,Β24,7,Β24,8,Β24,9,Β24,1〇}；
[0650] (3)S24為ν24中的非終結符，且為起始符號；
[0651] (4)文法G24的產生式集合為:Ρ24={
[0652] S24^b25B24,l ?
[0653] S24-b28B24,2，
[0654] B24，l-blB24,3 I b3B24,3 I bl6B24,3，
[0655] B24, i-bi7B24,4，
[0656] B24,2-blB24,5 I b3B24,5 I bl3B24,5 I bl5B24,5 I bl6B24,5，
[0657] B24, 2-bl2B24, 6，
[0658] B24, 3-b24B24,7，
[0659] B24,4-b2()B24,7，
[0660] B24,5-b24B24,7 I b25B24,7，
[0661 ] B24,6^b25B24,7?
[0662] B24,7-iB24,8 | uB24,8 | eB24,8 | 〇B24,8，
[0663] B24,7-bl2B24,9| b25B24,9! b26B24,9，
[0664] B24,7^b3B24,10 I b4B24,10 I bl5B24,10 I bl6B24,10 ?
[0665] B24, 8-bl2B24, 9 I b25B24, 9 I b26B24, 9，
[0666] B24, 8^b3B24,10 I b4B24,10 I bl5B24,10 I bl6B24,10 ?
[0667] B24,9-bii，
[0668] B24，io-bi8}
[0669] 對藏文拼寫結構25有：
[0670] 藏文拼寫形式文法G25:藏文基字、下加字、下加字拼寫形式文法G25是一個四元組 (T25，V25，S25，P25)，其中：
[0671] (1)終結符
[0672] 其元素對應藏文輔音字符；
[0673] (2)非終結符集合
[0674] V25= {S25 ,Β25,1?Β25,2 ,Β25,3}；
[0675] (3)S25為V25中的非終結符，且為起始符號；
[0676] (4)文法G25的產生式集合為:Ρ25={
[0677] S25^b3B25,l I bllB25,l?
[0678] S25^bl4B25,2 ?
[0679] B25，l-b25B25,3，
[0680] B25,2^b24B25,3?
[0681 ] B25,3^b2〇}
[0682] 對藏文拼寫結構26有：
[0683] 藏文拼寫形式文法G26:藏文輔音字符、輔音字符、元音符號拼寫形式文法G26是一 個四元組(126，￥26,326，卩26)，其中 ：
[0684] (1)終結符
[0685] T26 = TbUT。，其中：
[0686] 1^=仏14，1329}，其元素對應藏文輔音字符 ;1'。={1，11，6,〇}，其元素對應藏文元音字 符；
[0687] (2)非終結符集合
[0688] V26= {S26，B26，1，B26,2};
[0689] (3)S26為V26中的非終結符，且為起始符號；
[0690] ⑷文法G26的產生式集合為:P26={
[0691 ] S26-b29B26,1，
[0692] B26,i-bi4，
[0693] B26,l-bl4B26,2，
[0694] B26,2^i I u I e I 〇}
[0695] 對藏文拼寫結構27有：
[0696] 藏文拼寫形式文法G27:藏文輔音字符、輔音字符、元音符號、后加字拼寫形式文法 G27 是一個四兀組(127，乂27,327，？27)，其中：
[0697] (1)終結符
[0698] T27 = TbUT。，其中：
[0699] Tb= {b3，b4，bll，bl2，bl4，bl5，bl6，b23，b25，b26，b28，b29}，其兀素對應藏文$甫音字符；To ={i，u，e，ο}，其元素對應藏文元音字符；
[0700] (2)非終結符集合
[0701 ] V27= {S27 ,B27,1 ,B27,2 ,B27,3}；
[0702] (3)S27為V27中的非終結符，且為起始符號；
[0703] (4)文法G27的產生式集合為:P27={
[0704] S27-b29B27,l，
[0705] B27,l-bl4B27,3，
[0706] B27,l-bl4B27,2，
[0707] B27,2-iB27,3 I uB27,3 I eB27,3 I 〇B27,3，
[0708] B27,3-b3 I b4 I bll | bl2 I bl5 I bl6 I b23 I b25 I b26 I b28}
[0709] 對藏文拼寫結構28有：
[0710] 藏文拼寫形式文法G28:藏文基字和元音符號以及藏文基字和元音符號同時拼寫形 式文法G28是一個四兀組(T28，V28，S28，P28)，其中：
[0711] (1)終結符
[0712] T28 = TbUT。，其中：
[0713] Tb= {bi，b2，b3，b4，b5,…，b3〇}，其元素對應藏文輔音字符;T〇 = {i，u，e，o}，其元素 對應藏文元音字符；
[0714] (2)非終結符集合
[0715] V28= {S28,B28,1,B28,2,B28,3}；
[0716] (3) S28為V28中的非終結符，且為起始符號；
[0717] ⑷文法G28的產生式集合為:P28={
[071 8] S28^blB28,1 I b2B28,1 I b3B28,1 I b4B28,1 I b5B28,1 I · · · I b3〇B28,1,
[0719] B28，l-iB28,2 I uB28,2 I eB28,2 I 〇B28,2，
[0720] B28，l-b23B28,3，
[0721] B28,2^b23B28,3,
[0722] B28,3^i | u | e | 0}
[0723] 對藏文拼寫結構29有：
[0724] 藏文拼寫形式文法G29:藏文上加字、基字和元音以及基字和元音符號同時拼寫形 式文法G29是一個四兀組(129，￥29,329，卩29)，其中：
[0725] (1)終結符
[0726] T29 = TbUT。，其中：
[0727] Tb= {bi，b3，b4，b5，b7，b8，b9，bii，bi2，bi3，bi5，bi6，bi7，bi9，b23，b25，b26，b28，b29}，其兀 素對應藏文輔音字符;T。= {i，u，e，ο}，其元素對應藏文元音字符；
[0728] (2)非終結符集合
[0729] V29= {S29，B29，1，Β29,2，Β29,3，Β29,4，Β29,5，Β29,6};
[0730] (3)&9為V29中的非終結符，且為起始符號；
[0731] (4)文法G29的產生式集合為:Ρ29={
[0732] S29-b25B29，l | b26B29,2 | b28B29,3，
[0733] B29, l - blB29,4 I b3B29,4 I b4B29,4 I b7B29,4 I b8B29,4 I b9B29,4 I bllB29,4 I bl2B29,4 I bl5B29,4 I bl6B29,4 | bl7B29,4 | bl9B29,4，
[0734] B29,2 - blB29,4 | b3B29,4 | b4B29,4 | bsB29,4 | b7B29,4 | b9B29,4 | bllB29,4 | bl3B29,4 | bl5B29,4 | b29B29,4，
[0735] B29,3 - blB29,4 | b3B29,4 | b4B29,4 | b8B29,4 | b9B29,4 | bllB29,4 | bl2B29,4 | bl3B29,4 | bl5B29,4 | bl6B29,4 | bl7B29,4，
[0736] B29,4-iB29,5 | uB29,5 | eB29,5 | 〇B29,5，
[0737] B29,4-b23B29,6，
[0738] B29,5-b23B29,6，
[0739] B29,6-i I u | e | 0}
[0740] 對藏文拼寫結構30有：
[0741] 藏文拼寫形式文法G3Q:藏文基字、下加字和元音符號以及基字和元音符號同時拼 寫形式文法G3q是一個四元組
[0742] (1)終結符
[0743] T3〇 = TbUT。，其中：
[0744] Tb= {bi，b2，b3，b8，b9，bio，bii，bi3，bi4，bi5，bi6，bi8，b2〇，b2i，b22，b23，b24，b25，b26，b27， 1328，1329}，其元素對應藏文輔音字符;1'。={1，11#， 〇}，其元素對應藏文元音字符；
[0745] (2)非終結符集合
[0746] V3〇= {S30,B30,1 ,Β30,2 ,Β3〇,3 ,Β3〇,4,Β3〇,5 ,Β30,6,Β30,7,Β30,8,Β30,9,Β30,10,Β30,11 ,Β3〇,12}；
[0747] (3)&ο為V3q中的非終結符，且為起始符號；
[0748] (4)文法G3q的產生式集合為:Ρ3〇={
[0749] S3〇^biB3〇,i | bsB3〇,i?
[0750] S3〇-b2B3〇, 2，
[0751 ] S3Q4bllB3Q，3 I b29B30,3，
[0752] S30^b8B30,4| bl8B30,4| b2lB30,4| b26B30,4| b27B30,4，
[0753] S30^b9B30,5 | bl〇B3〇, 5 ?
[0754] S30-bl3B30,6 I bl4B30,6 I bl6B30,6，
[0755] S3Q4b22B3Q，7 | b25B30,7，
[0756] S3〇-b28B3〇,8，
[0757] S3〇^bi5B3〇,9?
[0758] B30, l^b2〇B3〇, 10 I b24B30,10 I b25B30,10 I b26B30,10 ?
[0759] B30,2^b2〇B3〇, l〇 I b24B30, ΙΟ I b25B30,10 ?
[0760] B30,3^b2〇B3〇, 10 I b25B30,10 ?
[0761 ] B3〇,4^b2〇B3〇,io?
[0762] B30,5-b25B3〇, 10，
[0763] B30,6^b24B30,10 I b25B30,10 ?
[0764] B3〇,7^b2〇B3〇,l〇 I b26B30,10?
[0765] B30,8^b25B30,10 I b26B30,10 ?
[0766] B30,9^b24B30,10 I b25B30,10 I b26B30,10 ?
[0767] B3Q，i〇4iB3()，ii I uB3〇，ii I eB3〇，ii I oB3〇，ii，
[0768] B3〇,io^b23B3〇,i2?
[0769] B30,ll^b23B30,12?
[0770] B3〇,i2^i I u I e I 0}
[0771] 對藏文拼寫結構31有：
[0772] 藏文拼寫形式文法G31:上加字、藏文基字、下加字和元音符號以及基字和元音符號 同時拼寫形式文法G31是一個四元組(以^^^心山其中：
[0773] (1)終結符
[0774] T3i = TbUT?，其中：
[0775] Tb= {bl，b3，bl2，bl3，bl5，bl6，bl7，b20，b23，b24，b25，b28}，其兀素對應藏文輔音字符;T。 ={i，u，e，〇}，其元素對應藏文元音字符；
[0776] (2)非終結符集合
[0777] V31= {S31，B31，1，B31，2，B31，3，B31，4，B31，5，B31，6，B31，7，B31，8，B31，9};
[0778] (3)S31為V31中的一個非終結符，且為起始符號；
[0779] (4)文法G3i的產生式集合P3i= {
[0780] S3i-b25B3i，i，
[0781 ] S31-b28B31，2，
[0782] B3i,i^biB3i,31 b3B3i，31 bi6B3i，3，
[0783] B3i，i-bi7B3i，4，
[0784] B31，2-blB31，5 | b3B31，5 | bl3B31，5 | bl5B31，5 | bl6B31，5，
[0785] B31，2-bi2B3i，6，
[0786] B31，3-b24B31，7，
[0787] B3i,4^b2〇B3i,7?
[0788] B31，5-b24B31，7 | b25B31，7，
[0789] B31，6-b25B31，7，
[0790] B31，7-iB31，8 | uB31，8 | eB31，8! 〇B31，8，
[0791 ] B31，7-b23B31，9，
[0792] B31，8-b23B31，9，
[0793] B3i，9-i I u | e | 0}
[0794] 對藏文拼寫結構32有：
[0795] 藏文拼寫形式文法G32:藏文前加字、上加字、基字和元音符號以及基字和元音符號 同時拼寫形式文法G32是一個四兀組(T32, V32，S32，P32)，其中：
[0796] (1)終結符
[0797] T32 = TbUT?，其中：
[0798] Tb= {bi，b3，b4，b7，b8，b9，bii，bi2，bi5，bi7，bi9，b23，b25，b26，b28}，其兀素對應藏文$甫 音字符;T。= {i，u，e，〇}，其元素對應藏文元音字符；
[0799] (2)非終結符集合
[0800] V32= {S32 ,B32,1 jB32,2 ,Β32,3 ,Β32,4 ,Β32,5 ,Β32,6 ,Β32,7}；
[0801] (3)&2為V32中的一個非終結符，且為起始符號；
[0802] (4)文法G32的產生式集合Ρ32= {
[0803] S32-bl5B32，l，
[0804] B32, i-b28B32,2，
[0805] B32, i-b26B32,3，
[0806] B32，i-b25B32，4，
[0807] B32,2-blB32,5 | b3B32,5 | b4B32,5 | b8B32,5 | b9B32,5 | bllB32,5 | bl2B32,5 | bl7B32,5，
[0808] B32,3^b9B32,5 | bllB32,5，
[0809] B32,4-blB32,5 | b3B32,5 | b4B32,5 | b7B32,5 | b8B32,5 | b9B32,5 | bllB32,5 | bl2B32,5 | bl7B32,5 | bl9B32,5，
[0810] B32,5-iB32,6 | uB32,6 | eB32,6! 〇B32,6，
[081 1 ] B32,5^b23B32,7?
[081 2] B32,6-b23B32,7，
[0813] B32,7^i | u | e | 0}
[0814] 對藏文拼寫結構33有：
[0815] 藏文拼寫形式文法G33:藏文前加字、基字、下加字和元音符號以及基字和元音符號 同時拼寫形式文法G33是一個四兀組(T33, V33，S33，P33)，其中：
[0816] (1)終結符
[0817] T33 = TbUT?，其中：
[0818] Tb= {bl，b2，b3，bll，bl3，bl4，bl5，bl6，b22，b23，b24，b25，b26，b28}，其兀素對應藏文$甫音 字符;T。= {i，u，e，〇}，其元素對應藏文元音字符；
[0819] (2)非終結符集合
[0820] V33= {S33，B33,1，B33,2，B33,3，B33,4，B33,5，B33,6，B33,7，B33,8，B33,9，B33，1Q，B33，11，B33，12， B33，13};
[0821] (3)S33為V33中的一個非終結符，且為起始符號；
[0822] (4)文法G33的產生式集合P33= {
[0823] S33-bllB33，l | bl5B33,2 | bl6B33,3 | b23B33,4，
[0824] B33, i-bi6B33,5，
[0825] B33，l-blB33,9 | b3B33,9 | bl3B33,9 | bl5B33,9，
[0826] B33,2-biB33,6，
[0827] B33,2-b22B33,7 | b25B33,7，
[0828] B33,2-b28B33,8，
[0829] B33,2-b3B33,9，
[0830] B33,3-b2B33,9 I b3B33,9，
[0831 ] B33,4-b2B33,9 | b3B33,9 | bl4B33,9 | bl5B33,9，
[0832] B33,4-biiB33，io，
[0833] B33,5-b24B33,11，
[0834] B33,6-b24B33，ll I b25B33，ll |b26B33，ll，
[0835] B33,7-b26B33，ll，
[0836] B33,8-b25B33，ll I b26B33，ll，
[0837] B33,9-b24B33，ll I b25B33，ll，
[0838] B33, io-b25B33,11，
[0839] B33，ll-iB33，12 I uB33，12 I eB33，12 I 〇B33，12，
[0840] B33，ll^b23B33，13，
[0841 ] B33，12-b23B33，13，
[0842] B33,i3^i | u | e | 0}
[0843] 對藏文拼寫結構34有：
[0844] 藏文拼寫形式文法G34:藏文前加字、上加字、基字、下加字和元音符號以及基字和 元音符號同時拼寫形式文法G 34是一個四元組(T34，v34，s34，p34)$* :
[0845] (1)終結符
[0846] T34 = TbUT?，其中：
[0847] Tb = {bi，b3，bi5，b23，b24，b25，b28}，其元素對應藏文輔音字符;T〇 = {i，u，e，o}，其元 素對應藏文元音字符；
[0848] (2)非終結符集合
[0849] V34 = {S34，B34，1，B34,2，B34,3，B34,4，B34,5，B34,6，B34,7，B34,8};
[0850] (3)S34為V34中的一個非終結符，且為起始符號；
[0851] (4)文法G34的產生式集合P34= {
[0852] S34^bi5B34,i ?
[0853] B34, i-b28B34,2，
[0854] B34, i-b25B34,3，
[0855] B34,2-blB34,4 I b3B34,4，
[0856] B34, 3^blB34, 5 | b3B34,5 ?
[0857] B34,4-b24B34, 6 | b25B34, 6，
[0858] B34, 5-b24B34, 6，
[0859] B34,6-iB34,7 | uB34,7 | eB34,7 | 〇B34,7，
[0860] B34, 6-b23B34, 8，
[0861 ] B34,7^b23B34,8?
[0862] B34,8-i I u | e | 0}
[0863] 對藏文拼寫結構35有：
[0864] 藏文拼寫形式文法G35:藏文前加字、基字和元音符號以及基字和元音符號同時拼 寫形式文法G35是一個四兀組(T35, V35，S35，P35)，其中：
[0865] (1)終結符
[0866] T35 = TbUT。，其中：
[0867] Tb= {bi，b2，b3，b4，b5，b6，b7，b8，b9，bio，bii，bi2，bi3，bi4，bi5，bi6，bi7，bi8，bi9，b2i，b22， 出3，13 24，1327，1328}，其元素對應藏文輔音字符;1'。={1，11#， 〇}，其元素對應藏文元音字符；
[0868] (2)非終結符集合
[0869] V35= {S35 ,B35,1 jB35,2 ,Β35,3 ,Β35,4 ,Β35,5 ,Β35,6 ,Β35,7 ,Β35,8}；
[0870] (3)&5為V35中的一個非終結符，且為起始符號；
[0871] (4)文法G35的產生式集合Ρ35= {
[0872] S35^b3B35,l I bllB35,2 I bl5B35,3 | bl6B35,4| b23B35,5?
[0873] B35，l-t)5B35,6 | b8B35,6 | b9B35,6 | bllB35,6 | bl2B35,6 | bl7B35,6 | b2lB35,6 | b22B35,6 | b24B35,6 | b27B35,6 | b28B35,6?
[0874] B35,2-blB35,6 | b3B35,6 | b4B35,6 | bl3B35,6 | bl5B35,6 | bl6B35,6，
[0875] B35,3 - blB35,6 | b3B35,6 | bsB35,6 | b9B35,6 | bllB35,6 | bl7B35,6 | b2lB35,6 | b22B35,6 | b27B35,6 | b28&35,6，
[0876] B35,4-b2B35,6 | b3B35,6 | b4B35,6 | b6B35,6 | b7B35,6 | b8B35,6 | bl〇B35,6 | bllB35,6 | bl2B35,6 | bl8B35,6 | bl9B35,6?
[0877] B35,5 - b2B35,6 | b3B35,6 | b6B35,6 | b7B35,6 | bl〇B35,6 | bllB35,6 | bl4B35,6 | bl5B35,6 | bl8B35,6 | bl9B35,6?
[0878] B35,6-iB35,7 | uB35,7 | eB35,7 | 〇B35,7，
[0879 ] B35，7-b23B35，8，
[0880] B35,8^i | u | e | 0}
[0881] 對藏文拼寫結構36有：
[0882] 藏文拼寫形式文法G36:藏文基字、下加字和下加字以及基字和元音符號同時拼寫 形式文法G36是一個四元組
[0883] (1)終結符
[0884] T36 = TbUT?，其中：
[0885] Tb = {b3，bii，bi4，b2〇，b23，b24，b25}，其元素對應藏文輔音字符;T〇 = {i，u，e，o}，其元 素對應藏文元音字符；
[0886] (2)非終結符集合
[0887] V36 = {S36，B36，1，B36,2，B36,3，B36,4，B36，s};
[0888] (3)S36為V36中的非終結符，且為起始符號；
[0889] (4)文法G36的產生式集合為:P36={
[0890] S36-b3B36,1 I bllB36,1，
[0891 ] S36-bl4B36,2，
[0892] B36, i-b25B36,3，
[0893] B36,2-b24B36,3，
[0894] B36,3^b2〇B36,4?
[0895] B36,4-b23B36,5，
[0896] B36,5^i | u | e | 0}
[0897] 對藏文拼寫結構37有：
[0898] 藏文拼寫形式文法G37:藏文輔音字符、輔音字符和元音符號以及基字和元音符號 同時拼寫形式文法G37是一個四兀組(137，￥37,337，？37)，其中：
[0899] (1)終結符
[0900] T37 = TbUT。，其中：
[0901] 1^={1314，1323，1329}，其元素對應藏文輔音字符;1'。={1，1 1，6,〇}，其元素對應藏文元 音字符；
[0902] (2)非終結符集合
[0903] V37= {S37 ,B37,1 ,B37,2 ,B37,3 ,B37,4}；
[0904] (3) S37為V37中的非終結符，且為起始符號；
[0905] (4)文法G37的產生式集合為:P37={
[0906] S37-b29B37，l，
[0907] B37,l-bl4B37,2，
[0908] B37,2-iB37,3 I uB37,3 I eB37,3 I 〇B37,3，
[0909] B37,2-b23B37,4，
[0910] B37,3-b23B37,4，
[0911] B37,4^i I u | e | 0} 〇
[0912] 步驟303，獲取有限狀態(tài)自動機Mi的終止狀態(tài)標識Ei。
[0913] 在本實施例中，通過步驟303獲取新增的非終結符Ei的過程包括:判斷所述藏文拼 寫形式文法Gi的產生式規(guī)則的有限集合Pi中是否包含產生式規(guī)則B-x，所述Be Vi，xe Ti; 如果是，獲取Eie5i(B，x)，所述δ?(Β，χ)= Φ。
[0914] 在本實施例中，Ei屬于非終結符的一種。
[0915]步驟304,判斷藏文拼寫形式文法Gi的產生式規(guī)則的有限集合Pi中是否包含產生式 規(guī)則Si-λ。
[0916] 在本實施例中，如果通過步驟304確定包含，執(zhí)行步驟305后執(zhí)行步驟307;否則執(zhí) 行步驟306。
[0917] 步驟305,獲取值為Si和Ei的Fi。
[0918] 步驟306,獲取值為Ei的Fi。
[0919 ] 步驟307，根據(jù)Ti、Vi、Si、Fi，獲取有限狀態(tài)自動機Mi。
[0920] 步驟308至步驟309，將至少一個藏文字作為有限狀態(tài)自動機群組的輸入，并判斷 待檢查藏文文本是否拼寫正確，該過程與圖1所示的步驟102至步驟103,在此不再一一贅 述。
[0921] 本發(fā)明具有如下有益效果:通過將待檢查藏文文本作為有限狀態(tài)自動機群組的輸 入，從而實現(xiàn)藏文拼寫檢查。由于有限狀態(tài)自動機群組與藏文拼寫形式文法對應，因此本發(fā) 明實施例提供的技術方案能夠解決現(xiàn)有技術中通過模型進行拼寫檢查時，由于模型的適應 面較窄，導致無法識別一些特殊結構的藏文字的問題。
[0922] 實施例4
[0923] 如圖4所示，本發(fā)明實施例提供的基于自動機的藏文拼寫檢查裝置，包括：
[0924] 用于將待檢查藏文文本以字為單位進行切分，得到至少一個藏文字的切分模塊 401；
[0925] 用于將所述至少一個藏文字作為預設有限狀態(tài)自動機群組的輸入的輸入模塊 402；
[0926] 用于通過所述有限狀態(tài)自動機群組判斷所述待檢查藏文文本是否拼寫正確的拼 寫檢查模塊403;
[0927] 所述有限狀態(tài)自動機群組包括37個有限狀態(tài)自動機，其中任一有限狀態(tài)自動機Mi =(Σ ,，Q,，δ,，qi，h);所述Σ ,為預設藏文拼寫形式文法仏的終結符的有限集合;所述弘為所 述藏文拼寫形式文法Gi的非終結符的有限集合￥1與所述并集;所述δ,是根據(jù)(^與工之 直積Qi X Σ jljQi的映射獲取的所述有限狀態(tài)自動機Mi的狀態(tài)轉移函數(shù);所述qi為所述有限 狀態(tài)自動機Mi的初始狀態(tài)，所述qi e Qi;所述Fi為所述有限狀態(tài)自動機Mi的終止狀態(tài)的有限 集合，所述廠/ G 所述i為正整數(shù)，所述i彡37。
[0928] 在本實施例中，通過切分模塊、輸入模塊和拼寫檢查模塊實現(xiàn)藏文拼寫檢查的過 程，與本發(fā)明實施例1-3提供的相似，在此不再一一贅述。
[0929] 本發(fā)明具有如下有益效果:通過將待檢查藏文文本作為有限狀態(tài)自動機群組的輸 入，從而實現(xiàn)藏文拼寫檢查。由于有限狀態(tài)自動機群組與藏文拼寫形式文法對應，因此本發(fā) 明實施例提供的技術方案能夠解決現(xiàn)有技術中通過模型進行拼寫檢查時，由于模型的適應 面較窄，導致無法識別一些特殊結構的藏文字的問題。
[0930] 以上實施例的先后順序僅為便于描述，不代表實施例的優(yōu)劣。
[0931]最后應說明的是：以上實施例僅用以說明本發(fā)明的技術方案，而非對其限制;盡管 參照前述實施例對本發(fā)明進行了詳細的說明，本領域的普通技術人員應當理解:其依然可 以對前述各實施例所記載的技術方案進行修改，或者對其中部分技術特征進行等同替換； 而這些修改或者替換，并不使相應技術方案的本質脫離本發(fā)明各實施例技術方案的精神和 范圍。
【主權項】
1. 一種基于自動機的藏文拼寫檢查方法，其特征在于，包括： 510、 將待檢查藏文文本W(wǎng)字為單位進行切分，得到至少一個藏文字； S20、將所述至少一個藏文字作為預設有限狀態(tài)自動機群組的輸入； S30、通過所述有限狀態(tài)自動機群組判斷所述待檢查藏文文本是否拼寫正確； 所述有限狀態(tài)自動機群組包括37個有限狀態(tài)自動機，其中任一有限狀態(tài)自動機Mi = (S 1，化，δι，qi，F(xiàn)i);所述S功預設藏文拼寫形式文法Gi的終結符的有限集合;所述化為所述 藏文拼寫形式文法Gi的非終結符的有限集合Vi與所述Fi的并集;所述δι是根據(jù)化與Σι之直 積化X Σ 1至化1的映射獲取的所述有限狀態(tài)自動機Ml的狀態(tài)轉移函數(shù);所述qi為所述有限狀 態(tài)自動機Ml的初始狀態(tài)，所述qi e化;所述Fi為所述有限狀態(tài)自動機Ml的終止狀態(tài)的有限集 合，所述仇；斯所述i為正整數(shù)，所述i《37。2. 根據(jù)權利要求1所述的基于自動機的藏文拼寫檢查方法，其特征在于，在所述S30之 后，還包括： S40、判斷是否全部檢查完所述待檢查藏文文本;如果未全部檢查完，將所述待檢查藏 文文本的未檢查部分繼續(xù)執(zhí)行所述S20。3. 根據(jù)權利要求1所述的基于自動機的藏文拼寫檢查方法，其特征在于，所述S10包括： 按照藏文字分符、垂形符、雙垂符和空格符將所述待檢查藏文文本W(wǎng)字為單位進行切 分，得到至少一個藏文字。4. 根據(jù)權利要求1所述的基于自動機的藏文拼寫檢查方法，其特征在于，在所述S20之 前，還包括： 511、 獲取所述藏文拼寫形式文法Gi，所述Gi = (Τι，Vi，Si，Pi); 512、 獲取所述有限狀態(tài)自動機Mi的終止狀態(tài)標識Ei; 513、 判斷所述藏文拼寫形式文法Gi的產生式規(guī)則的有限集合Pi中是否包含產生式規(guī)則 Si一 λ; 514、 如果是，獲取值為Si和Ei的Fi; 515、 如果不是，獲取值為Ei的Fi; 516、 根據(jù)所述Ti、Vi、Si、Fi，獲取所述有限狀態(tài)自動機Mi; 所述Τι為所述藏文拼寫形式文法Gi的終結符的有限集合;所述Si為所述藏文拼寫形式 文法Gi的起始符，所述Si e Vi;所述λ為空字符； 所述有限狀態(tài)自動機Ml的輸入字符的有限集合Σ 1與所述藏文拼寫形式文法Gi的終結 符的有限集合Τι等價;所述有限狀態(tài)自動機Ml的初始狀態(tài)qi與所述藏文拼寫形式文法Gi的 起始符Si等價。5. 根據(jù)權利要求4所述的基于自動機的藏文拼寫檢查方法，其特征在于，所述S11，包 括： 5111、 獲取終結符的有限集合Τι，所述Τι是集合L的子集，所述集合L包括30個藏文輔音 字母、5個反寫字母、4個元音符號和1個長元音符號； 5112、 獲取非終結符的有限集合Vi; 5113、 獲取起始符Si，所述Si e Vi; SI 14、獲取產生式規(guī)則的有限集合Pi; S115、根據(jù)所述Ti、Vi、Si和Pi獲取對應的藏文拼寫形式文法Gi。6. 根據(jù)權利要求5所述的基于自動機的藏文拼寫檢查方法，其特征在于，所述S114,包 括： 51141、 獲取預設的藏文拼寫文法形式化描述體系； 51142、 根據(jù)所述藏文拼寫文法形式化描述體系，獲取所述產生式規(guī)則的有限集合Pi。7. 根據(jù)權利要求4所述的基于自動機的藏文拼寫檢查方法，其特征在于，所述S12,包 括： 5121、 判斷所述藏文拼寫形式文法Gi的產生式規(guī)則的有限集合Pi中是否包含產生式規(guī) 貝！JB一 X，所述 B e Vi，X e Ti; 5122、 如果是，獲取EieSi(B，x)，所述Si(B，x)= Φ。8. 根據(jù)權利要求1至7中任意一項所述的基于自動機的藏文拼寫檢查方法，其特征在 于，所述S30包括： 5301、 有限狀態(tài)自動機群組中的每一個有限狀態(tài)自動機從初始狀態(tài)開始，依次接收所 述至少一個藏文字，并轉移狀態(tài)； 5302、 如果有限狀態(tài)自動機群組中的某一個有限狀態(tài)自動機在轉移狀態(tài)后能夠進入終 止狀態(tài)，則待檢查藏文文本的拼寫正確； 5303、 如果有限狀態(tài)自動機群組中的所有有限狀態(tài)自動機在轉移狀態(tài)后都不能進入終 止狀態(tài)，則待檢查藏文文本的拼寫錯誤。9. 一種基于自動機的藏文拼寫檢查裝置，其特征在于，包括： 用于將待檢查藏文文本W(wǎng)字為單位進行切分，得到至少一個藏文字的切分模塊； 用于將所述至少一個藏文字作為預設有限狀態(tài)自動機群組的輸入的輸入模塊； 用于通過所述有限狀態(tài)自動機群組判斷所述待檢查藏文文本是否拼寫正確的拼寫檢 查模塊； 所述有限狀態(tài)自動機群組包括37個有限狀態(tài)自動機，其中任一有限狀態(tài)自動機Mi = (Σ 1，化，δι，qi，F(xiàn)i);所述Σ功預設藏文拼寫形式文法Gi的終結符的有限集合;所述化為所述 藏文拼寫形式文法Gi的非終結符的有限集合Vi與所述Fi的并集;所述δι是根據(jù)化與Si之直 積化X Σ 1至化1的映射獲取的所述有限狀態(tài)自動機Ml的狀態(tài)轉移函數(shù);所述qi為所述有限狀 態(tài)自動機Mi的初始狀態(tài)，所述qi e化;所述Fi為所述有限狀態(tài)自動機Mi的終止狀態(tài)的有限集 合，所述巧E谷?;所述i為正整數(shù)，所述i《37。
【文檔編號】G06F17/27GK106095756SQ201610409221
【公開日】2016年11月9日
【申請日】2016年6月13日
【發(fā)明人】尼瑪扎西
【申請人】尼瑪扎西