1277.177 유한 상태 머신의 진단 가능성 (Diagnosability)