1263.40 상태 전이 규칙과 유효한 전이 경로