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