バードの配列表記
多次元配列では、配列の一部を ́ a < c > b ' {\displaystyle {\acute {}}a<c>b{\textrm {'}}} と表記する。線形配列と同様、BEAFと同じである。
Rule A1. ́ a < 0 > b ' = ́ a ' {\displaystyle {\acute {}}a<0>b{\textrm {'}}={\acute {}}a{\textrm {'}}}
Rule A2. ́ a < c > 1 ' = ́ a ' {\displaystyle {\acute {}}a<c>1{\textrm {'}}={\acute {}}a{\textrm {'}}}
Rule A3. ́ a < c > b ' = ́ a < c − 1 > b [ c ] a < c > ( b − 1 ) ' {\displaystyle {\acute {}}a<c>b{\textrm {'}}={\acute {}}a<c-1>b[c]a<c>(b-1){\textrm {'}}}
Rule M1. { a , b } = a b {\displaystyle \{a,b\}=a^{b}}
Rule M2. { # [ m ] 1 [ n ] # } = { # [ n ] # } ( m < n ) {\displaystyle \{\#[m]1[n]\#\}=\{\#[n]\#\}(m<n)} (これは上記のRule 2も含む)
[ A ] {\displaystyle [A]} と [ B ] {\displaystyle [B]} のどちらが優位なのかを決定する方法は、次のように表現される。
Step 1. [ A 1 ] = [ A ] , [ A 2 ] = [ A 1 ] , [ B 1 ] = [ B ] , [ B 2 ] = [ B 1 ] {\displaystyle [A_{1}]=[A],[A_{2}]=[A_{1}],[B_{1}]=[B],[B_{2}]=[B_{1}]} とする。
Step 2.もし L e v ( A ) > L e v ( B ) {\displaystyle \mathrm {Lev} (A)>\mathrm {Lev} (B)} なら、 [ A ] > [ B ] {\displaystyle [A]>[B]} 、 L e v ( A ) < L e v ( B ) {\displaystyle \mathrm {Lev} (A)<\mathrm {Lev} (B)} なら、 [ A ] < [ B ] {\displaystyle [A]<[B]} とする。 もし L e v ( A ) = L e v ( B ) > 0 {\displaystyle {\displaystyle \mathrm {Lev} (A)=\mathrm {Lev} (B)>0}} なら、Step 3へ、それ以外はStep 6へ。
Step 3. [ A ∗ ] {\displaystyle [A*]} と [ B ∗ ] {\displaystyle [B*]} をそれぞれ配列 [ A 2 ] {\displaystyle [A_{2}]} と [ B 2 ] {\displaystyle [B_{2}]} の最高位のセパレータとする。