ITM · Recursively enumerable
BB(2,4) champion
Two states, four symbols: 3,932,964 steps and 2,050 non-blank cells.
Behaviour
Halts from a blank tape after 3,932,964 steps, leaving 2,050 non-blank cells.
Notes
Standard format: 1RB2LA1RA1RA_1LB1LA3RB1RZ