1277.175 유한 상태 머신의 계측 가능성과 관찰 가능성