Skelet 1: Difference between revisions
Jump to navigation
Jump to search
(add open problem) |
m (fix spacing) |
||
Line 1: | Line 1: | ||
{{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC}} | {{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC}}{{unsolved|What is the cycle start time of Skelet 1? The best known lower bound is <math>10^{24}</math>.}}{{TM|1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC}} | ||
{{unsolved|What is the cycle start time of Skelet 1? The best known lower bound is <math>10^{24}</math>.}} | |||
One of the most challenging [[BB(5)]] Turing machines to prove non-halting. It was eventually proven to be a [[Translated Cycler]] with period 8,468,569,863 and start step over <math>10^{24}</math> (probably much larger!)<ref>[https://www.sligocki.com/2023/03/13/skelet-1-infinite.html#stats Skelet #1 is infinite] Statistics.</ref> | One of the most challenging [[BB(5)]] Turing machines to prove non-halting. It was eventually proven to be a [[Translated Cycler]] with period 8,468,569,863 and start step over <math>10^{24}</math> (probably much larger!)<ref>[https://www.sligocki.com/2023/03/13/skelet-1-infinite.html#stats Skelet #1 is infinite] Statistics.</ref> |
Revision as of 02:06, 24 July 2024
1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC
(bbch)
One of the most challenging BB(5) Turing machines to prove non-halting. It was eventually proven to be a Translated Cycler with period 8,468,569,863 and start step over (probably much larger!)[1]
References
- ↑ Skelet #1 is infinite Statistics.