Article <v1nec4$1vb8i$1@dont-email.me>

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 <v1nec4$1vb8i$1@dont-email.me>

Deutsch English Français Italiano

<v1nec4$1vb8i$1@dont-email.me>

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

Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Termination analyzer defined
Date: Sat, 11 May 2024 12:39:16 +0300
Organization: -
Lines: 33
Message-ID: <v1nec4$1vb8i$1@dont-email.me>
References: <v1me7i$1l6ut$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 11 May 2024 11:39:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="fef0ea54589486351e060826d200fdc6";
	logging-data="2075922"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1998ALO/7ubo4kfzwwPu6v6"
User-Agent: Unison/2.2
Cancel-Lock: sha1:3JRirL+23yPgtZm10nZL31YIw6U=
Bytes: 2245

On 2024-05-11 00:30:40 +0000, olcott said:

> A termination analyzer is different than a halt decider in that it need
> not correctly determine the halt status of every input. For the purposes
> of this paper a termination analyzer only needs to correctly determine
> the halt status of one terminating input and one non-terminating input.
> The computer science equivalent would be a halt decider with a limited
> domain that includes at least one halting and one non-halting input.

From https://www.google.fi/search?q=termination+analysis and
https://en.wikipedia.org/wiki/Termination_analysis :

"In computer science, termination analysis is program analysis which 
attempts to determine whether the evaluation of a given program halts 
for each input. This means to determine whether the input program 
computes a total function."

So the term "termination analysis" is already defined. The derived term
"termination analyzer" means a performer of termination analysis. That
does not agree with the propsed defintion above so a differnt term
should be used.

That "termination analysis" is a know term that need not be defined
is demostrated e.g. by

    https://arxiv.org/pdf/2101.09783

which simply assumes that readers know (at least approximately) what
the term means.

-- 
Mikko