Article <v8320o$3c7$3@news.muc.de>

Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v8320o$3c7$3@news.muc.de>

Deutsch English Français Italiano

<v8320o$3c7$3@news.muc.de>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!news.szaf.org!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory
Subject: Re: Hypothetical possibilities --- stupid rebuttal
Date: Sat, 27 Jul 2024 14:59:36 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v8320o$3c7$3@news.muc.de>
References: <v7gl30$3j9fi$1@dont-email.me> <v7led6$kacj$1@dont-email.me> <v7lsg5$luh0$5@dont-email.me> <v7nm9m$1433k$1@dont-email.me> <v7ofe7$17h8r$6@dont-email.me> <v7qfu0$1m6vf$1@dont-email.me> <v7r040$1onhe$3@dont-email.me> <v7vlbj$2ofet$1@dont-email.me> <v80a2u$2rabc$4@dont-email.me> <v825jo$39i9l$1@dont-email.me> <v82u9d$3dftr$3@dont-email.me> <v8306v$3c7$1@news.muc.de> <v83161$3dftr$11@dont-email.me>
Injection-Date: Sat, 27 Jul 2024 14:59:36 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="3463"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.1-RELEASE (amd64))
Bytes: 2516
Lines: 32

olcott <polcott333@gmail.com> wrote:
> On 7/27/2024 9:28 AM, Alan Mackenzie wrote:
>> olcott <polcott333@gmail.com> wrote:
>>> On 7/27/2024 1:54 AM, Mikko wrote:
>>>> If a simulator correctly simulates a finite number of instructions
>>>> where x86 program specifies an execution of an infinite number of
>>>> instructions then the simulation deviates from x86 semantics at the
>>>> point where the simulation stops but the x86 semantics specify
>>>> countinuation.

>>> In other words you believe that instead of recognizing a
>>> non-halting behavior pattern, then aborting the simulation
>>> and rejecting the input as non-halting the termination
>>> analyzer should just get stuck in recursive simulation?

>> You're doing it again.  "In other words" is here a lie; you've just
>> replaced Mikko's words with something very different.

> He just said that the simulation of a non-terminating input
> is incorrect unless it is simulated forever.

That is closer to his actual words, yes.  In particular, Mikko was
talking about a simulator, not a termination analyser.  He pointed out
that aborting a simulation run was incorrect according to the criteria
you stipulated earlier.

> -- 
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

-- 
Alan Mackenzie (Nuremberg, Germany).