http://popups.lib.uliege.be/1373-5411/index.php?id=4367 Index terms fr 0 http://popups.lib.uliege.be/1373-5411/index.php?id=4364 The formulations of the undecidability of the Halting Problem assume that the computing process being observed, the description of which is given on the input of the 'observing' Turing Machine, is the exact copy of the computing process running in the observing Turing Machine itself (Cantor's diagonal argument). By this way an analogue of stationary state in thermodynamic sense or an infinite cycle in computing sense is created, shielding now what is to be possibly discovered - the infinite cycle in the observed computing process for a 'normal' input. This shield is the real result of Cantor's diagonal argument which has been used for solving the Halting Problem. We believe that it is possible to recognize the infinite cycle, but with a time delay or staging in evaluating the trace of the observed computing process. Furthermore, the control unit of any Turing Machine is a finite automaton. Both these facts enable that the Pumping Lemma in the observing Turing Machine is usable and the general configuration types are constructed for the observed Turing Machine. This enables (in finite time) us (the observing Turing Machine) to recognize that the computing process in the observed Turing machine has entered into an infinite cycle. These ideas differ from Cantor's diagonal argument. Thu, 10 Oct 2024 10:04:15 +0200 Thu, 10 Oct 2024 10:05:23 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=4364