ITM · Recursively enumerable
BB(4) champion
Brady’s four-state champion: 107 steps and 13 ones, proven optimal in 1983.
Behaviour
Halts from a blank tape after 107 steps, leaving 13 non-blank cells.
Notes
Standard format: 1RB1LB_1LA0LC_1RZ1LD_1RD0RA
ITM · Recursively enumerable
Brady’s four-state champion: 107 steps and 13 ones, proven optimal in 1983.
Halts from a blank tape after 107 steps, leaving 13 non-blank cells.
Standard format: 1RB1LB_1LA0LC_1RZ1LD_1RD0RA