1277.75 CTL* 논리와 유한 상태 머신