バードの配列表記 線形配列

ウィキペディア

バードの配列表記

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

線形配列

線形配列では、バードの配列表記はBEAFと同じである。

Rule 1-1.$\{a\}=a$

Rule 1-2.$\{a,b\}=a^{b}$

Rule 2.$\{\#,1\}=\{\#\}$

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

Rule 4.$\{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 5.$\{a,b,c\#\}=\{a,\{a,b-1,c,\#\},c-1\#\}$

ただし$\#$は配列の変わらない部分を指す。

線形配列では、急増加関数で$\{\underbrace {a,\cdots ,a} _{a}\}\approx f_{\omega ^{\omega }}(a)$と近似される。