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

摘要

本发明公开了一种状态机拼接规则判定方法，以及基于该方法的状态机判定装置。本方法均以状态块为判定对象，对于两个或多个状态块，判断它们是否具有可拼接性，以及拼接生成的复合状态块的类型，生成复合状态块的类型包括含有嵌套循环块的全循环块类型、非全顺序块类型、全顺序块类型、全循环块类型和全嵌套循环块类型。本发明的方法能够保证状态机拼接过程正确和高效地进行，本发明的装置作为合并状态机的重要子装置，更加方便拼接装置的调试和修改，以及功能的移植和增加。

主权项

一种状态机可拼接性和拼接规则判定方法，包括以下步骤：步骤1，进行初始化，将当前状态置为空状态；步骤2，从待拼接状态块队列中读取一个状态块，根据该状态块的类型和当前状态判断该状态的处理方法，修改当前状态，并跳转到相应规则的步骤中；步骤3，判断全顺序块的拼接规则，保持当前状态为全顺序状态，跳至步骤2；步骤4，判断全循环块的拼接规则，保持当前状态为全循环状态，且读入的状态块为循环块，调用步骤6进行长度比较：若步骤6返回长度相同，且比较的左右循环块循环次数相同，则保持当前状态为全循环状态，跳至步骤2；若步骤6返回长度相同，且比较的左右循环块循环次数不同，则输出等价变换规则，方法结束；若步骤6返回结果不同信息，则输出不可拼接，该方法结束；步骤5，判断全嵌套循环块的拼接规则，保持当前状态为全嵌套循环状态，且读入的状态块为嵌套循环块，调用步骤6进行长度比较：若步骤6返回长度相同，且比较的左右嵌套循环块循环次数相同，则保持当前状态为全嵌套循环状态，跳至步骤2；若步骤6返回长度相同，且比较的左右嵌套循环块循环次数不同，则输出等价变换规则，方法结束；若步骤6返回长度不同，则输出不可拼接，该方法结束；步骤6，确定输入的两个循环块或两个嵌套循环块长度是否一致。