P′′ — низькорівнева мова програмування, яку створив 1964 року Коррадо Бьом.

P′′ формально визначено як набір слів алфавіту з 4 інструкцій {R, λ, (, )} так:

1. R і λ — слова.
2. Якщо p і q — слова, то pq — слово.
3. Якщо q — слово, то (q) — слово.
4. Решта послідовностей символів не є словами.

1. {a0, a1, ..., an} (n ≥ 1) — алфавіт нескінченної стрічки (аналогічної стрічці машини Тюрінга), a0 — порожній символ.
2. R — перенесення головки стрічки на одну клітинку вправо.
3. λ — замінити поточний символ ai на ai+1 (an замінюється на a0) і перемістити головку на одну клітинку вліво.
4. (q) — повторювати операцію (операції) q, поки значення поточної комірки не дорівнює a0.
5. Операції виконуються зліва направо в порядку їх запису, поки справа нічого не залишиться.

1. P′′ — перша повна за Тюрінгом мова програмування без оператора GOTO.
2. Команди мови Brainfuck (за винятком введення і виведення) можна перекласти на P′′ і навпаки: