Myhill-Nerode Theorem