도 43 에 는 0 내지 2 × μ 로서 인덱스 된 ( 2 × μ + 1 ) 셀 을 가진 배열 ( 4320 ) 을 이용 하 여 , R 0 내지 R μ - 1 로서 표기 된 μ 규칙 들 과 A 1 내지 A 2 μ ( μ ＞ 1 ) 로 표기 된 2 × μ 동작 에 대한 도 40 의 완전 규칙 트리 를 나타내 는 정규 데이터 구조 ( canonical data structure ) 가 도시 된다 . μ = 7 에 대한 셀 인덱스 들 은 표시 된 대로 1 내지 14 ( 참조 번호 4310 ) 이 다 . 인덱스 j ( 0 ≤ j ＜ μ ) 의 배열 ( 4320 ) 의 셀 은 분류 된 규칙 들 을 저장 하 는 메모리 디바이스 ( 도시 되 지 않 음 ) 에 인코딩 된 규칙 에 대한 포인터 ( 참조 번호 4316 ) 를 저장 한다 . 인덱스 j ( 1 ≤ j ＜ 2 × μ ) 의 배열 ( 4320 ) 내 의 셀 은 동작 들 의 목록 을 저장 하 는 메모리 디바이스 ( 도시 되 지 않 음 ) 에 인코딩 된 동작 에 대한 포인터 ( 참조 번호 4314 ) 를 저장 한다 . 인덱스 j ( 0 ≤ j ＜ μ ) 의 배열 ( 4320 ) 내 의 셀 은 라인 4325 에 표시 된 바 와 같이 인덱스 ( 2 j + 1 ) 및 ( 2 j + 2 ) 의 2 개 의 셀 로 이어진다 . 인덱스 j = 0 의 셀 은 루트 규칙 R 0 의 식별자 를 저장 하 고 , 인덱스 1 및 2 의 셀 로 이어진다 . 인덱스 j = 1 의 셀 은 동작 A 1 및 규칙 R 1 에 대한 포인터 들 을 저장 하 고 , 인덱스 3 및 4 의 셀 로 이어진다 . 인덱스 j = 2 의 셀 은 동작 A 2 및 규칙 R 2 에 대한 포인터 들 을 저장 하 고 , 인덱스 5 및 6 ( 2 × 2 + 1 및 2 × 2 + 2 ) 의 셀 로 이어진다 . 인덱스 j = 3 의 셀 은 동작 A 3 및 규칙 R 3 에 대한 포인터 들 을 저장 하 고 , 인덱스 7 및 8 ( 2 × 3 + 1 및 2 × 3 + 2 ) 의 셀 로 이어진다 . 인덱스 j = 4 의 셀 은 동작 A 4 및 규칙 R 4 에 대한 포인터 들 을 저장 하 고 , 인덱스 9 및 10 ( 2 × 4 + 1 및 2 × 4 + 2 ) 의 셀 로 이어진다 . 인덱스 j = 5 의 셀 은 동작 A 5 및 규칙 R 5 에 대한 포인터 들 을 저장 하 고 , 인덱스 11 및 12 의 셀 로 이어진다 . 인덱스 j = 6 의 셀 은 동작 A 6 및 규칙 R 6 에 대한 포인터 들 을 저장 하 고 , 인덱스 13 및 14 의 셀 로 이어진다 . 인덱스 7 내지 14 의 셀 은 동작 A 7 내지 A 14 에 대한 포인터 들 을 저장 한다 .