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

龙图腾网获悉南京航空航天大学申请的专利基于Android平台的形式语言与自动机仿真系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118363714B 。

龙图腾网通过国家知识产权局官网在2025-09-30发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410512800.5，技术领域涉及：G06F9/455；该发明授权基于Android平台的形式语言与自动机仿真系统是由胡军;王康星设计研发完成，并于2024-04-26向国家知识产权局提交的专利申请。

本基于Android平台的形式语言与自动机仿真系统在说明书摘要公布了：本发明公开了基于Android平台的形式语言与自动机仿真系统，包括基于Android平台的用户交互层、数据处理层、中间层、存储层；用户交互层提供进行有穷自动机、下推自动机、图灵机、正则的模型创建与修改的自动机画布；数据处理层用于进行有穷自动机仿真、下推自动机仿真、图灵机及扩展图灵机仿真、正则表达式与自动机仿真时的相关数据处理；中间层，用于对将画布上绘制的自动机序列化为自动机文件，以及对自动机文件进行反序列化；存储层，用于对自动机文件进行管理。本发明可实现多种类型自动机的可视化构建和仿真，模型数据的持久化存储，可以针对已知的错误进行处理，更适合初学者使用和教学演示。

本发明授权基于Android平台的形式语言与自动机仿真系统在权利要求书中公布了：1.基于Android平台的形式语言与自动机仿真系统，其特征在于，包括基于Android平台的用户交互层、数据处理层、中间层、存储层； 用户交互层，提供进行有穷自动机、下推自动机、图灵机、正则的模型创建与修改的自动机画布； 数据处理层，设有有穷自动机仿真模块、下推自动机仿真模块、图灵机及扩展图灵机仿真模块、正则表达式与自动机仿真模块，用于进行有穷自动机仿真、下推自动机仿真、图灵机及扩展图灵机仿真、正则表达式与自动机仿真时的相关数据处理； 中间层，用于对将画布上绘制的自动机序列化为自动机文件，以及对自动机文件进行反序列化； 存储层，用于对自动机文件进行管理； 所述有穷自动机仿真模块进行有穷自动机仿真时的相关数据处理，包括： 1有穷自动机的绘制，状态、状态转移函数的相关特异性绘制； 2检测有穷自动机的非确定性； 3基于输入字符串的自动机仿真：接受一个输入字符串，从初始状态开始每处理一个字符到达另一个状态，直到整个输入字符串都被处理完后，若当前状态在终结态，表示该输入字符串能被该自动机接受，反之不能接受； 4非确定性有穷自动机NFA转换为等价的确定性有穷自动机DFA： 对于DFA，直接通过转移函数进行模拟； 对于NFA，将NFA转换为DFA，使得当前状态每一个输入字符都有一个确定的下一状态，具体如下： 首先计算NFA中每个状态的闭包ε‑closures，ε‑closures表示从状态s，输入空字符可以到达的所有状态集合； 接着从初始状态的闭包开始，查询该闭包中所有状态输入指定字符可以达到的状态所属的闭包，若该闭包之前已生成过DFA中的状态，则使用该状态，若未生成过，则使用该闭包生成DFA中的一个确定性状态； 5将确定性有穷自动机DFA最小化： 先将目标自动机的所有状态集划分为非终结态集和终结态集； 对于每个非单个元素集合，都判断其是否可分，判断依据为，对于该集合中的状态，输入相同字符，能否到达相同状态，未达到相同状态的就需要将其分开，以此循环往复直到所有状态集都不再可分为止。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京航空航天大学，其通讯地址为：211100 江苏省南京市江宁区将军大道29号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。