Skelet 1: Difference between revisions
Jump to navigation
Jump to search
(→Preperiod: Note this is an upper bound.) |
(Remove lower bound comment.) |
||
Line 1: | Line 1: | ||
{{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC|halt}}{{unsolved|What is the cycle | {{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC|halt}}{{unsolved|What is the exact cycle preperiod of Skelet 1?}}{{TM|1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC}} | ||
[[File:Skeleton warrior.png|thumb|A skeleton warrior holding a sword. The runic inscription on its blade is a string that is particularly often encountered on a tape during Skelet 1 simulation.]] | [[File:Skeleton warrior.png|thumb|A skeleton warrior holding a sword. The runic inscription on its blade is a string that is particularly often encountered on a tape during Skelet 1 simulation.]] | ||
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 about <math>5.42 \times 10^{51}</math><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 about <math>5.42 \times 10^{51}</math><ref>[https://www.sligocki.com/2023/03/13/skelet-1-infinite.html#stats Skelet #1 is infinite] Statistics.</ref> |
Revision as of 22:07, 4 February 2025
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 about [1]
Preperiod
The exact preperiod (minimum cycle start start step) for Skelet 1 is not known, but @hipparcos computed it to be approximately 5418883027667422764169643414989497193809945789706483. This is an upper bound (by this point the TM is cycling). This value is probably accurate to within about one period.[2]
References
- ↑ Skelet #1 is infinite Statistics.
- ↑ @hipparcos 13 Jan 2025 Discord