專利名稱：一種正則表達(dá)式匹配電路的優(yōu)化方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種電路優(yōu)化方法，尤其是一種正規(guī)表達(dá)式匹配電路的優(yōu)化方法。
背景技術(shù)：
隨著各種網(wǎng)絡(luò)應(yīng)用的蓬勃發(fā)展，互聯(lián)網(wǎng)的安全問題也越來越嚴(yán)峻:拒絕服務(wù)攻擊(DDos)、木馬、蠕蟲以及泛濫的P2P應(yīng)用嚴(yán)重影響了用戶的正常網(wǎng)絡(luò)使用。目前網(wǎng)絡(luò)信息安全已經(jīng)成為信息技術(shù)領(lǐng)域中的關(guān)鍵問題之一，科研人員已開發(fā)了各種技術(shù)來確保網(wǎng)絡(luò)安全:入侵檢測、內(nèi)容過濾、病毒特征碼匹配等等。在上述技術(shù)中作為其基礎(chǔ)的字符串匹配技術(shù)扮演著十分重要的角色，并且也是影響系統(tǒng)性能的關(guān)鍵因素之一。傳統(tǒng)字符串匹配系統(tǒng)采用的是基于軟件的匹配方式，基于軟件的字符串匹配算法通常是在通用處理器平臺上實現(xiàn)的，而通用處理器上指令執(zhí)行的并行度并不高，導(dǎo)致字符串匹配引擎的吞吐量往往也不是很高(通常最快只能達(dá)到IOOKbps左右)?，F(xiàn)如今通用處理器正朝著多核(mult1-core)、眾核(many-core)的方向發(fā)展,具有足夠并行度的算法可以在這些處理器平臺上獲得不錯的處理效率，但是對于字符串匹配這類計算高度密集型的任務(wù)而言，它需要消耗CPU大量的計算資源，在目前的網(wǎng)絡(luò)入侵檢測系統(tǒng)當(dāng)中，字符串匹配操作往往會占用75%左右的CPU處理時間，如此高密度的計算量導(dǎo)致系統(tǒng)性能難以提升。隨著網(wǎng)絡(luò)技術(shù)的飛速發(fā)展，許多應(yīng)用系統(tǒng)對于字符串匹配引擎的性能有著越來越高的速度要求，而現(xiàn)有單純依賴于軟件實現(xiàn)方式的字符串匹配引擎往往不能滿足高速網(wǎng)絡(luò)的處理需求，因此，越來越多的系統(tǒng)轉(zhuǎn)向采用專用硬件實現(xiàn)字符串匹配引擎的方式來獲得性能的提聞。隨著網(wǎng)絡(luò)技術(shù)的不斷發(fā)展，越來越多的網(wǎng)絡(luò)應(yīng)用采用正則表達(dá)式形式的規(guī)則來替代傳統(tǒng)的靜態(tài)字符串，一般基于專用硬件的正則表達(dá)式匹配可以采取基于確定性有限自動機(jī)(DFA)或者非確定性有限自動機(jī)(NFA)的實現(xiàn)方案。其中，基于DFA的匹配方案大都采用以存儲器為中心的實現(xiàn)架構(gòu)，將DFA的狀態(tài)轉(zhuǎn)移表存放在存儲器中，在匹配過程當(dāng)中，需要不斷地訪問存儲器。由于DFA可能會存在狀態(tài)爆炸的問題，對于資源十分緊缺的專用硬件來說無法實現(xiàn)大規(guī)模規(guī)則集合的匹配，并且延時較大的存儲器訪問以及有限的存儲器帶寬往往也會限制匹配引擎的處理性能。而基于NFA的實現(xiàn)方案則是通過搭建NFA對應(yīng)的硬件匹配電路來執(zhí)行正則表達(dá)式的匹配的，其中的匹配電路一般是采用獨熱(One-Hot)編碼方案來進(jìn)行構(gòu)建的。在這一匹配架構(gòu)中，每處理一個字符可以觸發(fā)多個NFA狀態(tài)的并行查詢，而且在每個時鐘周期內(nèi)均可以處理一個字符，而與當(dāng)前NFA中活動狀態(tài)的個數(shù)是無關(guān)的。由于在NFA匹配引擎當(dāng)中，D觸發(fā)器對應(yīng)于NFA中的狀態(tài)，而字符比較器的輸出和其他NFA狀態(tài)D觸發(fā)器輸出信號的組合邏輯則對應(yīng)于NFA中的狀態(tài)跳轉(zhuǎn)，整個NFA匹配引擎可以看作一種流水線的結(jié)構(gòu)，每個NFA狀態(tài)的D觸發(fā)器可以看作流水線寄存器，D觸發(fā)器之間的組合邏輯則是實現(xiàn)每級流水線的基本功能，因此，整個匹配引擎的處理性能受到D觸發(fā)器之間組合邏輯的影響最大。影響D觸發(fā)器之間組合邏輯延遲的因素主要包括以下四個:D觸發(fā)器時鐘輸出時間、D觸發(fā)器的建立時間、狀態(tài)轉(zhuǎn)移邏輯的延遲和連線延遲，其中，D觸發(fā)器的時鐘輸出時間和建立時間都是電路單元的固有參數(shù)，并不能改變，只有通過優(yōu)化NFA狀態(tài)跳轉(zhuǎn)延遲和連線延遲才能夠提升整個匹配引擎的最大時鐘頻率。在匹配引擎的構(gòu)造過程中，狀態(tài)轉(zhuǎn)移邏輯是由多個NFA狀態(tài)觸發(fā)器的輸出和字符比較器輸出信號的與或邏輯操作得到的。因此，狀態(tài)轉(zhuǎn)移邏輯延遲可以由與或邏輯門的延遲來表示。狀態(tài)轉(zhuǎn)移邏輯延遲與狀態(tài)轉(zhuǎn)移邏輯輸入信號的數(shù)目有關(guān)，輸入信號數(shù)目越多，狀態(tài)轉(zhuǎn)移邏輯延遲越大。根據(jù)NFA匹配引擎的構(gòu)造過程可知，狀態(tài)轉(zhuǎn)移邏輯的輸入信號包括兩部分，一部分是NFA狀態(tài)觸發(fā)器的輸出，另一部分是字符比較器的輸出。對于連線延遲，通常是由邏輯中的信號線長度決定。信號線越長，連線延遲越大。

