Busy Beaver Function BB(n) = Largest number that can be produced by a program with n states. Formalism dependent.