バードの配列表記 多次元配列

ウィキペディア

バードの配列表記

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/20 14:45 UTC 版)

多次元配列

多次元配列では、配列の一部を${\acute {}}a<c>b{\textrm {'}}$と表記する。線形配列と同様、BEAFと同じである。

Rule A1.${\acute {}}a<0>b{\textrm {'}}={\acute {}}a{\textrm {'}}$

Rule A2.${\acute {}}a<c>1{\textrm {'}}={\acute {}}a{\textrm {'}}$

Rule A3.${\acute {}}a<c>b{\textrm {'}}={\acute {}}a<c-1>b[c]a<c>(b-1){\textrm {'}}$

Rule M1.$\{a,b\}=a^{b}$

Rule M2.$\{\#[m]1[n]\#\}=\{\#[n]\#\}(m<n)$（これは上記のRule 2も含む）

Rule M3.$\{a,1\#\}=a$

Rule M4.$\{a,b[m_{1}]1[m_{2}]\cdots 1[m_{x}]c\#\}=\{a\langle m_{1}\rangle b[m_{1}]a\langle m_{2}\rangle b[m_{2}]\cdots a\langle m_{x}\rangle b[m_{x}](c-1)\#\}$

Rule M5.$\{a,b[m_{1}]1[m_{2}]\cdots 1[m_{x}]1,1,\cdots ,1,1,c\#\}=\{a\langle m_{1}\rangle b[m_{1}]a\langle m_{2}\rangle b[m_{2}]\cdots a\langle m_{x}\rangle b[m_{x}]a,a,\cdots ,1,1,c-1\#\}$

Rule M6.$\{a,b,\underbrace {1,\cdots ,1} _{d},c,\#\}=\{\underbrace {a,\cdots ,a} _{d+1},\{a,b-1,\underbrace {1,\cdots ,1} _{d},c,\#\},c-1,\#\}$

Rule M7.$\{a,b,c\#\}=\{a,\{a,b-1,c,\#\},c-1\#\}$

この配列は$[m]$を次元セパレータとして用いている。