DFA Minimization Based on Backward Depth Information

[re-thc]

Hi, any chance we can implement https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5091862/ ? It claims to be faster than all the existing methods available. Thanks!

[amoeller]

Thanks for the pointer! Please note that dk.brics.automaton already supports multiple minimization algorithms, including Valmari's (https://github.com/cs-au-dk/dk.brics.automaton/blob/master/src/dk/brics/automaton/MinimizationOperations.java). The paper you refer to unfortunately only contains an experimental comparison with the Hopcroft algorithm, and the experiments appear to be relatively simple, so it's not clear how well the results generalize. If you can provide a pull request, that would be great :-)