증명 가능한 행동적 구분

행동적 구분은 행동적 동치의 이중화를 통해 정의되며, 이는 다양한 상태 기반 시스템에 대한 구분 가능성의 유한 증명을 가능하게 한다.