DFA minimization: Double reversal versus split minimization algorithms | Publicación