1277.13 상태 집합의 형식적 정의