Comment by 6nf

> 5 states and 2 symbols is just so few with which to try to encode undecidable behavior.

Would you be brave enough to say the same thing about BB(6) or BB(7)?