1277.98 코알지브라적 관점에서의 상태 머신