Repair future-sensitive DFA minimization

States with the same immediate acceptance can still be separated by a future suffix. Propagate distinguishability through transition targets until no pair changes.

Work with the stack you want to practice. Your workspace and timer start after you choose.