Show using the Myhill-Nerode Theorem that this procedure produces a DFA with the minimal number of states.