1281.38 가드 함수와 전이 조건의 관계