P′′ プログラムの例

ウィキペディア

P′′

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/10/25 15:00 UTC 版)

プログラムの例

ベームは、x > 0 を満たす整数xの前の数 (x-1) を計算する以下のプログラムを提供している。

$R(R)L(r^{\prime }(L(L))r^{\prime }L)Rr$

これを等価のBrainfuckのプログラムに直接変換すると、

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

このプログラムは bijective base-k 記法で表現されているある一つの整数を想定している。${\textstyle c_{1},c_{2}\ldots ,c_{k}}$ は ${\textstyle 1,2,\ldots ,k}$ にそれぞれエンコードされる。そして、数字列の前後に ${\textstyle \Box }$ がある（例えば、bijective base-2 の場合、数字の8は ${\textstyle \Box c_{1}c_{1}c_{2}\Box }$ とエンコードされる。なぜなら、bijective base-2 において8は112である）。計算の最初と最後に数字列の前にある ${\textstyle \Box }$ の上にヘッドが位置することになる。