I am clearly not understanding the Busy Beaver function. Why wouldn't it be infinite for n > k, while(true) { print("1"); }
$\begingroup$
$\endgroup$
$\begingroup$
$\endgroup$
Busy Beaver function considers only terminating TMs, that is only those that execute for some finite number of steps.
