1277.196 신경망 기반 상태 머신 추출 연구