P′′
P′′ (P double prime:ピーダブルプライム)は1964年にコラド・ベームによって作成された、チューリングマシンの一種を記述するための言語である。
チューリングマシンを記述するがゆえにその仕様は原始的である。チューリングマシンにもかかわらず、状態遷移はテープの内容とテープヘッドの位置だけで表現されるので、有限オートマトンの概念が希薄である。