1279.71 선언적 상태 머신 정의와 코드 생성