[發(fā)明專利]一種狀態(tài)機(jī)可拼接性和拼接規(guī)則判定方法和裝置

在審

• 申請(qǐng)?zhí)枺?/td>: 201410836240.5
• 申請(qǐng)日: 2014-12-26
• 公開（公告）號(hào): CN104572029A
• 公開（公告）日: 2015-04-29
• 發(fā)明（設(shè)計(jì)）人: 王磊;楊磊;謝少林
• 申請(qǐng)（專利權(quán)）人: 中國(guó)科學(xué)院自動(dòng)化研究所
• 主分類號(hào): G06F9/38
• 分類號(hào): G06F9/38;G06F9/46
• 代理公司: 中科專利商標(biāo)代理有限責(zé)任公司 11021
• 代理人: 宋焰琴

1.一種狀態(tài)機(jī)可拼接性和拼接規(guī)則判定方法，包括以下步驟：

步驟1，進(jìn)行初始化，將當(dāng)前狀態(tài)置為空狀態(tài)；

步驟2，從待拼接狀態(tài)塊隊(duì)列中讀取一個(gè)狀態(tài)塊，根據(jù)該狀態(tài)塊的類型和當(dāng)前狀態(tài)判斷該狀態(tài)的處理方法，修改當(dāng)前狀態(tài)，并跳轉(zhuǎn)到相應(yīng)規(guī)則的步驟中；

步驟3，判斷全順序塊的拼接規(guī)則，保持當(dāng)前狀態(tài)為全順序狀態(tài)，跳至步驟2；

步驟4，判斷全循環(huán)塊的拼接規(guī)則，保持當(dāng)前狀態(tài)為全循環(huán)狀態(tài)，且讀入的狀態(tài)塊為循環(huán)塊，調(diào)用步驟6進(jìn)行長(zhǎng)度比較：

若步驟6返回長(zhǎng)度相同，且比較的左右循環(huán)塊循環(huán)次數(shù)相同，則保持當(dāng)前狀態(tài)為全循環(huán)狀態(tài)，跳至步驟2；

若步驟6返回長(zhǎng)度相同，且比較的左右循環(huán)塊循環(huán)次數(shù)不同，則輸出等價(jià)變換規(guī)則，方法結(jié)束；

若步驟6返回結(jié)果不同信息，則輸出不可拼接，該方法結(jié)束；

步驟5，判斷全嵌套循環(huán)塊的拼接規(guī)則，保持當(dāng)前狀態(tài)為全嵌套循環(huán)狀態(tài)，且讀入的狀態(tài)塊為嵌套循環(huán)塊，調(diào)用步驟6進(jìn)行長(zhǎng)度比較：

若步驟6返回長(zhǎng)度相同，且比較的左右嵌套循環(huán)塊循環(huán)次數(shù)相同，則保持當(dāng)前狀態(tài)為全嵌套循環(huán)狀態(tài)，跳至步驟2；

若步驟6返回長(zhǎng)度相同，且比較的左右嵌套循環(huán)塊循環(huán)次數(shù)不同，則輸出等價(jià)變換規(guī)則，方法結(jié)束；

若步驟6返回長(zhǎng)度不同，則輸出不可拼接，該方法結(jié)束；

步驟6，確定輸入的兩個(gè)循環(huán)塊或兩個(gè)嵌套循環(huán)塊長(zhǎng)度是否一致。

2.根據(jù)權(quán)利要求1所述的狀態(tài)機(jī)可拼接性和拼接規(guī)則判定方法，其中步驟2中所述根據(jù)該狀態(tài)塊的類型和當(dāng)前狀態(tài)判斷該狀態(tài)的處理方法，修改當(dāng)前狀態(tài)，并跳轉(zhuǎn)到相應(yīng)規(guī)則的步驟中的步驟包括：

若當(dāng)前狀態(tài)為空狀態(tài)：

若讀取的狀態(tài)塊為順序塊，置當(dāng)前狀態(tài)為全順序狀態(tài)，重新開始步驟2；

若該狀態(tài)塊為循環(huán)塊，置當(dāng)前狀態(tài)為全循環(huán)狀態(tài)，記錄當(dāng)前循環(huán)塊的循環(huán)長(zhǎng)度，重新開始步驟2；

若該狀態(tài)塊為嵌套循環(huán)塊，置當(dāng)前狀態(tài)為全嵌套循環(huán)狀態(tài)，記錄當(dāng)前循環(huán)塊的循環(huán)長(zhǎng)度，重新開始步驟2；

若當(dāng)前狀態(tài)為全順序狀態(tài)：

若讀取的狀態(tài)塊為順序塊，則跳轉(zhuǎn)到步驟3；

若讀取的狀態(tài)塊為循環(huán)塊或嵌套循環(huán)塊，則修改當(dāng)前狀態(tài)為非全順序狀態(tài)，輸出等價(jià)變換規(guī)則，該方法結(jié)束；

若當(dāng)前狀態(tài)為全循環(huán)狀態(tài)：

若讀取的狀態(tài)塊為循環(huán)塊，則跳轉(zhuǎn)到步驟4；

若讀取的狀態(tài)塊為順序塊，則修改當(dāng)前狀態(tài)為非全順序狀態(tài)，輸出等價(jià)變換規(guī)則，該方法結(jié)束；

若讀取的狀態(tài)塊為嵌套循環(huán)塊，則修改當(dāng)前狀態(tài)為非全循環(huán)狀態(tài)，輸出等價(jià)變換規(guī)則，該方法結(jié)束；

若當(dāng)前狀態(tài)為全嵌套循環(huán)狀態(tài)：

若讀取的狀態(tài)塊為嵌套循環(huán)塊，則跳轉(zhuǎn)到步驟5；

若讀取的狀態(tài)塊為順序塊，則修改當(dāng)前狀態(tài)為非全順序狀態(tài)，輸出等價(jià)變換規(guī)則，該方法結(jié)束；

若讀取的狀態(tài)塊為循環(huán)塊，則修改當(dāng)前狀態(tài)為非全循環(huán)狀態(tài)，輸出等價(jià)變換規(guī)則，該方法結(jié)束；

若讀取待判定狀態(tài)塊隊(duì)列為空，且當(dāng)前狀態(tài)為全順序狀態(tài)、全循環(huán)狀態(tài)或全嵌套循環(huán)狀態(tài)，則輸出可拼接規(guī)則，該方法結(jié)束。

3.根據(jù)權(quán)利要求1所述的狀態(tài)機(jī)可拼接性和拼接規(guī)則判定方法，其中步驟6中所述長(zhǎng)度與循環(huán)體長(zhǎng)度、總循環(huán)次數(shù)和已循環(huán)次數(shù)相關(guān)，表示為：長(zhǎng)度＝循環(huán)體長(zhǎng)度×(總循環(huán)次數(shù)-已循環(huán)次數(shù))。