1277.16 초기 상태와 수용 상태의 형식적 정의