상기 제1 상태는 상기 제1 상태에서 실행 가능한 후보 액션들에 의한 복수의 단순 상태들(simple states)을 포함하는 슈퍼 상태(super state)일 수 있다.
The first state may be a super state including a plurality of simple states by candidate actions executable in the first state.