1277.15 전이 함수의 형식적 정의