1277.179 유한 상태 머신의 불투명성 (Opacity) 분석