1277.194 파라메트릭 유한 상태 머신의 연구