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

本发明提供了一种基于树结构的Muller自动机确定化方法包括：构造初始状态树作为确定性自动机的初始状态；从预定义的字母表中读出字母并将其赋予初始状态树以改变其结构从而重新生成状态树，均作为确定性自动机的一个新状态以此扩充状态集合，并记录转换...
该专利属于西安电子科技大学所有，仅供学习研究参考，未经过西安电子科技大学授权不得商用。

详细技术文档下载地址

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