论文研究 混沌协同人工鱼粒子群混合算法及其应用.pdf

给出了确定型格值有限自动机的定义，并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFA M=Q,Σ,δ,q0,σ的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk，证明了Rk=Rk-1∩Sk，由此得到Q/Rk的等价类为Q/Rk-1中等价类与Q/Sk中等价类的非空交集全体。引入了Hk，并证明了可由Hk求取Q/Sk，从而得到仅利用集合运算便可求取Q/Rk的算法，最终给出了DLFA最小化算法的一个容易实现的构造型描述和相应示例。