1270.57 상태 전이 규칙과 유효 경로