1277.65 유한 상태 머신의 도달 가능성 분석