Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The unrecognized minister of propaganda, E -- seen in an email from Ean Schuessler


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

SubjectAuthor
o What happens when the Linz H is applied to its own Turing machineolcott

1
What happens when the Linz H is applied to its own Turing machine description? [typos]

<Yc2dneibxdcGalj8nZ2dnUU7-cXNnZ2d@giganews.com>

 copy mid

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

 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 10:38:51 -0600
Date: Fri, 24 Dec 2021 10:38:49 -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? [typos]
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <Yc2dneibxdcGalj8nZ2dnUU7-cXNnZ2d@giganews.com>
Lines: 29
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-V3nGn3VfAI3ZpurkgEf8+re0G2POVjXoNoH5xgSdZJcUXhnoCHLGoL8hAp9+r1Sc8dqfC9b7lexTZ3S!PSbtjGB9YBzLlKip1YS+7zn06wqcy3eEGXqkOZtbcc9ZmJUPTWEauo1o/Cse4Kkt9VO4hguB4rTU!Eg==
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: 2265
 by: olcott - Fri, 24 Dec 2021 16:38 UTC

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

H.q0 ⟨H⟩ ⟨H⟩ ⊢* H.qy
H.q0 ⟨H⟩ ⟨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:
(a) Its input halts on its own, then H transitions to H.qy.

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

(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)

--
Copyright 2021 Pete Olcott

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

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor