1277.17 확장 전이 함수의 정의와 성질