Skelet 1: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(Add new preperiod computation) |
||
| Line 1: | Line 1: | ||
{{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC|halt}}{{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}} | {{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC|halt}}{{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}} | ||
[[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 | 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> | ||
== Preperiod == | |||
The exact preperiod (minimum cycle start start step) for Skelet 1 is not known, but @hipparcos computed it to be approximately 5418883027667422764169643414989497193809945789706483. This value is probably accurate to within about one period.<ref>[https://discord.com/channels/960643023006490684/1075378436404678707/1328263736686936066 @hipparcos 13 Jan 2025 Discord]</ref> | |||
== References == | == References == | ||
Revision as of 02:56, 2 February 2025
Unsolved problem:
What is the cycle start time of Skelet 1? The best known lower bound is .
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 value is probably accurate to within about one period.[2]
References
- ↑ Skelet #1 is infinite Statistics.
- ↑ @hipparcos 13 Jan 2025 Discord