Comment by paulryanrogers

How can it be proven correct if it's not deterministic? Isn't this the halting problem?