买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉西安电子科技大学申请的专利一种基于树结构的Muller自动机确定化方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120743395B 。

龙图腾网通过国家知识产权局官网在2025-12-23发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511139584.5，技术领域涉及：G06F9/448；该发明授权一种基于树结构的Muller自动机确定化方法是由王文胜;田聪;刘瑾;于斌;马润哲设计研发完成，并于2025-08-14向国家知识产权局提交的专利申请。

本一种基于树结构的Muller自动机确定化方法在说明书摘要公布了：本发明提供了一种基于树结构的Muller自动机确定化方法包括：构造初始状态树作为确定性自动机的初始状态；从预定义的字母表中读出字母并将其赋予初始状态树以改变其结构从而重新生成状态树，均作为确定性自动机的一个新状态以此扩充状态集合，并记录转换过程中状态树的迁移信息；从状态集合中提取状态树读入字母表中字母重新生成状态树以更新状态集合；重复该过程直至未产生新的状态树得到最终状态集合及迁移集合；将迁移集合中的迁移分配至最终状态集合中相应节点对应的集合对，从而定义确定性自动机的接收条件。状态迁移系统及接收条件构成最终的确定性自动机。本发明可以降低状态复杂度，提升计算效率，简化实现流程，提高工程可行性。

本发明授权一种基于树结构的Muller自动机确定化方法在权利要求书中公布了：1.一种基于树结构的Muller自动机确定化方法，其特征在于，包括： S100，构造初始状态树作为确定性自动机的初始状态； S200，从预定义的字母表中读出字母并将其赋予所述初始状态树，从而改变所述初始状态树的结构重新生成状态树；在当前循环转换过程中，从字母表中读出新字母赋给状态集合中状态树以改变其结构从而重新生成状态树，记录当前循环转换过程中状态树的迁移信息； S300，将当前循环转换过程中重新生成的状态树放入当前状态集合中，组成新的状态集合，重复S200的过程直至未产生新的状态树得到确定性自动机的最终状态集合以及迁移集合； S400，将迁移集合中的迁移分配至最终状态集合中相应节点对应的集合对，从而定义确定性自动机的接收条件得到确定性接收机； S200包括： S210，从预定义的字母表中读出字母，并将其赋予所述初始状态树以使其根据字母改变自身的结构和状态从而重新生成状态树M； S220，在当前循环转换过程中遍历所述状态树M中的节点，利用树状结构转换算法依次执行更新状态标签、生成兄弟节点、水平合并兄弟节点、垂直合并非叶子节点、重命名节点和为叶子节点生成孩子节点的过程得到状态树M′； S230，记录状态树M1迁移至状态树M′的迁移信息；其中，状态树M1为状态树M中节点的状态标签更新后的状态树。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安电子科技大学，其通讯地址为：710071 陕西省西安市雁塔区太白南路2号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。