1277.176 부분 관찰 가능 유한 상태 머신