> And even in this limited domain we cannot solve the Halting Problem, so I consider them a part of the Turing Machine class even if they are descendants of Tur

> And even in this limited domain we cannot solve the Halting Problem, so I consider them a part of the Turing Machine class even if they are descendants of Turing's Form. Non-halting finite machines are periodic. The fact that we are unable to detect that they have returned to a prior state is a physical limitation, not a theoretical one.