User:Polygon/Page for testing: Difference between revisions
Jump to navigation
Jump to search
Testing completed Tag: Manual revert |
Setup |
||
| Line 6: | Line 6: | ||
* [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]] | * [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]] | ||
* [[Skelet 1]] | * [[Skelet 1]] | ||
= 1RB1LC_1LC1RD_1LA0LB_0RB1RE_1RF0RA_---0RC = | |||
{machine|1RB1LC_1LC1RD_1LA0LB_0RB1RE_1RF0RA_---0RC}} | |||
{TM|1RB1LC_1LC1RD_1LA0LB_0RB1RE_1RF0RA_---0RC}} is a potentially [[probviously]] halting [[BB(6)]] TM.<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1431570792402915408</ref It was analysed by Racheline on Oct 25, 2025. | |||
== Analysis by Racheline == | |||
https://discord.com/channels/960643023006490684/1239205785913790465/1431579799180148738 | |||
<pre> | |||
A(a,b) := 0^inf 1^a 0 C> 1^b 0^inf | |||
A(a,b) -> A(2a+4,b-a-1) if a is even and b>=a+3 | |||
A(a,b) -> A(2a+3,b-a) if a is odd and b>=a+4 | |||
A(a,a+3) -> A(2a+1,9) if a is odd | |||
A(a,a+2) -> A(1,2a+7) | |||
A(a,a+1) -> A(4,2a+4) | |||
A(a,b) -> A(a-b+1,2b+3) if a>=b>=4 | |||
A(a,3) -> halt if a>=2 | |||
A(a,2) -> A(a-3,7) if a>=4 | |||
start: A(2,9) | |||
</pre> | |||
== References | |||
[Category:BB(6)]] | |||
Revision as of 20:44, 30 March 2026
List of incomplete pages:
- Coq-BB5
- Finite Automata Reduction
- CTL
- Irregular Turing Machine
- Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)
- Skelet 1
1RB1LC_1LC1RD_1LA0LB_0RB1RE_1RF0RA_---0RC
{machine|1RB1LC_1LC1RD_1LA0LB_0RB1RE_1RF0RA_---0RC}} {TM|1RB1LC_1LC1RD_1LA0LB_0RB1RE_1RF0RA_---0RC}} is a potentially probviously halting BB(6) TM.<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1431570792402915408</ref It was analysed by Racheline on Oct 25, 2025.
Analysis by Racheline
https://discord.com/channels/960643023006490684/1239205785913790465/1431579799180148738
A(a,b) := 0^inf 1^a 0 C> 1^b 0^inf A(a,b) -> A(2a+4,b-a-1) if a is even and b>=a+3 A(a,b) -> A(2a+3,b-a) if a is odd and b>=a+4 A(a,a+3) -> A(2a+1,9) if a is odd A(a,a+2) -> A(1,2a+7) A(a,a+1) -> A(4,2a+4) A(a,b) -> A(a-b+1,2b+3) if a>=b>=4 A(a,3) -> halt if a>=2 A(a,2) -> A(a-3,7) if a>=4 start: A(2,9)
== References
[Category:BB(6)]]