[fsa] How does minimization work?