[发明专利]一种获取LTLf最小自动机的方法、设备、计算机可读存储介质在审
| 申请号： | 202011101650.7 | 申请日： | 2020-10-15 |
| 公开（公告）号： | CN114371849A | 公开（公告）日： | 2022-04-19 |
| 发明（设计）人： | 朱淑芳;卢卡斯M.塔巴雅拉;蒲戈光;摩西Y.瓦尔迪;刘虹;倪华;杨昆 | 申请（专利权）人： | 上海工业控制安全创新科技有限公司 |
| 主分类号： | G06F8/40 | 分类号： | G06F8/40 |
| 代理公司： | 上海德禾翰通律师事务所 31319 | 代理人： | 夏思秋 |
| 地址： | 200333 上海市*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出了一种获取LTLf最小自动机的方法，所述方法基于Brzozowski最小化自动机构造理论来完成LTLf到最小DFA构造。包括：对于给定的LTLf公式，首先利用工具MONA构造得到LTLf对应的反向确定化自动机，这个自动机可以接收原LTLf接收语言的反向序列；将该反向确定化自动机进行倒置，从而得到一个非确定有限状态自动机(Nondeterministic Finite Automata,NFA)；在NFA上进行子集构造法计算，并在该计算之后进行可达状态计算，由此删除所有的不可达状态。根据Brzozowski理论，该DFA就是LTLf公式对应的最小化DFA。 | ||
| 搜索关键词： | 一种 获取 ltlf 最小 自动机 方法 设备 计算机 可读 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海工业控制安全创新科技有限公司，未经上海工业控制安全创新科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011101650.7/，转载请声明来源钻瓜专利网。
