0

BB⁻¹(TREE(3))
Construct a Turing machine with tape alphabet {0, 1} that, starting on a tape filled with 0, it halts with at least TREE(3) 1's. Least states wins.
Notes
As math scat mentioned, this is asked in math stackexchange, but such a question may fit better here LOL