Derivatives of the Busy Beaver function – Math – Snap! Forum https://forum.snap.berkeley.edu/t/derivatives-of-the-busy-beaver-function/13109
Define βB(x,y) as BB(x) but restricted to an input size of y.For infinite y,it is uncomputable,otherwise the halting problem would be solvable by simulation. For finite y,it is computable by brute force.It is monotonic …
(i.e. infinite tape length) I couldn’t find any references to these functions online