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 te

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 https://oeis.org/draft/A333479