A polynomial double reversal minimization algorithm for deterministic finite automata | Publicación