發(fā)明內(nèi)容
本發(fā)明提供了一種對非確定性有限自動機(jī)提高匹配引擎的處理性能，即匹配電路的最大工作時鐘頻率的正規(guī)表達(dá)式匹配電路的優(yōu)化方法。實現(xiàn)本發(fā)明目的的正規(guī)表達(dá)式匹配電路的優(yōu)化方法，包括如下步驟:(I)規(guī)則集合的分組:在分組之前，先將所有的規(guī)則按照ASCII碼順序進(jìn)行排序，對于每一條單獨的規(guī)則，探測其最大單狀態(tài)扇入數(shù)目，如果大于門限值，則將此條規(guī)則作為單獨一組，并從規(guī)則集合中剔除；然后，從規(guī)則集合的起始位置start開始，以step為步長，探測單狀態(tài)扇入數(shù)目少于門限值的大致范圍；根據(jù)探測到的大致范圍，采用二分法逐步逼近，直到找出最適合的規(guī)則分割點；最后，將起始位置指針start到規(guī)則分割點的所有規(guī)則作為切分好的子規(guī)則集，并重復(fù)以上的搜索過程；(2)非確定性有限自動機(jī)的構(gòu)造生成與精簡:對經(jīng)過規(guī)則分組處理之后得到每個規(guī)則文件，采用自動機(jī)構(gòu)造算法生成相應(yīng)的非確定性有限自動機(jī)，比較常用的自動機(jī)構(gòu)造算法有Thompson構(gòu)造法、Glushkov構(gòu)造法和McNaughton-Yamada構(gòu)造法,在實際處理當(dāng)中，可以根據(jù)自己的條件來進(jìn)行選擇。采用自動機(jī)構(gòu)造算法生成的非確定性有限自動機(jī)往往在結(jié)構(gòu)上并不是特別的精簡，還需要對非確定性有限自動機(jī)進(jìn)行精簡處理，以去除非確定性有限自動機(jī)中的冗余狀態(tài)和空轉(zhuǎn)移邊，以此可以避免不必要的硬件資源浪費。非確定性有限自動機(jī)的結(jié)構(gòu)精簡方法是和自動機(jī)構(gòu)造算法密切相關(guān)的。(3)單狀態(tài)扇出優(yōu)化:結(jié)合生成的非確定性有限自動機(jī)的輸入轉(zhuǎn)移表，采用發(fā)明內(nèi)容中介紹的狀態(tài)轉(zhuǎn)移條件改寫方法來修改非確定性有限自動機(jī)中某些狀態(tài)的輸入轉(zhuǎn)移表，以優(yōu)化非確定性有限自動機(jī)單狀態(tài)扇出的數(shù)目，減小對狀態(tài)轉(zhuǎn)移邏輯延遲的影響；(4)字符扇出均衡:掃描非確定性有限自動機(jī)中每個狀態(tài)的輸出轉(zhuǎn)移表，計算以字母表中每個字符的字符扇出數(shù)目，根據(jù)設(shè)定的字符扇出門限值計算需要插入的中心譯碼器數(shù)目；生成非確定性有限自動機(jī)狀態(tài)轉(zhuǎn)移邏輯時，根據(jù)當(dāng)前轉(zhuǎn)移條件的字符扇出門限值，選擇中心譯碼器進(jìn)行連線。同時，為了避免因規(guī)則集合變大而導(dǎo)致的前一步驟中引入的每個范圍譯碼器的字符扇出數(shù)目變大，引起連線延遲增加的情況，對于范圍譯碼器，本文使用與中心譯碼器相同的字符扇出均衡方法，使得每個范圍譯碼器的扇出數(shù)目不高于門限值，且保持均衡，優(yōu)化連線延遲。(5)匹配電路的構(gòu)造:利用非確定性有限自動機(jī)狀態(tài)轉(zhuǎn)移表構(gòu)建匹配引擎，將每個非確定性有限自動機(jī)狀態(tài)用一個D觸發(fā)器表示，根據(jù)每個非確定性有限自動機(jī)狀態(tài)的狀態(tài)轉(zhuǎn)移表確定不同狀態(tài)的D觸發(fā)器之間的邏輯連接關(guān)系。所述非確定性有限自動機(jī)匹配電路的構(gòu)建可以分為以下步驟:(I)構(gòu)造非確定性有限自動機(jī)的狀態(tài)輸入轉(zhuǎn)移表:非確定性有限自動機(jī)狀態(tài)的輸入轉(zhuǎn)移表定義為一個二元組〈S，C〉，二元組的元素是能夠到達(dá)當(dāng)前狀態(tài)的非確定性有限自動機(jī)狀態(tài)S以及該狀態(tài)到達(dá)當(dāng)前狀態(tài)的輸入轉(zhuǎn)移字符C，在構(gòu)造輸入轉(zhuǎn)移表的時候，需要遍歷每個狀態(tài)的輸出轉(zhuǎn)移表以確定所有能夠到達(dá)當(dāng)前狀態(tài)的非確定性有限自動機(jī)狀態(tài)的集合；(2)構(gòu)造狀態(tài)輸入的組合邏輯:每一個狀態(tài)的輸入都可以看作是其輸入轉(zhuǎn)移表中所有的狀態(tài)輸出和轉(zhuǎn)移條件的邏輯組合，每個狀態(tài)的輸出用D觸發(fā)器的輸出來表示，轉(zhuǎn)移條件用一個字符比較器的輸出表示，從狀態(tài)SI到S2的轉(zhuǎn)移可以表示為狀態(tài)SI的觸發(fā)器的輸出和字符比較器的與邏輯，當(dāng)存在多條到狀態(tài)S2的轉(zhuǎn)移時，所有轉(zhuǎn)移邏輯的輸出經(jīng)過或門連接到S2觸發(fā)器的輸入端。為了實現(xiàn)數(shù)據(jù)報文的匹配，本發(fā)明在構(gòu)造組合邏輯時增加了 sod和eod信號，指示數(shù)據(jù)包的開始和結(jié)束，分別匹配起始符’ 和終結(jié)符’$’，并以data_valid信號指示數(shù)據(jù)報文中有效載荷的偏移位置。本發(fā)明的正規(guī)表達(dá)式匹配電路的優(yōu)化方法的有益效果如下:本發(fā)明的正則表達(dá)式硬件匹配電路優(yōu)化方法，針對非確定性有限自動機(jī)，利用動態(tài)規(guī)則分組算法將大規(guī)則集合劃分為多個分組，可以限制非確定性有限自動機(jī)單狀態(tài)扇入數(shù)目，另外，采用改寫非確定性有限自動機(jī)狀態(tài)轉(zhuǎn)移條件的方法來減少非確定性有限自動機(jī)單狀態(tài)的扇出數(shù)目，可以有效地降低狀態(tài)轉(zhuǎn)移邏輯的延遲；通過采用多譯碼器的字符扇出均衡算法實現(xiàn)了電路中每個中心譯碼器以及范圍譯碼器的扇出數(shù)目降低，且保持均衡，從而優(yōu)化了連線延遲，可用于網(wǎng)絡(luò)入侵檢測/防御、防火墻、病毒檢測等網(wǎng)絡(luò)安全領(lǐng)域。
具體實施例方式發(fā)明的正規(guī)表達(dá)式匹配電路的優(yōu)化方法，包括如下步驟:(I)規(guī)則集合的分組:在分組之前，先將所有的規(guī)則按照ASCII碼順序進(jìn)行排序，對于每一條單獨的規(guī)則，探測其最大單狀態(tài)扇入數(shù)目，如果大于門限值，則將此條規(guī)則作為單獨一組，并從規(guī)則集合中剔除；然后，從規(guī)則集合的起始位置start開始，以step為步長，探測單狀態(tài)扇入數(shù)目少于門限值的大致范圍；根據(jù)探測到的大致范圍，采用二分法逐步逼近，直到找出最適合的規(guī)則分割點；最后，將起始位置指針start到規(guī)則分割點的所有規(guī)則作為切分好的子規(guī)則集，并重復(fù)以上的搜索過程；(2)非確定性有限自動機(jī)的構(gòu)造生成與精簡:對經(jīng)過規(guī)則分組處理之后得到每個規(guī)則文件，采用自動機(jī)構(gòu)造算法生成相應(yīng)的非確定性有限自動機(jī)，比較常用的自動機(jī)構(gòu)造算法有Thompson構(gòu)造法、Glushkov構(gòu)造法和McNaughton-Yamada構(gòu)造法,在實際處理當(dāng)中，可以根據(jù)自己的條件來進(jìn)行選擇。采用自動機(jī)構(gòu)造算法生成的非確定性有限自動機(jī)往往在結(jié)構(gòu)上并不是特別的精簡，還需要對非確定性有限自動機(jī)進(jìn)行精簡處理，以去除非確定性有限自動機(jī)中的冗余狀態(tài)和空轉(zhuǎn)移邊，以此可以避免不必要的硬件資源浪費。非確定性有限自動機(jī)的結(jié)構(gòu)精簡方法是和自動機(jī)構(gòu)造算法密切相關(guān)的。(3)單狀態(tài)扇出優(yōu)化:結(jié)合生成的非確定性有限自動機(jī)的輸入轉(zhuǎn)移表，采用發(fā)明內(nèi)容中介紹的狀態(tài)轉(zhuǎn)移條件改寫方法來修改非確定性有限自動機(jī)中某些狀態(tài)的輸入轉(zhuǎn)移表，以優(yōu)化非確定性有限自動機(jī)單狀態(tài)扇出的數(shù)目，減小對狀態(tài)轉(zhuǎn)移邏輯延遲的影響；(4)字符扇出均衡:掃描非確定性有限自動機(jī)中每個狀態(tài)的輸出轉(zhuǎn)移表，計算以字母表中每個字符的字符扇出數(shù)目，根據(jù)設(shè)定的字符扇出門限值計算需要插入的中心譯碼器數(shù)目；生成非確定性有限自動機(jī)狀態(tài)轉(zhuǎn)移邏輯時，根據(jù)當(dāng)前轉(zhuǎn)移條件的字符扇出門限值，選擇中心譯碼器進(jìn)行連線。同時，為了避免因規(guī)則集合變大而導(dǎo)致的前一步驟中引入的每個范圍譯碼器的字符扇出數(shù)目變大，引起連線延遲增加的情況，對于范圍譯碼器，本文使用與中心譯碼器相同的字符扇出均衡方法，使得每個范圍譯碼器的扇出數(shù)目不高于門限值，且保持均衡，優(yōu)化連線延遲。(5)匹配電路的構(gòu)造:利用非確定性有限自動機(jī)狀態(tài)轉(zhuǎn)移表構(gòu)建匹配引擎，將每個非確定性有限自動機(jī)狀態(tài)用一個D觸發(fā)器表示，根據(jù)每個非確定性有限自動機(jī)狀態(tài)的狀態(tài)轉(zhuǎn)移表確定不同狀態(tài)的D觸發(fā)器之間的邏輯連接關(guān)系。所述非確定性有限自動機(jī)匹配電路的構(gòu)建可以分為以下步驟:(I)構(gòu)造非確定性有限自動機(jī)的狀態(tài)輸入轉(zhuǎn)移表:非確定性有限自動機(jī)狀態(tài)的輸入轉(zhuǎn)移表定義為一個二元組〈S，C〉，二元組的元素是能夠到達(dá)當(dāng)前狀態(tài)的非確定性有限自動機(jī)狀態(tài)S以及該狀態(tài)到達(dá)當(dāng)前狀態(tài)的輸入轉(zhuǎn)移字符C，在構(gòu)造輸入轉(zhuǎn)移表的時候，需要逼歷每個狀態(tài)的輸出轉(zhuǎn)移表以確定所有能夠到達(dá)當(dāng)前狀態(tài)的非確定性有限自動機(jī)狀態(tài)的集合；(2)構(gòu)造狀態(tài)輸入的組合邏輯:每一個狀態(tài)的輸入都可以看作是其輸入轉(zhuǎn)移表中所有的狀態(tài)輸出和轉(zhuǎn)移條件的邏輯組合，每個狀態(tài)的輸出用D觸發(fā)器的輸出來表示，轉(zhuǎn)移條件用一個字符比較器的輸出表示，從狀態(tài)SI到S2的轉(zhuǎn)移可以表示為狀態(tài)SI的觸發(fā)器的輸出和字符比較器的與邏輯，當(dāng)存在多條到狀態(tài)S2的轉(zhuǎn)移時，所有轉(zhuǎn)移邏輯的輸出經(jīng)過或門連接到S2觸發(fā)器的輸入端。為了實現(xiàn)數(shù)據(jù)報文的匹配，本發(fā)明在構(gòu)造組合邏輯時增加了 sod和eod信號，指示數(shù)據(jù)包的開始和結(jié)束，分別匹配起始符’ 和終結(jié)符’$’，并以data_valid信號指示數(shù)據(jù)報文中有效載荷的偏移位置。上面所述的實施例僅僅是對本發(fā)明的優(yōu)選實施方式進(jìn)行描述，并非對本發(fā)明的范圍進(jìn)行限定，在不脫離本發(fā)明設(shè)計精神前提下，本領(lǐng)域普通工程技術(shù)人員對本發(fā)明技術(shù)方案做出的各種變形和改進(jìn)，均應(yīng)落入本發(fā)明的權(quán)利要求書確定的保護(hù)范圍內(nèi)。技術(shù)術(shù)語解釋:字符扇出:每個字符比較單元的輸出連接數(shù)目；非確定性有限自動機(jī)單狀態(tài)扇出:從一個非確定性有限自動機(jī)狀態(tài)觸發(fā)器到另一個非確定性有限自動機(jī)狀態(tài)觸發(fā)器的轉(zhuǎn)移數(shù)目；非確定性有限自動機(jī)單狀態(tài)扇入:從多個非確定性有限自動機(jī)狀態(tài)觸發(fā)器經(jīng)過相同的轉(zhuǎn)移條件到達(dá)同一個非確定性有限自動機(jī)狀態(tài)觸發(fā)器的轉(zhuǎn)移數(shù)目。
權(quán)利要求
1.一種正規(guī)表達(dá)式匹配電路的優(yōu)化方法，包括如下步驟: (1)規(guī)則集合的分組:在分組之前，先將所有的規(guī)則按照ASCII碼順序進(jìn)行排序，對于每一條單獨的規(guī)則，探測其最大單狀態(tài)扇入數(shù)目，如果大于門限值，則將此條規(guī)則作為單獨一組，并從規(guī)則集合中剔除；然后，從規(guī)則集合的起始位置start開始，以step為步長，探測單狀態(tài)扇入數(shù)目少于門限值的大致范圍；根據(jù)探測到的大致范圍，采用二分法逐步逼近，直到找出最適合的規(guī)則分割點；最后，將起始位置指針start到規(guī)則分割點的所有規(guī)則作為切分好的子規(guī)則集，并重復(fù)以上的搜索過程； (2)非確定性有限自動機(jī)的構(gòu)造生成與精簡:對經(jīng)過規(guī)則分組處理之后得到每個規(guī)則文件，采用自動機(jī)構(gòu)造算法生成相應(yīng)的非確定性有限自動機(jī)， (3)單狀態(tài)扇出優(yōu)化:結(jié)合生成的非確定性有限自動機(jī)的輸入轉(zhuǎn)移表，采用發(fā)明內(nèi)容中介紹的狀態(tài)轉(zhuǎn)移條件改寫方法來修改非確定性有限自動機(jī)中某些狀態(tài)的輸入轉(zhuǎn)移表，以優(yōu)化非確定性有限自動機(jī)單狀態(tài)扇出的數(shù)目，減小對狀態(tài)轉(zhuǎn)移邏輯延遲的影響； (4)字符扇出均衡:掃描非確定性有限自動機(jī)中每個狀態(tài)的輸出轉(zhuǎn)移表，計算以字母表中每個字符的字符扇出數(shù)目，根據(jù)設(shè)定的字符扇出門限值計算需要插入的中心譯碼器數(shù)目； (5)匹配電路的構(gòu)造:利用非確定性有限自動機(jī)狀態(tài)轉(zhuǎn)移表構(gòu)建匹配引擎，將每個非確定性有限自動機(jī)狀態(tài)用一個D觸發(fā)器表示，根據(jù)每個非確定性有限自動機(jī)狀態(tài)的狀態(tài)轉(zhuǎn)移表確定不同狀態(tài)的D觸發(fā)器之間的邏輯連接關(guān)系。
2.根據(jù)權(quán)利要求1所述的正規(guī)表達(dá)式匹配電路的優(yōu)化方法，其特征在于:所述非確定性有限自動機(jī)匹配電路的構(gòu)建可以分為以下步驟: (1)構(gòu)造非確定性有限自動機(jī)的狀態(tài)輸入轉(zhuǎn)移表:非確定性有限自動機(jī)狀態(tài)的輸入轉(zhuǎn)移表定義為一個二元組〈S，C〉，二元組的元素是能夠到達(dá)當(dāng)前狀態(tài)的非確定性有限自動機(jī)狀態(tài)S以及該狀態(tài)到達(dá)當(dāng)前狀態(tài)的輸入轉(zhuǎn)移字符C，在構(gòu)造輸入轉(zhuǎn)移表的時候，需要逼歷每個狀態(tài)的輸出轉(zhuǎn)移表以確定所有能夠到達(dá)當(dāng)前狀態(tài)的非確定性有限自動機(jī)狀態(tài)的集合； (2)構(gòu)造狀態(tài)輸入的組合邏輯:每一個狀態(tài)的輸入都可以看作是其輸入轉(zhuǎn)移表中所有的狀態(tài)輸出和轉(zhuǎn)移條件的邏輯組合，每個狀態(tài)的輸出用D觸發(fā)器的輸出來表示，轉(zhuǎn)移條件用一個字符比較器的輸出表不，從狀態(tài)SI到S2的轉(zhuǎn)移可以表不為狀態(tài)SI的觸發(fā)器的輸出和字符比較器的與邏輯，當(dāng)存在多條到狀態(tài)S2的轉(zhuǎn)移時，所有轉(zhuǎn)移邏輯的輸出經(jīng)過或門連接到S2觸發(fā)器的輸入端。
全文摘要
本發(fā)明提供了一種對非確定性有限自動機(jī)提高匹配引擎的處理性能，即提高正則表達(dá)式匹配電路最大工作時鐘頻率的優(yōu)化方法，包括如下步驟(1)規(guī)則集合的分組；(2)非確定性有限自動機(jī)的構(gòu)造生成與狀態(tài)精簡；(3)單狀態(tài)扇出優(yōu)化；(4)字符扇出均衡；(5)匹配電路的構(gòu)造利用非確定性有限自動機(jī)狀態(tài)轉(zhuǎn)移表構(gòu)建匹配引擎，將每個非確定性有限自動機(jī)狀態(tài)用一個D觸發(fā)器表示，根據(jù)每個非確定性有限自動機(jī)狀態(tài)的狀態(tài)轉(zhuǎn)移表確定不同狀態(tài)的D觸發(fā)器之間的邏輯連接關(guān)系。
文檔編號G06F17/30GK103198065SQ201210002439
公開日2013年7月10日 申請日期2012年1月6日 優(yōu)先權(quán)日2012年1月6日
發(fā)明者彭策力, 謝海燕, 王建東 申請人:北京奇策科技有限公司