ITM · Recursively enumerable
BB(2,3) champion
@thethinkmachine·version 1·CC BY 4.0·added 28 Sept 2026
Two states, three symbols: 38 steps.
The machine as drawn — 3 states, 6 transitions.
Behaviour
The first steps from a blank tape: one row per step, time running down; the outlined cell is the head.Halts from a blank tape after 38 steps, leaving 9 non-blank cells.
Notes
Standard format: 1RB2LB1RZ_2LA2RB1LB