상태 전이 선택 알고리즘

실행할 상태 전이 세트는 다음 조건을 충족시킵니다.

이 선택 세트 정의가 강제적인 것은 아니지만 활성 상태 구성을 간단히 순회하면 선택 알고리즘이 구현됩니다.

각 상태와 관련된 상태 전이를 평가하는 상향식으로 활성 상태를 순회합니다. 이 순회는 우선순위 원칙을 위반하지 않도록 보장합니다. 유일한 문제점은 직교 상태 간의 상태 전이 충돌을 해결하는 것입니다. 컴포넌트 중 하나에서 상태 전이가 실행되면 각 And 상태 "잠금"을 통해 이 문제를 해결할 수 있습니다. 상향식 순회와 And 상태 잠금을 함께 사용하면 적절한 선택 세트가 보장됩니다.


피드백