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”自动机自动转换算法的构造、证明与改进。