바쁜 비버

language=en에서는 최대 5개 상태를 가진 바쁜 비버가 첫 10만번째 움직임에서 메모리 테이프의 상태를 위에서 아래로 쭉 보여준다. 여기서 주황은 1, 흰색은 0을 의미한다.(세로로 압축된 그림) **바쁜 비버**(Busy beaver) 게임이란 이론 컴퓨터 과학에서 가능한 가장 많은 출력을 생성하거나 가장 긴 시간동안 실행되는 (정의에 따라 주어진) 특정한 크기의 종료되는 컴퓨터 프로그램을 찾는 것을 말한다.url-status=live 여기서 무한히 많은 출력을 생성하거나 무한한 시간동안 실행되는 무한 루프 프로그램은 쉽게 상상할 수 있기 때문에 바쁜 비버 게임에서 제외한다. 게임에서 사용되는 프로그램은 전통적인 프로그래밍 언어가 아닌 최초의 컴퓨터 수학 모델language=en중 하나인 n상태 튜링 기계를 이용한다. 튜링 기계는 무한히 긴 테이프와 프로그램의 "소스 코드" 역할을 하는 유한한 상태 집합 둘로 구성되어 있다. 여기서 가장 많은 출력을 생성한다는 말은 테이프에 가장 많은 수의 1을 기록하는 것으로 정의하며 이를 "최대 점수를 달성"하는 것이라고도 말한다. 가장 긴 시간동안 실행된다는 말은 가장 오랫동안 기계가 움직이다 정지한다는 것으로 정의한다. n상태 바쁜 비버 게임은 n개의 상태를 가진 가장 오랫동안 실행되거나 최대 점수를 달성하는 정지하는 튜링 기계를 찾는 게임이다. 이런 튜링 기계는 빈 테이프에서 시작하며, 테이프에는 오직 0과 1만 써 넣을 수 있다(이진 튜링 기계)라고 가정한다. 게임의 목적은 기계가 최종적으로는 멈추게 하면서 최고 점수, 혹은 최장 실행 시간을 목표로 상태를 계속 전환하게 프로그래밍 하는 것이다. **n번째 바쁜 비버**, 또는 간단하게 **BB-n**이나 "바쁜 비버"란 n상태 바쁜 비버 게임에서 이기는 튜링 기계를 뜻한다.url-status=live 이 기계는 정의에 따라 다른 모든 가능한 n상태의 경쟁 튜링 기계 중에서 가장 높은 점수를 얻거나 가장 오랜 시간 동안 실행된다. 각각의 정의에 따라 n상태 바쁜 비버의 최고 점수 또는 최장 실행 시간을 결정하는 함수를 각각 **Σ(n)**과 **S(n)**라고 부른다.access-date=2022-07-07 n번째 바쁜 비버의 실행 시간이나 점수를 결정하는 것은 계산 불가능하다. 실제로 Σ(n)과 S(n) 두 함수 모두 계산 가능한 함수보다 더 커진다. 이는 계산 가능성 이론, 정지 문제, 계산 복잡도 이론에 영향을 미친다.issn=0163-5700 PDF available date=2022-07-05 from author. 바쁜 비버라는 개념은 1962년 티보르 러도가 자신의 논문 《계산 불가능한 함수에 대하여》에서 처음으로 제시했다. 바쁜 비버에서 가장 흥미로운 점은 모든 n에 대해 함수 Σ(n)과 S(n)을 구할 수 있다면 "(이 튜링 머신은) 정지하는가"라는 형식으로 인코딩할 수 있는 모든 수학적 추측을 해결할 수 있다는 것이다. 예를 들어, 각 수 하나하나마다 골트바흐의 추측이 맞는지 확인하고 반례를 발견하면 정지하는 27상태 튜링 기계를 만들 수 있는데, 이 튜링 기계가 S(27)회의 작동 후에도 멈추지 않았다면 무한히 실행된다는 의미로 추측이 맞음을 증명할 수 있다. 그 외에도 리만 가설(744상태), ZF 집합론의 완전성(745상태url-status=liveurl-status=live)을 포함한 여러 수학 문제도 비슷한 형태로 표현할 수 있지만 거의 셀 수 있는 가산 집합의 무한에 가까운 수의 경우를 확인해야 한다.
# 기술적 설명
티보르 러도의 1962년 논문에서 소개된 n상태 바쁜 비버 게임(BB-n game)은 튜링 기계 중에서 뽑는 게임으로, 각 기계는 다음과 같은 설계 사양을 만족해야 한다. * 각 기계는 n개의 "작동" 상태와 정지 상태를 가지는데 여기서 n은 양의 정수이며 n개의 상태 중 하나가 시작 상태로 구분된다.(보통 상태1을 시작 상태로 놓고 상태 1, 2, 3, ... n으로 붙이거나 상태A를 시작 상태로 놓고 상태 A, B, C, ... 순으로 이름붙인다.) * 기계는 하나의 양방향 무한(또는 경계가 없는) 테이프를 사용한다. * 테이프에 새겨지는 기호는 {0, 1}로 0은 보통 빈 기호로 사용한다. * 기계의 '전환함수'는 두 가지 입력을 받는다. :# 정지가 아닌 현재의 상태 :# 현재 위치한 테이프 셀의 기호 : 또한 세 가지 출력을 생성한다. :# 현제 위치한 테이프 셀에 있는 기호에 덮어쓸 기호(기존의 기호와 같을 수 있음) :# 이동할 방향(왼쪽 또는 오른쪽 한 칸 이동) :# 전환할 상태(정지 상태가 될 수 있음) 기계를 "실행"한다는 것은 현재 테이프 셀이 빈(모두 0) 테이프의 임의의 셀에서 시작 상태에서 시작한 후 (가능하다면) 정지 상태가 될 때까지 전환함수를 반복하는 작업을 가리킨다. 기계가 언젠가 멈출 경우에만 테이프에 최종적으로 남아 있는 1의 갯수를 기계의 점수라고 한다. 따라서 n상태 바쁜 비버 게임은 정의에 따라 가장 가능한 큰 점수 혹은 긴 실행 시간을 가진 n상태 튜링 기계를 찾는 게임이다.
## 예시
1상태 튜링 기계 중 하나의 규칙은 다음과 같다. * 상태 1에서 현재 기호가 0이면 1을 쓰고 한 칸 오른쪽으로 이동한 후 상태 1로 전환한다. * 상태 1에서 현재 기호가 1이면 0을 쓰고 한 칸 오른쪽으로 이동한 후 정지 상태로 전환한다. 이 튜링 기계는 오른쪽으로 이동하면서 통과하는 모든 셀의 값을 바꾼다. 시작 상태에서 테이프는 전부 0만 있으므로 이 기계는 끝없이 계속 1만을 써내려가며 멈추지 않을 것이다. 이 기계는 빈 테이프에서 영원히 실행되기 때문에 바쁜 비버 후보가 될 수 없다.
# 함수
1962년 원 논문에서 러도는 바쁜 비버 게임과 관련된 두 가지 함수를 정의했다. 바로 점수 함수 Σ(n)와 이동 함수 S(n)이다. 이 둘은 튜링 기계의 상태 수 n을 받아들이고, 그 상태 수의 튜링 기계가 어떤 기준에 따라 도달할 수 있는 최대 점수를 출력한다. 점수 함수 Σ(n)는 n 상태 튜링 기계가 정지하기 전에 출력할 수 있는 최대 1의 개수를 나타내는 반면, 이동 함수 S(n)은 n 상태 튜링 기계가 정지하기 전까지 수행할 수 있는 최대 이동(또는 각 단계에 이동이 포함되므로 단계와 동등함) 횟수를 나타낸다. 그는 이 두 함수가 어떤 계산 가능 함수보다도 더 빠르게 증가하기 때문에 계산 불가능 함수임을 증명했다. 함수 BB(n)은 이 두 함수 중 어느 하나를 지칭하기 위해 정의되었으므로 이 문서에서는 해당 표기법을 사용하지 않는다. 시간 또는 최대 1의 개수 외에 다른 방식으로 튜링 기계의 성능을 측정하여 정의할 수 있는 여러 가지 계산 불가능 함수가 있다. 예를 들면 다음과 같다. * 함수 \text{num}(n)은 정지하는 튜링 기계가 빈 테이프에 쓸 수 있는 최대 연속된 1의 개수로 정의된다. 즉, 이는 n 상태의 튜링 기계가 테이프에 쓸 수 있는 가장 큰 일진법 수이다. * 함수 \text{space}(n)은 정지하는 튜링 기계가 정지하기 전까지 읽을 수 있는(즉, 방문하는) 최대 테이프 칸 수로 정의된다. 여기에는 시작 칸이 포함되지만, 정지 전환 후에만 도달하는 칸은 포함되지 않는다(만약 정지 전환에 이동 방향이 명시되어 있다면). 왜냐하면 해당 칸은 기계의 동작에 영향을 주지 않기 때문이다. 이는 n 상태 튜링 기계의 최대 공간 복잡도이다. 이 네 가지 함수는 함께 \text{num}(n) \leq \Sigma(n) \leq \text{space}(n) \leq S(n)의 관계를 갖는다. 또한 3-기호 튜링 기계와 같은 다른 계산 기계, 비결정론적 튜링 기계, 람다 대수 A333479 또는 심지어 임의의 프로그래밍 언어에서 게임을 작동시켜 더 많은 함수를 정의할 수 있다.
## 점수 함수 Σ
점수 함수는 바쁜 비버가 주어진 측정 기준에 따라 달성할 수 있는 최대 점수를 정량화한다. 이는 계산 불가능 함수인데, 어떤 계산 가능 함수보다 점근적으로 빠르게 증가하기 때문이다.Chaitin (1987) 점수 함수 \Sigma: \mathbb{N} \to \mathbb{N}는 위에서 설명한 유형의 모든 정지하는 2개 기호 n상태 튜링 기계 중에서 빈 테이프에서 시작했을 때 도달할 수 있는 최대 점수(테이프에 최종적으로 남는 1의 최대 개수)로 정의된다. Σ가 잘 정의된 함수임은 명확하다. 모든 n에 대해 동형사상에 대해 위의 조건을 만족하는 n상태 튜링 기계는 유한개이므로 가능한 실행 시간도 유한개이다. 점수 기반 정의에 따르면 1=σ(M) = Σ(n)을 만족하는(즉, 최대 점수를 달성하는) 모든 n상태 2개 기호 튜링 기계 M을 바쁜 비버라고 한다. 각 n에 대해 적어도 4(n − 1)! 개의 n상태 바쁜 비버가 존재한다. (어떤 n상태 바쁜 비버가 주어지면, 정지 전환 상황에서 이동 방향만 바꾸어 다른 바쁜 비버를 얻을 수 있고, 모든 이동 방향을 균일하게 반전시켜 세 번째 바쁜 비버를 얻을 수 있으며, 모든 방향을 교환한 바쁜 비버의 정지 방향을 반전시켜 네 번째 바쁜 비버를 얻을 수 있다. 또한 시작 상태와 정지 상태를 제외한 모든 상태의 순열은 동일한 점수를 달성하는 기계를 생성한다. 이론적으로는 정지 상태로 이어지는 전환 유형이 하나 이상 있을 수 있지만, 실제로는 낭비일 것이다. 왜냐하면 원하는 결과를 생성하는 상태 전환 시퀀스는 하나뿐이기 때문이다.)
### 계산 불가능성
라도의 1962년 논문은 f: \mathbb{N} \to \mathbb{N}가 어떤 계산 가능 함수라도 충분히 큰 n에 대해 Σ(n) > f(n)이 성립하며, 따라서 Σ가 계산 가능 함수가 아님을 증명했다. 더 나아가, 이는 임의의 튜링 기계가 바쁜 비버인지 여부를 판단하는 일반적인 알고리즘이 존재하지 않음을 의미한다. (이러한 알고리즘은 존재할 수 없다. 만약 존재한다면 Σ를 계산할 수 있게 되는데, 이는 이미 불가능함이 증명되었다. 특히, 이러한 알고리즘은 다음과 같이 Σ를 계산하는 다른 알고리즘을 구성하는 데 사용될 수 있다. 주어진 n에 대해 유한한 개수의 n개 상태 2개 기호 튜링 기계 각각을 테스트하여 n개 상태 바쁜 비버를 찾을 때까지 진행한다. 이 바쁜 비버 기계를 시뮬레이션하여 그 점수를 결정하는데, 이것이 정의에 따른 Σ(n)이다.) Σ(n)이 계산 불가능 함수임에도 불구하고 그 값을 얻을 수 있고 그 정확성을 증명할 수 있는 작은 n 값이 있다. Σ(0) = 0, Σ(1) = 1, Σ(2) = 4임을 쉽게 보일 수 있으며, 점진적으로 더 어려워지면서 Σ(3) = 6, Σ(4) = 13, Σ(5) = 4098임을 보일 수 있다. A028444. Σ(n)의 값은 5보다 큰 어떤 n에 대해서도 아직 결정되지 않았지만, 하한은 계산되었다 (아래 알려진 결과 섹션 참조).
### Σ의 복잡도와 증명 불가능성
콜모고로프 복잡도의 한 변형은 다음과 같이 정의된다.Boolos, Burgess & Jeffrey, 2007. "Computability and Logic" 숫자 n의 복잡도는 처음에 빈 테이프에서 n개의 연속된 1로 구성된 단일 블록을 쓰고 정지하는 BB급 튜링 기계에 필요한 최소 상태의 수이다. 해당 차이틴의 불완전성 정리 변형은 주어진 공리계 내에서 어떤 특정 숫자도 복잡도가 자연수 k보다 크다는 것을 증명할 수 없는 숫자 k가 존재하며, 따라서 Σ(k)의 어떤 특정한 상한도 증명할 수 없음을 명시한다 (후자는 "n > Σ(k)"이 증명된다면 "n의 복잡도가 k보다 크다"는 것이 증명될 것이기 때문이다). 인용된 참고 문헌에서 언급했듯이, "일상적인 수학"의 어떤 공리계에 대해서도 이것이 참이 되는 최소값 k는 10⇈10보다 훨씬 작다. 결과적으로, 일상적인 수학의 맥락에서 Σ(10⇈10)의 값이나 어떤 상한도 증명할 수 없다. (괴델의 제1 불완전성 정리는 이 결과로 설명된다. 일상적인 수학의 공리계에서 1=Σ(10⇈10) = n 형식의 참이지만 증명 불가능한 문장이 존재하며, 수학|Σ(10⇈10) 8에 대해 2n의 3진법 표현에 적어도 하나의 숫자 2가 있다는 추측이 거짓인 경우에만 정지하는 15개 상태 튜링 기계가 있다.type=Technical Reporturl-status=live
## 보편 튜링 기계
계산적 보편성과 바쁜 비버 튜링 기계의 동적 행동 사이의 관계를 탐구하며, 2012년에 바쁜 비버 기계가 보편 튜링 기계의 자연스러운 후보라고 제안하는 추측이 제기되었다.issn=0891-2513 PDF available from publisher. 이는 바쁜 비버 기계가 (1) 크기 제약 내에서 최대 계산 복잡성을 가지고, (2) 정지하기 전에 비자명한 계산을 수행하는 능력, 그리고 (3) 이러한 기계를 찾고 증명하는 어려움으로 알려져 있으며, 이러한 특징들은 바쁜 비버 기계가 보편성에 필요한 복잡성을 소유하고 있음을 시사한다.
## 물리적 처치-튜링 논제
바쁜 비버 함수의 성장 특성은 물리적 처치-튜링 논제의 진실성을 가정할 때 물리 시스템의 행동에 영향을 미친다. 물리적 처치-튜링 논제가 참이고 모든 물리적으로 계산 가능한 함수가 튜링 계산 가능하다면, 직접 측정 가능한 어떤 물리량도 바쁜 비버 함수보다 빠르게 성장할 수 없다. 어떤 튜링 계산 가능한 함수도 바쁜 비버 함수보다 빠르게 성장할 수 없기 때문이다.class=physics.hist-ph BB(n)의 간단한 함수는 성장 속도의 하한뿐만 아니라 수렴 속도의 상한 및 하한도 부과할 것이다.url=https://www.newscientist.com/article/2454024-there-may-be-a-cosmic-speed-limit-on-how-fast-anything-can-grow/
# 알려진 결과

## 하한

### 그린 기계
1964년 밀턴 그린은 1을 세는 바쁜 비버 함수의 변형에 대한 하한을 구상하여 1964년 IEEE 스위칭 회로 이론 및 논리 설계 심포지엄 회보에 발표했다. 헤이너 마센과 쥐르겐 분트로크는 이를 "비자명한(원시적으로 재귀적이지 않은) 하한"이라고 설명했다.url-status=live Free HTML version by author date=2006-10-09 이 하한은 계산할 수 있지만 n의 단일한 표현으로 나타내기에는 너무 복잡하다.doi=10.1109/SWCT.1964.3 이는 각 n에 대한 하한을 보여주는 일련의 튜링 기계로 수행했다. n=8일 때 그린 기계는 다음과 같이 계산할 수 있다. : \Sigma(8) \geq 3 \times (7 \times 3^{92} - 1) / 2 \approx 8.248 \times 10^{44}. 대조적으로, 현재 (2024년 기준) \Sigma(6)에 대한 최상의 하한은 10 \uparrow\uparrow 15이며, 여기서 각 \uparrow는 커누스 윗화살표 표기법이다. 이는 10^{(10^{(10^{(10^{(\ldots)})})})}를 나타내며, 15개의 10으로 구성된 지수 탑으로 10^{10 \uparrow\uparrow 14}와 같다. \Sigma(8)의 값은 아마도 이보다 훨씬 클 것이다. 구체적으로 하한은 재귀적인 튜링 기계 무리로 볼 수 있는데 각 기계는 더 작은 기계와 두 개의 추가 상태로 구성되어 더 작은 기계를 입력 테이프에 반복적으로 적용했다. m개의 1을 포함하는 테이프에 대한 N 상태 바쁜 비버 경쟁자의 값을 B_N(m)으로 정의하면 (각 기계의 최종 출력은 m = 0에 대한 값인데, 빈 테이프는 0개의 1을 가지고 있기 때문), 재귀 관계는 다음과 같다. : B_N(0) = 1 : B_1(m) = m + 1 : B_N(m) = 1 + B_{N-2}(1 + B_N(m - 1)) 이는 N번째 기계 G(N)에 의해 주어진 하한을 계산하기 위한 홀수 및 짝수 번호에 대한 두 가지 공식을 유도할 수 있다. : 홀수 N에 대해 G(N) = B_{N-2}(B_{N-2}(1)) : 짝수 N에 대해 G(N) = 1 + B_{N-3}(1 + B_{N-3}(1)) 하한 BB(N)은 아커만 함수와도 연관지을 수 있다. 이 때 다음이 성립함이 밝혀졌다.year = 2002 : A(n,n) > G(4N+3) > A(4, 2N+1)
### 바쁜 비버 함수 간의 관계
자명하게, S(n) ≥ Σ(n)이다. 왜냐하면 Σ(n)개의 1을 쓰는 기계는 그렇게 하기 위해 적어도 Σ(n) 단계를 거쳐야 하기 때문이다. S(n)의 시간에 대한 상한을 Σ(n)의 개수로 여러 공식으로 쓸 수 있다. * S(n) \leq (n + 1) \times \Sigma(5n) \times 2^{\Sigma(5n)} (러도) * S(n) \leq \Sigma(9n) (부로) * S(n) \leq (2n - 1) \times \Sigma(3n + 3) (벤-알람, 줄스톰-즈윅) n개 상태 튜링 기계가 어떤 위치에 있든 상관없이 연속적으로 출력할 수 있는 최대 1의 개수를 num(n)으로 정의하여(출력할 수 있는 가장 큰 일진법 숫자) 다음을 보일 수 있다. : \text{num}(n) 10⇈15이므로 10⇈15보다 큰 것으로 알려져 있다. 47176870은 space(5)에 대한 상한이다. 왜냐하면 S(5) = 47176870()이고 S(n) ≥ space(n)이기 때문이다. 4,098은 num(5)에 대한 상한이다. 왜냐하면 Σ(5) = 4098()이고 Σ(n) ≥ num(n)이기 때문이다. 마지막 "?"로 나열된 항목은 num(6)이다. 왜냐하면 Σ(6) > 10⇈15이지만 Σ(n) ≥ num(n)이기 때문이다. {| class="wikitable" |+ 바쁜 비버 함수의 값 ! 함수 ! colspan="2" | 2개 상태 ! colspan="2" | 3개 상태 ! colspan="2" | 4개 상태 ! colspan="2" | 5개 상태 ! colspan="2" | 6개 상태 |- ! S(n) | 6 || | 21 || | 107 || | 47176870 || | > 10⇈15 || |- ! space(n) | 4 || | 7 || | 16 || | ≥ 12289
≤ 47176870
S(n) ≥ space(n) || | > 10⇈15
space(n) ≥ Σ(n) || |- ! Σ(n) | 4 || | 6 || | 13 || | 4098 || |> 10⇈15 || |- ! num(n) |4 || |6 || |12 || |≤ 4098
Σ(n) ≥ num(n) || |? || |} 5개 상태 바쁜 비버는 1989년 헤이너 마센과 쥐르겐 분트로크이 발견했지만, Coq 증명을 사용하여 2024년에야 승리한 다섯 번째 바쁜 비버인 BB(5)이 완전히 증명되었다.url-status=liveurl-status=live
## 바쁜 비버 목록
5개 상태 바쁜 비버 기계(S(n), 이후 Σ(n)에 해당)의 축소된 시공간 다이어그램. 이 기계는 47,176,870 단계를 실행하여 최대 12,288개의 1을 생성하고 정지 시 4,098개의 1을 남긴다.
다이어그램은 테이프를 변경하는 단계만 보이도록 압축되었다. 녹색과 노란색 삼각형은 튜링 기계가 앞뒤로 이동하는 영역을 나타내며, 소요된 시간은 이 색칠된 삼각형의 면적에 비례한다. 아래 행은 정지 시의 테이프와 읽기/쓰기 헤드의 발췌 부분이다. 다음은 Σ(1) 및 S(1), Σ(2) 및 S(2), Σ(3) (단 S(3)는 아님), Σ(4) 및 S(4), Σ(5) 및 S(5)를 생성하는 튜링 기계의 규칙과 Σ(6) 및 S(6)에 대한 알려진 최상의 하한 표이다. 표에서 열은 현재 상태를 나타내고 행은 테이프에서 읽은 현재 기호를 나타낸다. 각 표 항목은 순서대로 테이프에 쓸 기호, 이동 방향 및 새 상태를 나타내는 세 문자 문자열이다. 정지 상태는 **H**로 표시된다. 각 기계는 무한한 테이프가 모두 0을 포함하는 상태에서 **A** 상태로 시작한다. 따라서 테이프에서 읽은 초기 기호는 0이다. 결과 설명: (오버라인된 위치에서 시작하여 밑줄된 위치에서 정지) :{| class="wikitable" |+ 1개 상태, 2개 기호 바쁜 비버 ! width="" | ! A |- ! 0 | 1R**H** |- ! 1 | (사용되지 않음) |} **결과:** 0 0 1 0 0 (1단계, 총 "1" 1개) :{| class="wikitable" |+ 2개 상태, 2개 기호 바쁜 비버 ! width="" | ! A ! B |- ! 0 | 1R**B** | 1L**A** |- ! 1 | 1L**B** | 1R**H** |} **결과:** 0 0 1 1 1 1 0 0 (6단계, 총 "1" 4개) 3개 상태, 2개 기호 바쁜 비버의 동작 애니메이션 :{| class="wikitable" |+ 3개 상태, 2개 기호 바쁜 비버year=1963doi-access=free ! width="" | ! A ! B ! C |- ! 0 | 1R**B** | 0R**C** | 1L**C** |- ! 1 | 1R**H** | 1R**B** | 1L**A** |} **결과:** 0 0 1 1 1 1 1 1 0 0 (14단계, 총 "1" 6개). 이는 여섯 개의 1을 제공하는 몇 가지 서로 다른 기계 중 하나이다. 이전 기계와 달리 이 기계는 Σ에 대한 바쁜 비버이지만 S에 대한 바쁜 비버는 아니다. (S(3) = 21이고, 기계는 다섯 개의 1만 얻는다.) 4개 상태, 2개 기호 바쁜 비버의 동작 애니메이션 :{| class="wikitable" |+ 4개 상태, 2개 기호 바쁜 비버 ! width="" | ! A ! B ! C ! D |- ! 0 | 1R**B** | 1L**A** | 1R**H** | 1R**D** |- ! 1 | 1L**B** | 0L**C** | 1L**D** | 0R**A** |} **결과:** 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 (107단계, 총 "1" 13개) :{| class="wikitable" |+ 5개 상태, 2개 기호 바쁜 비버 ! width="" | ! A ! B ! C ! D ! E |- ! 0 | 1R**B** | 1R**C** | 1R**D** | 1L**A** | 1R**H** |- ! 1 | 1L**C** | 1R**B** | 0L**E** | 1L**D** | 0L**A** |} **결과:** 47,176,870 단계에서 8,191개의 "0"이 섞인 4,098개의 "1". :{| class="wikitable" |+ 현재 6개 상태, 2개 기호 최고 경쟁자Pascal Michel's Busy Beaver Competitions date=2023-10-06 page listing best contenders known.url-status=live ! width="" | ! A ! B ! C ! D ! E ! F |- ! 0 | 1R**B** | 1R**C** | 1L**C** | 0L**E** | 1L**F** | 0R**C** |- ! 1 | 0L**D** | 0R**F** | 1L**A** | 1R**H** | 0R**B** | 0R**E** |} **결과:** 1 0 1 1 1 ... 1 1 1 ("10" 다음에 15개의 10으로 구성된 지수 탑인 10↑↑15=1010..10보다 많은 연속된 "1"이 10↑↑15 단계 이상에서 나타난다).
# 시각화
다음 표에서는 각 바쁜 비버(Σ를 최대화하는) 규칙이 시각적으로 표현되어 있다. 주황색 사각형은 테이프의 "1"에 해당하고, 흰색은 "0"에 해당한다. 헤드의 위치는 검은색 타원형으로 표시되어 있으며, 헤드의 방향은 상태를 나타낸다. 개별 테이프는 가로로 배치되며, 시간은 위에서 아래로 진행된다. 정지 상태는 한 상태를 자체로 매핑하는 규칙(헤드가 움직이지 않음)으로 표현된다. footer =-