1280.84 계층적 FSM의 도달 가능성 분석