1277.5 결정론적 유한 오토마타 (DFA)의 정의