computation

Definition

Busy-Beaver Function

is the maximum number of s that a Turing machine with states and tape alphabet , when started on the blank tape, leaves on the tape upon termination.