1277.6 결정론적 유한 오토마타의 형식적 표현