브레인퍽

thumb
브레인퍽(Brainfuck)은 우어반 뮐러(Urban Müller)가 1993년 경에 만든 최소주의 컴퓨터 프로그래밍 언어이다. 이름에 포함된 fuck이 욕설이기 때문에 Brainf*ck, Brainf***, 혹은 단순히 BF라고 부르기도 한다.

**언어의 설계**
뮐러는 가장 작은 컴파일러로 구현할 수 있는 간단하면서도 튜링 완전한 프로그래밍 언어를 만드는 것이 목적이었다. 이 언어는 여덟 개의 명령어로 구성되어 있다. 아미가 컴퓨터에서 작동하는  원래 컴파일러의 둘째 판은 크기가 240 바이트 밖에 안 된다. 그는 다른 난해한 프로그래밍 언어이자, 컴파일러 크기가 1024바이트인 False의 영향을 받았다.
이름이 말해 주듯이, 브레인퍽 프로그램은 이해하기 어려운 경향이 있다. 하지만 튜링 기계는 컴퓨터가 할 수 있는 모든 작업을 할 수 있고, 브레인퍽이 튜링 완전하기 때문에 브레인퍽 또한 복잡하기는 해도 컴퓨터가 할 수 있는 모든 작업을 할 수 있다.
이 언어는 프로그램 외에, 0으로 초기화된 바이트 단위의 배열과, 처음에 배열의 맨 첫 바이트를 가리키는 포인터, 그리고 입출력 스트림으로 구성된 간단한 기계 모델에 기반을 두고 있다.

**명령어들**
여덟 개의 명령어들은 각각 한 개의 문자로 구성되어 있으며 다음과 같다:
위의 정의 대신에, 에 ‘짝이 되는 앞쪽의 로 이동한다’는 의미를 사용할 수 있다. 이는 간단하지만 대칭적이지 못 하고 효율적이지도 않다. 이 두 정의는 모든 브레인퍽 프로그램에 대해서 동일한 행동을 보인다. 거의 사용되지 않지만 동일한 또 다른 정의로는, 가 ‘짝이 되는 뒤쪽의 로 이동한다’는 의미를 가지고, 가 ‘포인터가 가리키는 바이트의 값이 0이 아니면 짝이 되는 앞쪽의  다음 명령어로 이동한다’는 의미를 가지도록 하는 것이 있다.
브레인퍽 프로그램들은 ptr이 unsigned char* 형이라 가정할 때 다음과 같은 치환을 사용해서 C 언어로 번역할 수 있다:

**해설**
참고로 여기서는 배열의 각각의 원소들을 바이트로 서술했기 때문에, - 명령은 필요가 없으며 255개의 + 명령으로 고칠 수 있다. 비슷하게, 만약 배열이 유한하고 환형이면,  명령으로 고칠 수 있다. 하지만 이 언어가 튜링 완전하려면 배열의 크기와 각각의 원소들의 크기가 모두 제한이 없어야 한다. (이는 엄밀히 말할 때 현대의 PC가 튜링 완전하지 않은 이유와 동일하다.)

**예제**

**헬로 월드 프로그램**
명령어에 쓰이는 8개의 문자(+-,.)만 사용한 코드는 다음과 같다.
++++++++++>+++++++>++++++++++>+++>+++.>+.+++++++..+++.>++..+++.------.--------.>+.>.
브레인퍽은 이 8개의 문자외에는 모두 무시하므로, 가독성을 위해 공백과 줄바꿈을 넣고 주석을 추가하여 다시 쓴 코드는 다음과 같다.
+++++ +++++ initialize counter (cell #0) to 10
use loop to set the next four cells to 70/100/30/10
> +++++ ++ add 7 to cell #1
> +++++ +++++ add 10 to cell #2
> +++ add 3 to cell #3
> + add 1 to cell #4
++ . print 'H'
> + . print 'e'
+++++ ++ . print 'l'
. print 'l'
+++ . print 'o'
> ++ . print ' '
. print 'o'
+++ . print 'r'
----- - . print 'l'
----- --- . print 'd'
> + . print '!'
> . print '\n'

**ROT13**
-,+ Read first character and start outer character reading loop
- Skip forward if character is 0
>>++++>+++++++++>+>->>> Increase copy and remainder / reduce divisor / Normal case: skip forward
+>+> Special case: move remainder back to divisor and increase quotient
>>-+ End skip loop; zero former divisor and reuse space for a flag
>---+++-->+>> Reduce divisor; Normal case: increase remainder
>+->+>> Special case: increase remainder / move it back to divisor / increase quotient
>- Add remainder back to divisor to get a useful 13
> Skip forward if quotient was 0
- Decrement quotient and skip forward if quotient was 1
-> Zero quotient and divisor if quotient was 2
>->> Zero divisor and subtract 13 from copy if quotient was 1
>- Zero divisor and add 13 to copy if quotient was 0
End outer skip loop (jump to here if ((character minus 1)/32) was not 2 or 3)


**같이 보기**
비슷한 언어들의 목록:- Doublefuck, 두 개의 배열을 사용하는 브레인퍽의 변형.- Brainfork- PATH, 브레인퍽과 비펀지를 결합한 언어.- SNUSP, 비슷하지만 호출 스택을 가진다.- l33t- L00P- Ook!- QUOTE- Aura- Spoon, 오직 "0"과 "1" 문자로만 이루어진 토큰을 사용함.- THRAT, 명령 테이블에 있는 Brainfuck 명령들을 접근하기 위해 오직 두 개의 명령만을 사용함.

**외부 링크**
  Brian Raiter, Muppetlabs. Brainfuck: An Eight-Instruction Turing-Complete Programming Language. 이 사이트에는 브레인퍽 콰인이 함께 들어 있다.-  Panu Kalliokoski. The Brainfuck Archive - 많은 브레인퍽 프로그램, 콰인, 구현들을 제공한다.-  윈도용 브레인퍽 인터프리터와 통합 개발 환경(IDE)-  Brainfucked - Brainfuck Compiler url=https://web.archive.org/web/20050303201936/http://home.arcor.de/partusch/html_en/bfd.html (Windows/DOS)-  Frans Faase. BF is Turing Complete-  Daniel Cristofani. some Brainfuck fluff.-  Brainfuck.ca GPL로 배포되는 브레인퍽 인터프리터와 소스 변환기들-  윈도용 브레인퍽 인터프리터와 컴파일러-  Brainfuck.Net-  Also Written In Brainfuck (awib)는 x86 플랫폼과 리눅스 실행 파일을 생성하며, 브레인퍽으로 만든 브레인퍽 컴파일러이다.-  Robert Östling. Brainfuck computer.-  Clifford Wolf. The Brainf*ck CPU과 다른 브레인퍽에 관련된 프로젝트들 url=https://web.archive.org/web/20171218061322/http://www.clifford.at/bfcpu/-  F*ckF*ck homepage-  A Brainfuck Computer With a Brainfuck CPU-  The download page with Blue Fern, a Brainfuck IDE-  A Brainfuck tutorial in English and French.-  Jeffry Johnston. BF 프로그램들, 기본적인 컴파일러와 어셈블러를 포함함url=http://kidsquid.com/programs/bf/bf.html 
분류:난해한 프로그래밍 언어
분류:1993년 개발된 프로그래밍 언어
분류:영어 기반이 아닌 프로그래밍 언어