Massively Collaborative Research
The Busy Beaver Challenge
Featured Links
Description
Original message by dyuan on discord: https://bbchallenge.org/4LB1LC2RA3RA4RA6LC0RA_1RA2LB1RA3LB4LB------_1RZ6LC3RA5LB0LC------ I made a 3x7 TM, such that, given an initial condition A> 0^n 1, halts if and only if n+1 eventually reaches 1 in the collatz sequence. (I wish I could somehow remove symbols 5 and 6, but I did the best I could) The collatz sequence becomes apparent when you do longitudinal analysis: 0 ([<B A>^1]^0 [<C A>^1])^inf -> Halt 0 ([<B A>^1]^(2n) [<C A>^-1])^inf -> ([<B A>^1]^(3n+2) [<C A>^-1])^inf 0 ([<B A>^1]^(2n+1) [<C A>^-1])^inf -> ([<B A>^1]^(n+1) [<C A>^-1])^inf This is the collatz sequence but each term is shifted down by 1, (and does (3n+1)/2 instead of 3n+1)