Liste des Groupes | Revenir à s logic |
On 3/8/24 5:54 PM, olcott wrote:Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> is smarter than Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ can possibly be.H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> must report on what happens in the pathological program.The problem is that the direct application of the Linz Turing Machine template doesn't generate the Pathological Olcott-Machine template, because their execution semantics are diffferent, due to the modification caused by the master UTM.
When we specify how the pathological program will transition to Ĥ.Hqn
then we know what H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> will see and how it will report.
>
>
The actual Pathological input for Olcot-Machines needs to get to the state H^.H with (H^) (H^) <H> on the tape,That is not how Olcott machines are stipulated to operate.
Les messages affichés proviennent d'usenet.