蚁群算法

判断当前状态是否为可归前缀的状态

判断当前是否为结束状态

根据提供的文法推导出可归前缀，并转化为DFA

是

成功

否

根据DFA判断是否能够能够发生状态转换

根据对应的文法对分析栈移出n位并移入归约的非终结符，在DFA中的状态也退后n位或者重新判断现在的分析栈

向分析栈中移入字符

错误