Message Boards Message Boards

[WSRP24] Generating macro machine simulations and proofs of halting for busy beaver Turing machines

Posted 5 months ago

Multiway graph of 2-state 2-color Busy Beaver-Candidate Turing Machines

POSTED BY: Owen Xuan
2 Replies

enter image description here -- you have earned Featured Contributor Badge enter image description here Your exceptional post has been selected for our editorial column Staff Picks http://wolfr.am/StaffPicks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!

POSTED BY: EDITORIAL BOARD

Impressive work!

Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract