바쁜 뇌 비버

가능한 많은 단계를 수행하지만 무한 반복하지 않는 256 자 이하의 brainfuck 프로그램을 작성하십시오. 프로그램이 입력을받지 못할 수 있습니다.

더 구체적으로:

• 오른쪽에 무한한 수의 셀이 있다고 가정하십시오.
• A는 <가장 왼쪽 세포에서 아무것도하지 않을 때.
• -때 셀 값은 제로 세트 셀이다 255.
• 명령은 +-<>.모두 실행될 때 한 단계로 계산됩니다.
• 때 [이상이 ]발생, 그것은 하나의 단계로 계산합니다. 그러나 조건이 참이고 제어 흐름이 점프하면 해당 ]또는 다시 단계로 계산 [되지 않습니다 .
• 가장 많은 조치를 취하는 솔루션이 승리합니다.
• 솔루션에 어떤 종류의 패턴이있는 경우 비슷한 길이의 프로그램이 몇 단계를 거치는 지에 대한 기능을 제공하는 n것이 중요하지만 필수는 아닙니다.
• 명령어 수를 세려면 이 수정 된 인터프리터를 사용할 수 있습니다 .

예:

++[-]

발생한 지침은 ++[-]-]이며 프로그램은 7 단계 동안 실행되었습니다.

다음은 결국 중단되는 41 문자 프로그램입니다. 10 ↑ (10 ↑ 28) 이상의 연속 셀이 1로 설정되어 있습니다 (따라서 실행되는 명령의 수가 그보다 훨씬 큽니다).

>+>+>+>+[->[>]+[->[>]+[->[>]+[<]+<]+<]+<]

내가 실수하지 않은 경우, 각 메모리 셀에 단일 비트를 사용하는 BF 변형 언어로 다음 프로그램을 올바르게 번역 한 것입니다 (즉, 0..255 대신 셀 내용 0..1이므로 '+' 단순히 비트 값을 뒤집는 역할을합니다) :

>+>+>+>+[+>[>]+[+>[>]+[+>[>]+[<]+<]+<]+<]

후자의 프로그램에 의해 생성 된 정확한 값 (인접한 1 비트 수)은

3 * (2 ↑ 118842243771396506390315925503 - 1) + 1.

>+>+>+>+>+>+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[->[>]+[<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+<]+

이것은 결국 정지하고 2 ↑ ²³ 6 개 이상의 인접한 셀을 1로 설정합니다 (따라서 단계 수는 그보다 훨씬 큽니다).

NB-1 : 2 ↑ ²³ 6은 "생각할 수 없을 정도로 큰"숫자입니다. 예를 들어, 2 ↑ ⁴ 6 = 2 ↑↑↑↑ 6 조차 Graham의 수 를 계산하는 데 사용 된 순서에서 첫 번째 항 (3 ↑↑↑↑ 3)을 이미 능가합니다 .

NB-2 : BF 프로그램 이 Graham의 수보다 훨씬 큰 출력을 가진 함수를 초기화하고 계산하기에 256자가 충분하다고 생각합니다 .

NB-3 : 위의 프로그램의 출처에 관심이있는 사용자를 위해 Python으로 작성된 다양한 프로그램과 함께 "Brainf * ck F"에 대한 프로그래밍 리소스가 있습니다. ( "Brainf * ck F"또는 "F"는 내가 Smallf * ck esolanguage 의 Turing-complete 변형이라고 불렀 습니다.) 이제 몇 년 동안 오프라인 상태였던이 파일을 업로드했습니다. 링크 된 웹 페이지는 "파일 캐비닛"일뿐입니다. 위의 프로그램과 관련된 자세한 내용은 Busy_Beavers.txt 파일을 참조하십시오.

다음은 멋진 39 자입니다.

-[>-[>-[-[>+<-]<[>+<-]<[>+<-]>>>]<-]<-]

기본적으로 3 칸 넓이를 '썰매'로 만들어 오른쪽으로 이동하고 하나씩 줄입니다. 31,919,535,558 개의 명령으로 완료되었으며 가장 안쪽의 루프는 256 ^ 3 번 실행됩니다. 나는 여전히 14 자의 속도로 런타임까지 다른 크기로 확장 할 수있는 충분한 공간을 가지고 있습니다.

무제한 메모리 또는 랩핑 메모리가있는 모든 인터프리터에서 작동합니다.

개선 된 2 루프 버전이 언제 끝날지 결정하기 위해 독자에게 연습을 남깁니다.

-[>-[>-[>-[>-[-[>+<-]<[>+<-]<[>+<-]<[>+<-]<[>+<-]>>>>>]<-]<-]<-]<-]

이제 밤새 실행되었으며 3,000,000,000 단계 이상입니다. 여전히 외부 루프의 단일 반복을 거치지 않았습니다. 간신히 두 번째 루프의 15 %를 통과했습니다.

이 프로그램은 무한한 수의 셀에서 작동합니다. 처음에는 ascii 값 255로 두 개의 값이 초기화됩니다. 주 루프의 첫 번째 회전시 첫 번째 값은 255 셀로 분할되고, 주 루프의 두 번째 회전시 255 개의 셀에서 각 값은 다시 분할됩니다. 메인 루프의 255 회전에 대해 동일한 방식으로 최대 255 * 255 셀까지 초기화 된 총 셀은 255 ^ 255입니다. 두 번째 값은 메인 루프가 반복되는 횟수를 결정합니다.

>->>-[<<[<]>[[[>]>>>[>]-[<]<<<[<]>-]>]>[>>[>]>+<<[<]<-]>>[>]>-]

이 프로그램은 내 이전 프로그램과 거의 동일합니다. 차이점은 외부 루프를 결정하는 값이 특정 셀에 고정 된 상태로 유지되므로 초기화 된 셀 수와 프로그램 끝의 총 단계가 모두 증가 할 수 있다는 것입니다

->>-<<[>>[>]<[[>>[>]-[<]<-]>>[[<+>-]>]<<[<]<]>>[[<+>-]>]<<[<]<-]

프로그램 끝에서 초기화 된 셀 255 ^ 255

-[>-[>->>[-]-<<[>>[>]<[[>>[>]-[<]<-]>>[[<+>-]>]<<[<]<]>>[[<+>-]>]<<[<]<-]<-]<-]

프로그램 끝에서 초기화 된 셀 255 ^ 255 ^ 3

더 많은 단계를 실행하도록 추가로 수정했습니다.

->>>->>-<<<<<[>>>[>]<[[>>[>]<[[>>[>]-[<]<-]>>[[<+>-]>]<<[<]<]>>[[<+>-]>]<<[<]<-]<[>>>[[<+>-]>]<<[<]]<]>>>>[[<<+>>-]>]<-<<[<]<<-]

메인 루프의 두 번째 회전 동안 메인 255 ^ (255 ^ 255 * 255) 셀의 첫 번째 회전 중에 255 ^ 255 셀을 초기화 함 메인 루프의 세 번째 회전 중 255 ^ {255 ^ (255 ^ 255 * 255) * 255} 셀 이 방법으로 루프는 255 번 반복됩니다.