Myhill-Nerode Theorem 3