Message-ID:

"The hands that help are better far than the lips that pray." -- Robert G. Ingersoll

computers / comp.ai.philosophy / What happens when the Linz H is applied to its own Turing machine description?

What happens when the Linz H is applied to its own Turing machine description?

<mdadnU8zEM4tdlj8nZ2dnUU7-SnNnZ2d@giganews.com>

https://www.novabbs.com/computers/article-flat.php?id=7691&group=comp.ai.philosophy#7691

copy link Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Followup: comp.theory

Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 24 Dec 2021 09:48:00 -0600
Date: Fri, 24 Dec 2021 09:47:58 -0600
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.4.1
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Content-Language: en-US
Followup-To: comp.theory
From: NoO...@NoWhere.com (olcott)
Subject: What happens when the Linz H is applied to its own Turing machine
description?
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <mdadnU8zEM4tdlj8nZ2dnUU7-SnNnZ2d@giganews.com>
Lines: 29
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-yE5tCLTc3/gxQivzguJzTmJjUgqUOIZDya967tTyp4WTLOUsjX08M5+zkIH/FVGNvV9NXopkGVNnuuE!y1pMCZmYjIrOQomZf4viIYe1WHlNRUg/R6vErxsB3/z41I5pCBzudxCus9+4Io0COKBUFefTEAZr!JA==
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2141

by: olcott - Fri, 24 Dec 2021 15:47 UTC

What happens when the Linz H is applied to its own Turing machine
description under the following conditions ?

H.q0 ⟨H⟩ ⟨H⟩ ⊢* Ĥ.qy
H.q0 ⟨H⟩ ⟨H⟩ ⊢* Ĥ.qn

We hypothesize that the Linz H computes the mapping from its input
finite string pair to its own final states on the basis of the behavior
of its pure simulation of N steps of its input.

H performs a pure simulation of its input until:<br>
(a) Its input halts on its own, then H transitions to H.qy.

(b) The pure simulation of its input would never halt on its own. H
aborts its simulation and transitions to H.qn.

https://www.liarparadox.org/Peter_Linz_HP_315-320.pdf
Linz, Peter 1990. An Introduction to Formal Languages and Automata.
Lexington/Toronto: D. C. Heath and Company. (315-320)

Talent hits a target no one else can hit;
Genius hits a target no one else can see.
Arthur Schopenhauer

Subject	Author
What happens when the Linz H is applied to its own Turing machine	olcott