1277.24 우선형 문법과 유한 상태 머신