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