Automaton determinization and minimization
4 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
DFA minimizationSpeech and NLP transducers
automata-languages
- Hopcroft's minimizationPartition refinementcanonautomata-languages
- Moore's minimizationstandalonestandardautomata-languages
- Brzozowski minimizationDouble reversal-determinizationstandardautomata-languages
- Weighted automaton determinizationstandalonespecialistautomata-languages