一种状态机可拼接性和拼接规则判定方法和装置

    公开(公告)号:CN104572029A

    公开(公告)日:2015-04-29

    申请号:CN201410836240.5

    申请日:2014-12-26

    Inventor: 王磊 杨磊 谢少林

    CPC classification number: G06F9/38

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

Patent Agency Ranking