资料下载
NFA→FA→GFA自动机转换算法
杨平
分享资料个
研究了不确定有穷自动机NFA、确定有穷自动机FA、规范有穷自动机GFA的基本关系与等价转换；给出了“NFA→FA”等价转换算法与“FA→GFA”等价转换算法，构造性证明了从FA到GFA的存在性，提供了自动机极小化算法的研究基础。
关 键 词 不确定自动机; 确定自动机; 规范自动机; 等价转换算法; 极小化
Abstract The essential relationship and equal value transformation of Non-Finite Automat, Finite Automat and Gauge Finite Automat (abbreviated as NFA, FA & GFA) is studied. An equal value transforming algorithms of "NFA→FA” and "FA→GFA” are given, the existing nature from FA To GFA is proved by construction, with which the basis of an algorithm research on the minimum of an Automat is provided.
Key words non-finite automat; finite automat; gage automat; equal value transforming algorithm; minimum
文献[1～7]论及不确定有穷自动机“NFA(Non-Finite Automat)确定有穷自动机→FA(Finite Automat)规范有穷自动机→GFA(Gage Finite Automat)”等价转换，但存在不足：仅有公理化结论，而未见构造性算法，且在“FA→GFA”等价转换理论证明中存在不严谨之处[1]。为此，本文给出“NFA→FA→GFA”自动机自动转换算法的构造、证明与改进。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
- 相关下载
- 相关文章
