[发明专利]一种有限状态自动机的状态锁的检测方法及系统有效
| 申请号： | 202110418903.1 | 申请日： | 2021-04-19 |
| 公开（公告）号： | CN113157353B | 公开（公告）日： | 2022-09-30 |
| 发明（设计）人： | 岳菊梅;闫永义;邓鹤;李东山;刘剑锋;孙广磊;康世禄 | 申请（专利权）人： | 河南科技大学 |
| 主分类号： | G06F9/448 | 分类号： | G06F9/448;G06F9/30 |
| 代理公司： | 北京高沃律师事务所 11569 | 代理人： | 王爱涛 |
| 地址： | 471000 河南*** | 国省代码： | 河南;41 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种有限状态自动机的状态锁的检测方法及系统。该方法包括获取有限状态自动机的可接收的状态以及所有的状态；构造第一寄存器和第二寄存器；将所有的可接收的状态放置于第一寄存器中；将第二寄存器设置为空；获取有限状态自动机的非接收的状态，并将获取的非接收的状态放置于第二寄存器中；将第二寄存器中的状态放置于第一寄存器中；判断第一寄存器中当前的状态是否等于所有的状态；若是，则确定有限状态自动机不含状态锁；若否，则判断所述第二寄存器是否为空；若是，则确定有限状态自动机含有状态锁；若否，则返回将所述第二寄存器设置为空的步骤。本发明能够方便地检测有限状态自动机的状态锁。 | ||
| 搜索关键词： | 一种 有限 状态 自动机 检测 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于河南科技大学，未经河南科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110418903.1/，转载请声明来源钻瓜专利网。
- 上一篇：基于分布式的工业互联网设备协同作业方法
- 下一篇：一种燃气换热器
