Especially considering that there are incremental algorithms for constructing the minimized DFA. For instance, I use one such algorithm in my library that (amon

Especially considering that there are incremental algorithms for constructing the minimized DFA. For instance, I use one such algorithm in my library that (among other things) uses a minimized DFA to store String sets in Java: https://github.com/danieldk/dictomaton https://github.com/danieldk/dictomaton (It also supports perfect hashing automata and Levenshtein automata.)