Myphill Nerode does the following:

• A. Minimization of DFA
• B. Tells us exactly when a language is regular
• C. Minimization of DFA and tells us exactly when a language is regular
• D. None of the mentioned