For functional programming fans, there is an alternative definition of the busy beaver function as [1]

    the maximum normal form size of any closed lambda term of size n

This has the advantage of having a higher "resolution" by measuring program size in bits rather than states.

[1] https://oeis.org/draft/A333479