温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明提出了一种获取LTLf最小自动机的方法，所述方法基于Brzozowski最小化自动机构造理论来完成LTLf到最小DFA构造。包括：对于给定的LTLf公式，首先利用工具MONA构造得到LTLf对应的反向确定化自动机，这个自动机可以接收原...
该专利属于上海工业控制安全创新科技有限公司所有，仅供学习研究参考，未经过上海工业控制安全创新科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。