https://wiki.bbchallenge.org/w/api.php?action=feedcontributions&feedformat=atom&user=Chxu 2026-09-26T02:02:13Z User contributions MediaWiki 1.43.5 https://wiki.bbchallenge.org/w/index.php?title=Skelet_17&diff=320 2024-07-02T15:16:09Z

<p>Chxu: /* TM Behavior */</p> <hr /> <div>{{machine|1LB---_0RC1LE_0RD1RC_1LA1RB_0LB0LA}}<br /> https://bbchallenge.org/1LB---_0RC1LE_0RD1RC_1LA1RB_0LB0LA<br /> <br /> Skelet #17 was one of the last holdouts in BB(5). <br /> <br /> A full proof of its nonhalting by chxu can be found here: https://chrisxudoesmath.com/papers/skelet17.pdf <br /> <br /> Adapting the above, a formal proof of its nonhalting by mxdys can be found here: https://github.com/ccz181078/Coq-BB5/blob/main/Skelet17.md<br /> <br /> == TM Behavior ==<br /> <br /> S can be simulated with the following rules:<br /> <br /> &lt;pre&gt;<br /> A(a0, a1, ..., an)=1 (10)^a0 1 (10)^a1 ... 1 (10)^an<br /> &lt;/pre&gt;</div>

Chxu https://wiki.bbchallenge.org/w/index.php?title=Skelet_17&diff=319 2024-07-02T15:14:48Z

<p>Chxu: added links to proofs</p> <hr /> <div>{{machine|1LB---_0RC1LE_0RD1RC_1LA1RB_0LB0LA}}<br /> https://bbchallenge.org/1LB---_0RC1LE_0RD1RC_1LA1RB_0LB0LA<br /> <br /> Skelet #17 was one of the last holdouts in BB(5). <br /> <br /> A full proof of its nonhalting can be found here: https://chrisxudoesmath.com/papers/skelet17.pdf <br /> <br /> A formal proof by mxdys can be found here: https://github.com/ccz181078/Coq-BB5/blob/main/Skelet17.md<br /> <br /> == TM Behavior ==<br /> <br /> S can be simulated with the following rules:<br /> <br /> &lt;pre&gt;<br /> A(a0, a1, ..., an)=1 (10)^a0 1 (10)^a1 ... 1 (10)^an<br /> &lt;/pre&gt;</div>

Chxu