- 专利标题: 一种有限状态自动机的状态锁的检测方法及系统
-
申请号: CN202110418903.1申请日: 2021-04-19
-
公开(公告)号: CN113157353A公开(公告)日: 2021-07-23
- 发明人: 岳菊梅 , 闫永义 , 邓鹤 , 李东山 , 刘剑锋 , 孙广磊 , 康世禄
- 申请人: 河南科技大学
- 申请人地址: 河南省洛阳市洛龙区开元大道263号
- 专利权人: 河南科技大学
- 当前专利权人: 河南科技大学
- 当前专利权人地址: 河南省洛阳市洛龙区开元大道263号
- 代理机构: 北京高沃律师事务所
- 代理商 王爱涛
- 主分类号: G06F9/448
- IPC分类号: G06F9/448 ; G06F9/30
摘要:
本发明涉及一种有限状态自动机的状态锁的检测方法及系统。该方法包括获取有限状态自动机的可接收的状态以及所有的状态;构造第一寄存器和第二寄存器;将所有的可接收的状态放置于第一寄存器中;将第二寄存器设置为空;获取有限状态自动机的非接收的状态,并将获取的非接收的状态放置于第二寄存器中;将第二寄存器中的状态放置于第一寄存器中;判断第一寄存器中当前的状态是否等于所有的状态;若是,则确定有限状态自动机不含状态锁;若否,则判断所述第二寄存器是否为空;若是,则确定有限状态自动机含有状态锁;若否,则返回将所述第二寄存器设置为空的步骤。本发明能够方便地检测有限状态自动机的状态锁。
公开/授权文献
- CN113157353B 一种有限状态自动机的状态锁的检测方法及系统 公开/授权日:2022-09-30