This is an upper bound. There could be many smaller indeterminate machines. Many suspect that even very simple TMs can indeterminate. E.g. collatz.
This is an upper bound. There could be many smaller indeterminate machines. Many suspect that even very simple TMs can indeterminate. E.g. collatz.