BB(2,4) proven
37 views
Skip to first unread message
Shawn Ligocki
Aug 27, 2024, 10:42:47 PM8/27/24
to Busy Beaver Discuss
@mxdys has adapted their BB(5) Coq proof to show that S(2,4) = 3932964:
One note is that there are no "irregular" BB(2,4) TMs. That is all TMs can be solved by CTL methods using Regular Expressions (which was not true for ~30 BB(5) TMs).
Reply all
Reply to author
Forward
0 new messages