ora@midwest.social to 196@lemmy.blahaj.zoneEnglish · 1 个月前The letter of the rule, if not the spiritmidwest.socialimagemessage-square52fedilinkarrow-up1116
arrow-up1116imageThe letter of the rule, if not the spiritmidwest.socialora@midwest.social to 196@lemmy.blahaj.zoneEnglish · 1 个月前message-square52fedilink
minus-squareguynamedzero@piefed.zeromedia.viplinkfedilinkEnglisharrow-up3·1 个月前I’m unfamiliar, what is BB?
minus-squaresem@piefed.blahaj.zonelinkfedilinkEnglisharrow-up6·1 个月前Busy beaver algorithm. https://wiki.bbchallenge.org/wiki/Busy_Beaver_Functions Starting definition: the largest number of steps (or shifts) that any Turing machine (of a certain size, and starting with a blank tape) takes before halting. Computerphile does a good treatment on it. https://www.youtube.com/watch?v=CE8UhcyJS0I
minus-squareBodilessGaze@sh.itjust.workslinkfedilinkEnglisharrow-up1·1 个月前https://en.wikipedia.org/wiki/Busy_beaver
BB(tree(3))
I’m unfamiliar, what is BB?
Busy beaver algorithm. https://wiki.bbchallenge.org/wiki/Busy_Beaver_Functions
Starting definition: the largest number of steps (or shifts) that any Turing machine (of a certain size, and starting with a blank tape) takes before halting.
Computerphile does a good treatment on it. https://www.youtube.com/watch?v=CE8UhcyJS0I
https://en.wikipedia.org/wiki/Busy_beaver