Brainf*ck

はじめに

なんか、Brainf*ckのページでも作ってみようかなーなんて。
いっしょに楽しく学びましょう。

言語の特徴

命令が8つしかない。以下はWikipediaからの引用。

  1. > ポインタをインクリメントする。ポインタをptrとすると、C言語の「ptr++;」に相当する。
  2. < ポインタをデクリメントする。C言語の「ptr--;」に相当。
  3. + ポインタが指す値をインクリメントする。C言語の「(*ptr)++;」に相当。
  4. - ポインタが指す値をデクリメントする。C言語の「(*ptr)--;」に相当。
  5. . ポインタが指す値を出力する。C言語の「putchar(*ptr);」に相当。
  6. , 1バイトを入力してポインタが指す値に代入する。C言語の「*ptr=getchar();」に相当。
  7. [ ポインタが指す値が0なら、対応する ] までジャンプする。C言語の「while(*ptr){」に相当。
  8. ] ポインタが指す値が0でないなら、対応する [ にジャンプする。C言語の「}」に相当。

処理系

The Brainfuck Archiveの、 impl/compilers/BF2C.c を保存します。

BF2C.cをCのコンパイラでコンパイルすると、BrainfuckのソースをCのソースに変換してくれるプログラムができあがるので、
Cに変換されたソースをもう一度Cコンパイラでコンパイルして実行してください。
こんな感じ。

 program.bf ー(BF2C.exe)→ program.c ー(Cコンパイラ)→ program.exe

また impl/interp/ 以下にインタープリタもあるようなので、UNIX系OSではそちらを使って #!/usr/bin/bfi などとした方がラクでしょう。

断り書き

以下、このコーナーでは「メモリに先頭からa, b, c, d, … と値がはいっており、ポインタは先頭から3番を指している」という状態を、

 [a][b][c][d]…
     ↑

と書くことにします。

また、メモリのn番目を指したいとき、矢印の横に (n) と表記します。
例えば「メモリの99番目から順に e, f, g, h, … と値がはいっており、ポインタは先頭から100番目を指している」という状態を、

 …[e][f][g][h]…
    ↑(100)

と表します。
(追記してくださる方はこのルールに従うか、独自の書き方をする場合はその見方を書いてくださるとありがたいです。)

Hello, World!

さて、WikipediaのHello worldプログラムの一覧に、こんなコードが載っております。

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

これを実行するとたしかに Hello, World! と表示されますが、最初はわけがわからないのでちょっと解説を。

まず一つ目の +++++++++ ですが、これは次の [ ] ループのためのループ回数の設定です。これを念頭に置いてコードを読むと良く分かります。

次に [ がありますが、今ポインタの内容は最初に9まで増やしたので、0ではありません。従って ] までジャンプはせずに、中に入ります。
そして >++++++++>+++++++++++>+++++<<<- が実行され、メモリの内容は

 [8][8][11][5][0][0]…
 ↑

となります。

[ ] ループはメモリの先頭のが0になるまで(つまり9回)繰り返され、ループが終わった時点でメモリの内容は

 [0][72][99][45][0][0]…
 ↑

となります。

あとは見てもらえれば分かると思います。72が H の文字コード、99が c の文字コード、45が , の文字コード-1で、この3つを基準にいくつかずらして表示しています。(例えばeなら 99+2 と言った感じで。)

if構文

続くとか言っておきながら続く気配がないので勝手に横から書いてみる。

入力した文字が「@」かどうか判別する。

>,<++++++++[>--------<-]>>+<[>]>[~~@の場合>>]<<<[~~@ではない場合[-]]

では先頭から説明していきます。

 >,

 [0][s][0][0][0]
     ↑

仮に入力された文字コードをsとしておきます。一番左のメモリは次に使うので空けています。

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

先ほど空けた一番左のメモリに戻って8を足し0になるまで1を引いて右のメモリから8を引きます。ループが終わり>が実行されると

 [0][s-64][0][0][0]
     ↑

となります。

 >+<

 [0][s-64][1][0][0]
     ↑

 [>] sが64(@)の時、s-64=0なので、

 [0][0][1][0][0]
    ↑

なにも起きません。 sが64以外(@ではない)時、s-64≠0なので、

 [0][s-64][1][0][0]
                ↑(4)

結果2つ右にポインタが移動します。

 >

さらに一つ右に移動するので、 sが64の時

 [0][s-64][1][0][0]
             ↑

sが64以外の時

 [0][s-64][1][0][0]
                    ↑(5)

ポインタが指す値はs==64?1:0となりました。

 [~~@の場合>>]

ここで[ ]が来ると、sが64ではない時何も起こらず sが64の時だけ中が実行されます。 文字を出力する、という文を書く場合はメモリの(1)~(5)を弄ったり変更しないように注意してください。[]内の最後に>>を付けてるのはポインタを(5)に移動させる、という意味です。 これは、sが64ではない時、つまり[]内を実行しない場合の結果とポインタが同じ位置に持ってこれるのと、さらに、ポインタ(5)の値は0のはずなのでループを一回に抜けることができます。

 [0][s-64][1][0][0]
                    ↑(5)

sが64かどうかにかかわらず結果こうなります。 さらに

 <<<

 [0][s-64][1][0][0]
       ↑(1)

sが64ではない時、ポインタが指す値は0ではないので

 [~~@ではない場合[-]]

[]内を実行できます。C言語等のelse {~~}に相当します。[]内の最後に[-]を付けているのは、ループを抜けるためにメモリの値を0にする、という意味です。ですので場合によっては必要ないかもしれません。

Brainf*ck系言語

Brainf*ckの性質上、 [ や . などを別の文字列と置き換えることによって、 簡単に別の言語(俺言語)ができてしまう。ここではその一部を紹介しておこう。


トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS