[发明专利]一种层次式时间自动机平展化算法

权利要求书

1.一种层次式时间自动机平展化算法，其特征在于包括如下步骤：

（1）针对层次式时间自动机中的每一个非根顺序时间自动机，相应地添加inactive状态；

（2）针对每个非根节点顺序时间自动机，添加一个特殊状态，并从源于复合状态的转移的相应的源限制函数值中的每个状态添加相应的转移到该特殊状态，并将该转移对应的事件扩充为广播通道类型,并将上面到达新状态的转移事件扩充为该广播通道类型的接受类型；

（3）从步骤（2）每个顺序时间自动机中新添加的特殊状态出发引出新的转移，到达步骤（1）中所添加的对应的顺序时间自动机中的inactive状态。

2.如权利要求1所述的一种层次式时间自动机平展化算法，其特征在于：所述步骤（1）与步骤（2）之间，还包括如下步骤：

（a）遍历层次式时间自动机中的每一个复合状态，判断其是否包含历史信息，如果不包含，转步骤（b1），如果包含，则转步骤（c1）；

（b1）针对每一个进入无历史信息的复合状态的转移，从inactive状态添加这些复合状态内部相应的默认初入状态，触发事件同于t的触发事件；如果复合状态本身是初始状态，那么该状态中的默认初入状态被标记为初入状态，否则将步骤（1）添加的inactive状态标记为初入状态；

（b2）为同步各个顺序自动机之间的并行执行，将进入复合状态的每一个转移事件扩充为广播通道的发出类型,而在其相应的子状态顺序时间自动机中，把从inactive状态到默认初入状态的事件扩充标记为该广播通道类型的接受类型；转步骤（2）；

（c1）如果复合状态中有历史信息，针对其中的每一个子状态添加一个布尔变量，并将其中初入状态的变量初始化为真值，其余的赋予假值，当内部发生状态转移的时候，相应的布尔变量值会被重置，使得最近一次被访问的状态对应的变量为真值；

（c2）针对复合状态的每一个子顺序自动机，添加一个选择状态，从该选择状态出发引出到达该子顺序自动机中的每一个状态的转移，转移的卫式条件为该状态对应的布尔变量值为真；如果复合状态的历史类型为浅历史类型，那么步骤（c1）、（c2）的操作止于复合状态的直接子顺序自动机层，如果复合状态的历史类型为深历史类型，那么步骤（c1）、（c2）的操作递归至最低一层。