노드 레코드 ( 1642 ( 2 ) ) 및 노드 레코드 ( 1642 ( 3 ) ) 는 공통 연산자 Θ 10 을 갖 는다 . 연산자 Θ 10 는 피연산자 B 9 및 B 8 에 적용 되 어 , 노드 레코드 ( 1642 ( 2 ) ) 의 노드 상태 필드 에 위치 하 는 새로운 상태 B 10 을 생성 한다 . 연산자 Θ 10 의 계승 연산자 Θ 11 은 노드 레코드 ( 1642 ( 2 ) ) 의 노드 연산자 필드 에 위치 한다 . 노드 레코드 ( 1642 ( 1 ) ) 및 노드 레코드 ( 1642 ( 2 ) ) 의 공통 연산자 Θ 11 은 피연산자 B 1 및 B 10 에 적용 되 어 부울 식 의 출력 B * 을 생성 한다 .