User blog comment:Boboris02/MBOT/@comment-30167082-20161218101337

I'm a little confused by your definition of the Busy Beaver function - essentially, don't you need to describe all the possible states, and run them until the highest number of 1s is found after halting? I'm not sure if your 20 symbol definition really defines this :P