P′′

P′′ （P double prime：ピーダブルプライム）は1964年にコラド・ベームによって作成された、チューリングマシンの一種を記述するための言語である。
チューリングマシンを記述するがゆえにその仕様は原始的である。チューリングマシンにもかかわらず、状態遷移はテープの内容とテープヘッドの位置だけで表現されるので、有限オートマトンの概念が希薄である。
定義.
formula_1 (以下 P′′)は以下のように4つの命令アルファベット formula_2 におけるワードの集合として形式的に定義される（formally defined）。
プログラムの例.
ベームは、"x" > 0 を満たす整数"x"の前の数 ("x"-1) を計算する以下のプログラムを提供している。
これを等価のBrainfuckのプログラムに直接変換すると、
このプログラムは で表現されているある一つの整数を想定している。formula_43 は formula_44 にそれぞれエンコードされる。そして、数字列の前後に formula_11 がある（例えば、bijective base-2 の場合、数字の8は formula_46 とエンコードされる。なぜなら、bijective base-2 において8は112である）。計算の最初と最後に数字列の前にある formula_11 の上にヘッドが位置することになる。