This is only true for the very small turing machines that we know the busy beaver number for. In the general case, for a system of even moderate size, you have

This is only true for the very small turing machines that we know the busy beaver number for. In the general case, for a system of even moderate size, you have no way of knowing if you've waited long enough to know if the program runs for ever or not.