Message Boards Message Boards

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

Owen Xuan, Lakeside High School
Posted 15 days ago

Multiway graph of 2-state 2-color Busy Beaver-Candidate Turing Machines
POSTED BY: Owen Xuan
2 Replies
Sort By:

Impressive work!
POSTED BY: Shangqiu (David) Li

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: Moderation Team
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract