1277.4 형식 언어와 유한 상태 머신