User blog comment:Wythagoras/Extension of the busy beaver function/@comment-1605058-20131104183340/@comment-1605058-20131105173639

I believe you are right. I did not understand, and I still do not. First of all, your machine leaves only 2 symbols, unless I'm missing something more than I think. Second, I can guess that with each visit on O cell we increment it. Third, I'm not too sure if counter allows you to reach Goucher's ordinal, but I don't really know.