NFA→FA→GFA自动机转换算法

研究了不确定有穷自动机NFA、确定有穷自动机FA、规范有穷自动机GFA的基本关系与等价转换;给出了“NFA→FA”等价转换算法与“FA→GFA”等价转换算法,构造性证明了从FA到GFA的存在性,提供了自动机极小化算法的研究基础。