Bird's Array Notation

수와 연산 Numbers and Operations
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	<colbgcolor=#765432> 수 체계	자연수 (홀수 · 짝수 · 소수 · 합성수) · 정수 · 유리수 (정수가 아닌 유리수) · 실수 (무리수 · 초월수) · 복소수 (허수) · 사원수
표현	숫자 (아라비아 숫자 · 로마 숫자 · 그리스 숫자) · 기수법(과학적 기수법 · E 표기법 · 커누스 윗화살표 표기법 · 콘웨이 연쇄 화살표 표기법 ·BEAF· 버드 표기법) · 진법 (십진법 · 이진법 · 8진법 · 12진법 · 16진법 · 60진법) · 분수 (분모 · 분자 · 기약분수 · 번분수 · 연분수 · 통분 · 약분) · 소수 {유한소수 · 무한소수 (순환소수 · 비순환소수)} · 환원 불능 · 미지수 · 변수 · 상수
연산	사칙연산 (덧셈 · 뺄셈 · 곱셈 _구구단 · 나눗셈) · 역수 · 절댓값 · 제곱근 (이중근호) · 거듭제곱 · 로그 (상용로그 · 자연로그 · 이진로그) · 검산 · 연산자 · 교환자
	방식	암산 · 세로셈법 · 주판 · 산가지 · 네이피어 계산봉 · 계산기 · 계산자
용어	이항연산(표기법) · 항등원과 역원 · 교환법칙 · 결합법칙 · 분배법칙
기타	수에 관련된 사항 (0과 1 사이의 수 · 음수 · 작은 수 · 큰 수) · 혼합 계산 (48÷2(9+3) · 111+1×2=224 · 2+2×2) · 0으로 나누기(바퀴 이론) · 0의 0제곱		}}}}}}}}}

1. 개요2. 표기법

2.1. 선혈배열2.2. 차원배열2.3. 하이퍼 차원 배열2.4. 중첩 배열2.5. 하이퍼 중첩 배열

1. 개요

Bird's Array Notation은 Chris Bird[1]가 정의한 큰수를 표기하는 표기법이다. BEAF와 비슷해 보일수도 있지만, BEAF는 &표기법 부턴 정의가 잘못되어있지만, BAN은 큰 성장율을 가지는 표기법도 잘 정의 되어 있다.

2. 표기법

2.1. 선혈배열

[math(\{a,b\}=a^b)]
[math(\{a,b,c,...,d,1\}=\{a,b,c,...,d\})]
[math(\{a,1,b,c,d,...\}=a)]
[math(\{a,b,c,d,...\}=\{a,\{a,b-1,c,d,...\},c-1,d,...\})]
[math(\{a,b,1,1,...,1,1,c,d,e,...\}=\{a,a,a,a,..,a,\{a,b-1,1,1,...,1,1,c,d,e,...\},c-1,d,e,...\})]

2.2. 차원배열

[math(\{a,b,c,...,d[n]1\}=\{a,b,c,...,d\})]
[math(\{a,b,c,...,d[n]1[m]e,f,g,...,h\}=\{a,b,c,...,d[m]e,f,g,...,h\}\;(n<m))]
[math(\{a,b[n]c\}=\{a<n-1>b[n]c-1\})]
[math(\{a<1>b\}=\{\underbrace{a,a,...,a}_b\})]
[math(\{a<n>b\}=\{\underbrace{a<n-1>b[n]a<n-1>b[n]a<n-1>b[n]...[n]a<n-1>b}_b\})]
[math(\{a,b[n_1]1[n_2]...1[n_k]1,c,d,...\}=\{a<n_1-1>b[n_1]a<n_2-1>b[n_2]...a<n_k-1>b[n_k]\{a,b-1[n_1]1[n_2]...1[n_k]1,c,d,...\},c-1,d,...\}\;(1<n_1<n_2<...<n_k))]
[math(\{a,b[n_1]1[n_2]1[n_3]...1[n_k]c,d,...\}=\{a<n_1-1>b[n_1]a<n_2-1>b[n_2]a<n_3-1>[n_3]...a<n_k-1>b[n_k]c-1,d,...\})\;(n_1\ge2,\;n_1\ge n_2 \ge...\ge n_k))]

대괄호 보다 화살괄호를 먼저 계산해 주어야 한다

2.3. 하이퍼 차원 배열

[math(\{a<n_1,n_2,...,n_k>b\}=\{\underbrace{a<n_1-1,n_2,...,n_k>b[n_1,n_2,...,n_k]a<n_1-1,n_2,...,n_k>b[n_1,n_2,...,n_k]...[n_1,n_2,...,n_k]a<n_1-1,n_2,...,n_k>b}_b\})]
[math(\{a<n_1,n_2,...,n_k,1>b\}=\{a<n_1,n_2,...,n_k>b\})]
[math(\{a<0,c,...>b\}=\{a<b,c-1,...>b\})]
[math(\{a<0,1,1,...,1,c,...>b\}=\{a<b,b,b,...,b,c-1,...>b\})]

2.4. 중첩 배열

[math(\{a<0[n_2]n_1>b\}=\{a<b<n_2-1>b[n_2]n_1-1>b\})]
[math(\{a<0[n_1]1[n_2]...1[n_k]c,d,...>b\}=\{a<b<n_1-1>b[n_1]b<n_2-1>b[n_2]...b<n_k-1>b[n_k]c-1,d,...>b\}\\

(1<n_1<n_2<...<n_k))]

[math(\{a<0<0<...<0[n_2]n_1>...>2>2>b\}=\{a<0<0<...<b<n_2-1>b[n_2]n_1-1>...>2>2>b\})]
[math(\{a<0<0<...<0[n_1]1[n_2]...1[n_k]c,...>...>2>2>b\}=\{a<0<0<...<b<n_1-1>b[n_1]b<n_2-1>b[n_2]...b<n_k-1>b[n_k]c-1,...>...>2>2>b\}\\