Is there a 5-State binary tape Turing machine that halts in more than 47176870 steps?
Basic
10
Ṁ5128resolved Jul 3
Resolved
NO1D
1W
1M
ALL
In other words, is Marxen and Buntrock (1990)'s machine not the Busy Beaver? Resolves YES if and when a machine taking more than this many steps is proved to halt. Resolves NO if and when it is proven that all machines that do not halt in 47176870 steps never halt.
Close date updated to 2073-12-14 11:00 pm
Get
1,000
and1.00