机译:确定性有限自动机的多项式双重逆最小化算法
DFA minimization; Atomic automata; Polynomial double reversal algorithm;
机译:确定性有限自动机的多项式双重逆最小化算法
机译:确定性有限自动机局部可测性问题的多项式时间算法
机译:超最小化确定的有限状态自动机
机译:基于状态转移对称性的最小化确定性有限自动机的预处理算法
机译:有限逆向自动执行
机译:基于后向深度信息的有效确定性有限自动机最小化
机译:高效的确定性有限自动机分割 - 源自Brzozowski算法的最小化
机译:有限自动机最小化算法的分类