Chapter 1281. 상태 전이 조건과 가드 함수 (Transition Conditions and Guard Functions)