1277.29 구별 불가능 상태와 Myhill-Nerode 정리