노드 벡터 ( 1640 ) 의 노드 상태 필드 들 및 연산자 필드 들 은 이하 에서 U ( j ) , V ( j ) 로 표시 된다 ( 1 ≤ j ≤ N ) . 즉 , U ( j ) 및 V ( j ) 는 노드 레코드 ( 1642 ( j ) ) 를 정의 한다 ( 1 ≤ j ≤ N ) . 단계 ( 1836 ) 에서 , B 의 값 은 노드 벡터 ( 1640 ) 의 노드 상태 필드 U ( j ) 에 위치 하 며 , S ( Θ ) 의 값 은 노드 벡터 ( 1640 ) 의 연산자 필드 V ( j ) 에 위치 한다 . 모든 리프 레코드 들 ( 1622 ( 1 ) 내지 1622 ( N ) ) 이 처리 될 때 , 인덱스 j 는 리프 레코드 들 의 수 N 과 같 으며 , 노드 벡터 ( 1640 ) 의 각 노드 레코드 ( 1642 ) 는 각각 의 노드 연산자 및 노드 상태 를 갖 는다 . 단계 ( 1840 ) 에서 , 노드 벡터 ( 1640 ) 의 노드 레코드 들 ( 1642 ) 의 현재 수 ν 는 j ( 여기 서 j 는 N 과 같 음 ) 와 같 도록 설정 된다 . 단계 ( 1842 ) 에서 , 노드 레코드 들 의 현재 수 ν 가 1 보다 크 다면 , 동일 한 연산자 를 갖 는 모든 노드 레코드 들 ( 1642 ) 을 모으 고 그러 한 레코드 들 을 결합 하 기 위해 노드 벡터 는 스캐닝 된다 . 스캐닝 이전 에 , 노드 레코드 들 의 수 의 변화 를 검출 하 는 것 을 가능 하 게 하 기 위해 노드 레코드 들 의 현재 수 ν *= ν 가 기록 된다 ( 단계 1843 ) . 단계 ( 1844 ) 에서 인덱스 k 는 0 과 같 도록 설정 되 고 , 단계 ( 1846 ) 에서 는 노드 레코드 ( 1642 ( k ) 의 연산자 Θ = V ( k ) 를 기록 한다 . 단계 ( 1848 ) 에서 는 동일 한 연산자 Θ 를 갖 는 다음 의 ( subsequent ) 노드 레코드 들 의 수 μ 을 확인 하 기 위해 노드 벡터 ( 1640 ) 의 다음 노드 레코드 들 을 검사 한다 . 만약 확인 된 다음 노드 레코드 들 의 수 μ 이 0 이 라면 ( 단계 ( 1850 ) ) , 단계 ( 1852 ) 에서 인덱스 k 는 1 증가 하 고 , 만약 인덱스 k 가 노드 레코드 들 의 현재 수 ν 보다 작 다면 , 단계 ( 1846 ) 가 다시 수행 된다 . 그렇 지 않 으면 , 단계 ( 1856 ) 에서 는 동일 한 연산자 Θ 의 노드 레코드 들 의 ( μ + 1 ) 개 피연산자 들 을 모으 고 , 결합 된 노드 레코드 의 새로운 상태 B 를 결정 하 기 위해 연산자 들 Θ 를 ( μ + 1 ) 개 피연산자 들 에게 적용 한다 . 단계 ( 1860 ) 에서 , 다음 의 μ 개 의 확인 된 노드 레코드 들 은 삭제 되 고 , 단계 ( 1862 ) 에서 는 새로운 상태 B 를 노드 레코드 ( 1642 ( k ) ) 의 노드 상태 필드 U ( k ) 에 삽입 하 며 계승 연산자 S ( Θ ) 를 노드 레코드 ( 1642 ( k ) ) 의 연산자 필드 V ( k ) 에 삽입 한다 . 단계 ( 1864 ) 에서 , 남 아 있 는 노드 레코드 들 의 수 는 ( ν - μ ) 로 결정 된다 . 노드 벡터 ( 1640 ) 가 공통 연산자 의 노드 레코드 들 을 더 포함 하 고 있 는지 결정 하 기 위하 여 , 단계 ( 1864 ) 이후 에 단계 ( 1852 ) 및 단계 ( 1854 ) 가 적용 된다 . 만약 단계 ( 1854 ) 에서 k 가 ν 보다 작 은 것 으로 결정 된다면 , 단계 ( 1846 ) 에서부터 노드 벡터 의 스캐닝 이 계속 된다 . 그렇 지 않 고 , 단계 ( 1854 ) 에서 k = ν ( k 는 ν 를 초과 할 수 없 음 ) 인 것 으로 결정 된 경우 , 단계 ( 1855 ) 에서 는 ν 의 현재 값 ( 단계 ( 1864 ) 에서 마지막 으로 업데이트 됨 ) 이 이전 값 ν * 보다 작음 을 보장 한다 . 그렇 지 않 으면 , 단계 ( 188 ) 에서 오류 가 보고 된다 . 특히 , 사용자 에 의해 제공 된 부 울 식 이 부 정확 한 경우 단계 ( 1855 ) 의 요건 ν < ν * 는 만족 되 지 않 는다 . 만약 ν < ν * 이 면 , 단계 ( 1855 ) 다음 으로 단계 ( 1842 ) 가 따른다 . 만약 단계 ( 1842 ) 에서 남 아 있 는 노드 레코드 의 수 가 1 인 것 으로 결정 된 경우 , 남 아 있 는 노드 레코드 의 연산자 는 각각 의 피연산자 에 적용 되 어 상태 B * 를 결정 하 는 데 ( 단계 ( 1890 ) ) , 이 는 각각 의 편집 동작 을 결정 한다 .