BB(10) > Graham's Number

Automated excerpt

A token 3d + c with c ∈ {0, 1, 2} holds d units. The value of an accumulator A ≡ 1 (mod 3) is v = (A + 8)/3. In the run, A ≡ 1 (mod 3), so the transit token A + 1 is 2 + 3x with x = (A − 1)/3 = v − 3.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.