The original nondeterministic FSA I have is:
After converting this to a DFA I get:
If I use the Myhill-Nerode theorem on the current DFA, I get all pairs marked, so this is already minimized. But I think this is incorrect.
I want to minimize this DFA. How should I do this using the Myhill-Nerode theorem, since some of the states are merged already?