1277.32 최소 DFA의 유일성 정리