You're missing the point. First, even with determinism and finite state, to witness the repeated state for any arbitrary program would require a meta machine wi

You're missing the point. First, even with determinism and finite state, to witness the repeated state for any arbitrary program would require a meta machine with _more_ memory then the running machine. That's the ultimate problem, internally you can't notice if you're going to terminate, and a machine of the same power can't either. It's gotta be stronger.