一种有限状态自动机的状态锁的检测方法及系统
摘要:
本发明涉及一种有限状态自动机的状态锁的检测方法及系统。该方法包括获取有限状态自动机的可接收的状态以及所有的状态;构造第一寄存器和第二寄存器;将所有的可接收的状态放置于第一寄存器中;将第二寄存器设置为空;获取有限状态自动机的非接收的状态,并将获取的非接收的状态放置于第二寄存器中;将第二寄存器中的状态放置于第一寄存器中;判断第一寄存器中当前的状态是否等于所有的状态;若是,则确定有限状态自动机不含状态锁;若否,则判断所述第二寄存器是否为空;若是,则确定有限状态自动机含有状态锁;若否,则返回将所述第二寄存器设置为空的步骤。本发明能够方便地检测有限状态自动机的状态锁。
0/0