Skelet 10: Difference between revisions
Jump to navigation
Jump to search
Mentioned increment rules |
Added it having required an individual proof of non-halting |
||
| Line 1: | Line 1: | ||
{{machine|1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE}}{{Stub}} | {{machine|1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE}}{{Stub}} | ||
{{TM|1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE}}, called '''Skelet #10''', was one of [[Skelet's 43 holdouts]] and one of the last holdouts in [[BB(5)]]. It is a double fibonacci [[counter]]. | {{TM|1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE}}, called '''Skelet #10''', was one of [[Skelet's 43 holdouts]] and one of the last holdouts in [[BB(5)]]. It is a double fibonacci [[counter]]. It is one of the few TMs to have required an individual proof of non-halting in [[Coq-BB5]].<ref name="bbchallenge 2025">https://arxiv.org/pdf/2509.12337 Determination of the fifth Busy Beaver value</ref> | ||
== Behavior == | == Behavior == | ||
Skelet 10 implements two base fibonacci counters, one on the right tape side and one on the left tape side. The TM halts if these counters become desynchronised.<ref | Skelet 10 implements two base fibonacci counters, one on the right tape side and one on the left tape side. The TM halts if these counters become desynchronised.<ref name="bbchallenge 2025"/> The right side counter can be described by the following rules:<ref name="Sligocki">https://www.sligocki.com/2023/03/14/skelet-10.html</ref> | ||
<pre> | <pre> | ||
A> 0 10^k 0 --> <D 0^2k 10 | A> 0 10^k 0 --> <D 0^2k 10 | ||
Revision as of 12:47, 21 February 2026
1LC0LA_---0LC_0RD1LA_1LB1RE_1RD0RE (bbch), called Skelet #10, was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a double fibonacci counter. It is one of the few TMs to have required an individual proof of non-halting in Coq-BB5.[1]
Behavior
Skelet 10 implements two base fibonacci counters, one on the right tape side and one on the left tape side. The TM halts if these counters become desynchronised.[1] The right side counter can be described by the following rules:[2]
A> 0 10^k 0 --> <D 0^2k 10 B> 10 10^k 0 --> <D 0^2k+1 10
These rules are equivalent to the Zeckendorf increment rules in base fibonacci.[2]
The left side counter encodes base fibonacci differently and is also reversed, with the least-significant digit being on the right.[2]
References
- ↑ 1.0 1.1 https://arxiv.org/pdf/2509.12337 Determination of the fifth Busy Beaver value
- ↑ 2.0 2.1 2.2 https://www.sligocki.com/2023/03/14/skelet-10.html