The Busy Beaver Problem
A NEW MILLENNIUM ATTACK
|
Alternating Christmas Tree
Non-Halters
Alternating Christmas trees are
extremely similar to regular christmas
trees. The only difference being that the construction of an
additional [X] on the tape takes two sweeps across the tape rather
than one. See Owen's non-halter
presentation for details on the alternating christmas tree
detection strategy.
References
Brady. "The Determination of the
Value of Rado's Noncomputable Function Sigma(k) for Four-State
Turing Machines" Mathematics of Computation Volume
40, Number 162. April 1983, pp 647-665
Machlin and Stout. "The Complex Behavior of Simple Machines" Physica D 42 (1990). pp. 85-98 |
Non Halt Detection
Non
Halters
Backtrackers Subset Loops Simple Loops Christmas Trees Alternating Christmas Trees Counters Project Components
Current Champions
RSet by present RPI effort MSet by Machado and Pereira OSet by Oberschelp, et al. TTrivial records ?Unknown origin Also note: A solid yellow background indicates records have been explicitly confirmed by the present effort. A faded yellow indicates relative confidence but not yet an explicit proof. Busy Beaver Research Team
Bram van Heuveln
Selmer Bringsjord Boleslaw Szymanski Carlos Varela Kyle Ross Owen Kellett Shailesh Kelkar |