[发明专利]一种有限状态自动机的状态锁的检测方法及系统

权利要求书

1.一种有限状态自动机的状态锁的检测方法，其特征在于，包括：

获取有限状态自动机的可接收的状态以及所有的状态；

构造第一寄存器和第二寄存器；

将所有的所述可接收的状态放置于所述第一寄存器中；

将所述第二寄存器设置为空；

获取所述有限状态自动机的非接收的状态，并将获取的非接收的状态放置于所述第二寄存器中；所述非接收的状态进行转移得到可接收的状态；

将所述第二寄存器中的状态放置于所述第一寄存器中，把第一寄存器更新为第一寄存器和第二寄存器的并集；

判断所述第一寄存器中当前的状态是否等于所有的状态；

若是，则确定所述有限状态自动机不含状态锁；

若否，则判断所述第二寄存器是否为空；

若是，则确定所述有限状态自动机含有状态锁；若否，则返回所述将所述第二寄存器设置为空的步骤。

2.根据权利要求1所述的一种有限状态自动机的状态锁的检测方法，其特征在于，所述获取有限状态自动机的可接收的状态以及所有的状态，之后还包括：

根据所述可接收的状态确定所述有限状态自动机的可接收的状态集合；

根据所有的状态确定所述有限状态自动机的整个状态集合。

3.根据权利要求1所述的一种有限状态自动机的状态锁的检测方法，其特征在于，所述若是，则确定所述有限状态自动机含有状态锁，之后还包括：

根据状态锁中含有状态的个数确定所述状态锁的类型；含有状态的个数为1时，所述状态锁为死锁；含有状态的个数为多个时，所述状态锁为活锁。

4.根据权利要求1所述的一种有限状态自动机的状态锁的检测方法，其特征在于，所述若是，则确定所述有限状态自动机含有状态锁，之后还包括：

根据所有确定的状态锁确定所述有限状态自动机含有状态锁的个数。

5.一种有限状态自动机的状态锁的检测系统，其特征在于，包括：

状态获取模块，用于获取有限状态自动机的可接收的状态以及所有的状态；

寄存器构造模块，用于构造第一寄存器和第二寄存器；

第一寄存器第一设置模块，用于将所有的所述可接收的状态放置于所述第一寄存器中；

第二寄存器第一设置模块，用于将所述第二寄存器设置为空；

第二寄存器第二设置模块，用于获取所述有限状态自动机的非接收的状态，并将获取的非接收的状态放置于所述第二寄存器中；所述非接收的状态进行转移得到可接收的状态；

第一寄存器第二设置模块，用于将所述第二寄存器中的状态放置于所述第一寄存器中，把第一寄存器更新为第一寄存器和第二寄存器的并集；

第一判断模块，用于判断所述第一寄存器中当前的状态是否等于所有的状态；

不含状态锁确定模块，用于若是，则确定所述有限状态自动机不含状态锁；

第二判断模块，用于若否，则判断所述第二寄存器是否为空；

迭代模块，用于若是，则确定所述有限状态自动机含有状态锁；若否，则返回所述将所述第二寄存器设置为空的步骤。

6.根据权利要求5所述的一种有限状态自动机的状态锁的检测系统，其特征在于，还包括：

可接收的状态集合确定模块，用于根据所述可接收的状态确定所述有限状态自动机的可接收的状态集合；

整个状态集合确定模块，用于根据所有的状态确定所述有限状态自动机的整个状态集合。

7.根据权利要求5所述的一种有限状态自动机的状态锁的检测系统，其特征在于，还包括：

状态锁的类型确定模块，用于根据状态锁中含有状态的个数确定所述状态锁的类型；含有状态的个数为1时，所述状态锁为死锁；含有状态的个数为多个时，所述状态锁为活锁。

8.根据权利要求5所述的一种有限状态自动机的状态锁的检测系统，其特征在于，还包括：

状态锁的个数确定模块，用于根据所有确定的状态锁确定所述有限状态自动机含有状态锁的个数。