1277.95 유한 상태 머신의 카테고리론적 해석