Groups | Search | Server Info | Login | Register

Groups > comp.theory > #64900

Re: Termination Analyzer H prevents Denial of Service attacks

Cross-posted to 3 groups.

Show all headers | View raw

On 6/15/23 12:50 PM, olcott wrote:
> A termination analyzer is an ordinary computer program that is supposed
> to determine whether or not its input program will ever stop running or
> gets stuck in infinite execution.
> 

Right, THE PROGRAM, not the simulation of the program by the analyzer.

> When a program input has been specifically defined to confuse a
> termination analyzer it is correct to determine that the program
> behavior is malevolent.
> 

Nope, since the PROGRAM stops, the only correct answer (if you analyser 
is supposed to be accurate) is to say it stops.

If you are allowing FALSE answers,

> Prior to my work nothing could be done about inputs having a
> pathological relationship to their termination analyzer. Prior to my
> work Rice's theorem prevented this pathological relationship from being
> recognized.
> 

Because there was no need to even try to define "pathological inputs", 
as the deciders are defined to work for ALL input.

> The pathological relationship is when an input program D is defined to
> do the opposite of whatever its termination analyzer H says it will do.
> If H says that D will stop running D runs an infinite loop. If H says
> that D will never stop running, D immediately stops running.


Right, so H is just wrong.

> 
> When H(D,D) returns 0 this means that the input does not halt or the
> input has pathological behavior that would otherwise cause the
> termination analyzer to not halt. This means that the program has either
> a non-termination bug or the program has malevolent behavior.

But Malevolent behaior is ALLOWED by the problem, so H is just wrong.

> 
> This reasoning completely overcomes the one key objection to my work
> that has persisted for two years.

Nope, just proves that you don't understand what requirements mean.

> 
> *Termination Analyzer H prevents Denial of Service attacks*
> https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_prevents_Denial_of_Service_attacks
> 

Since D(D) Halts, the ONLY correct answer for H(D,D) is Halting, so the 
fact it says non-halting says it is NOT a correct Halt Decider.

Maybe it is a correct POOP decider, but then you need to find a use for 
your POOP.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 11:50 -0500
  Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 12:57 -0400
    Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 12:31 -0500
      Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 15:58 -0400
        Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 15:29 -0500
          Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 17:16 -0400
            Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 18:56 -0500
              Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 21:41 -0400
                Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 21:00 -0500
                Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 22:32 -0400
                Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 22:00 -0500
                Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-15 23:17 -0400
                Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-15 22:39 -0500
                Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-16 07:45 -0400
                Re: Termination Analyzer H prevents Denial of Service attacks olcott <polcott2@gmail.com> - 2023-06-16 09:38 -0500
                Re: Termination Analyzer H prevents Denial of Service attacks Richard Damon <Richard@Damon-Family.org> - 2023-06-16 19:45 -0400

csiph-web