1290.77 추상 상태 머신에서 구체 상태 머신으로의 정제