[发明专利]一种状态机可拼接性和拼接规则判定方法和装置

权利要求书

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中所述长度与循环体长度、总循环次数和已循环次数相关，表示为：长度＝循环体长度×(总循环次数-已循环次数)。