[發明專利]一種狀態機可拼接性和拼接規則判定方法和裝置在審
| 申請號: | 201410836240.5 | 申請日: | 2014-12-26 |
| 公開(公告)號: | CN104572029A | 公開(公告)日: | 2015-04-29 |
| 發明(設計)人: | 王磊;楊磊;謝少林 | 申請(專利權)人: | 中國科學院自動化研究所 |
| 主分類號: | G06F9/38 | 分類號: | G06F9/38;G06F9/46 |
| 代理公司: | 中科專利商標代理有限責任公司 11021 | 代理人: | 宋焰琴 |
| 地址: | 100190 *** | 國省代碼: | 北京;11 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 一種 狀態機 拼接 規則 判定 方法 裝置 | ||
1.一種狀態機可拼接性和拼接規則判定方法,包括以下步驟:
步驟1,進行初始化,將當前狀態置為空狀態;
步驟2,從待拼接狀態塊隊列中讀取一個狀態塊,根據該狀態塊的類型和當前狀態判斷該狀態的處理方法,修改當前狀態,并跳轉到相應規則的步驟中;
步驟3,判斷全順序塊的拼接規則,保持當前狀態為全順序狀態,跳至步驟2;
步驟4,判斷全循環塊的拼接規則,保持當前狀態為全循環狀態,且讀入的狀態塊為循環塊,調用步驟6進行長度比較:
若步驟6返回長度相同,且比較的左右循環塊循環次數相同,則保持當前狀態為全循環狀態,跳至步驟2;
若步驟6返回長度相同,且比較的左右循環塊循環次數不同,則輸出等價變換規則,方法結束;
若步驟6返回結果不同信息,則輸出不可拼接,該方法結束;
步驟5,判斷全嵌套循環塊的拼接規則,保持當前狀態為全嵌套循環狀態,且讀入的狀態塊為嵌套循環塊,調用步驟6進行長度比較:
若步驟6返回長度相同,且比較的左右嵌套循環塊循環次數相同,則保持當前狀態為全嵌套循環狀態,跳至步驟2;
若步驟6返回長度相同,且比較的左右嵌套循環塊循環次數不同,則輸出等價變換規則,方法結束;
若步驟6返回長度不同,則輸出不可拼接,該方法結束;
步驟6,確定輸入的兩個循環塊或兩個嵌套循環塊長度是否一致。
2.根據權利要求1所述的狀態機可拼接性和拼接規則判定方法,其中步驟2中所述根據該狀態塊的類型和當前狀態判斷該狀態的處理方法,修改當前狀態,并跳轉到相應規則的步驟中的步驟包括:
若當前狀態為空狀態:
若讀取的狀態塊為順序塊,置當前狀態為全順序狀態,重新開始步驟2;
若該狀態塊為循環塊,置當前狀態為全循環狀態,記錄當前循環塊的循環長度,重新開始步驟2;
若該狀態塊為嵌套循環塊,置當前狀態為全嵌套循環狀態,記錄當前循環塊的循環長度,重新開始步驟2;
若當前狀態為全順序狀態:
若讀取的狀態塊為順序塊,則跳轉到步驟3;
若讀取的狀態塊為循環塊或嵌套循環塊,則修改當前狀態為非全順序狀態,輸出等價變換規則,該方法結束;
若當前狀態為全循環狀態:
若讀取的狀態塊為循環塊,則跳轉到步驟4;
若讀取的狀態塊為順序塊,則修改當前狀態為非全順序狀態,輸出等價變換規則,該方法結束;
若讀取的狀態塊為嵌套循環塊,則修改當前狀態為非全循環狀態,輸出等價變換規則,該方法結束;
若當前狀態為全嵌套循環狀態:
若讀取的狀態塊為嵌套循環塊,則跳轉到步驟5;
若讀取的狀態塊為順序塊,則修改當前狀態為非全順序狀態,輸出等價變換規則,該方法結束;
若讀取的狀態塊為循環塊,則修改當前狀態為非全循環狀態,輸出等價變換規則,該方法結束;
若讀取待判定狀態塊隊列為空,且當前狀態為全順序狀態、全循環狀態或全嵌套循環狀態,則輸出可拼接規則,該方法結束。
3.根據權利要求1所述的狀態機可拼接性和拼接規則判定方法,其中步驟6中所述長度與循環體長度、總循環次數和已循環次數相關,表示為:長度=循環體長度×(總循環次數-已循環次數)。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于中國科學院自動化研究所,未經中國科學院自動化研究所許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201410836240.5/1.html,轉載請聲明來源鉆瓜專利網。





