Re: What is the Result from Invoking this Halt Function?

From: Michael N. Christoff (mchristoff_at_sympatico.caREMOVETHIS)
Date: 07/30/04 

Date: Fri, 30 Jul 2004 15:41:55 -0400

"Peter Olcott" <olcott@worldnet.att.net> wrote in message
news:msjOc.153694$OB3.152422@bgtnsc05-news.ops.worldnet.att.net...
>
> //
> // All of the functions are assumed to be standard C++
> //
> void LoopIfHalts (string ProgramSourceFile, string InputData)
> {
> if WillHalt01(ProgramSourceFile, InputData)
> while (true)
> ;
> else // to make it easier for people who don't know C++
> return;
> }
>
> bool WillHalt02(LoopIfHalts, LoopIfHalts)
>
> If we assume that WillHalt01, and WillHalt02 are in separate memory
> space, such that LoopIfHalts only calls WillHalt01, what will be the
> result of invoking WillHalt02 ?
>
> ***NOTE*** WillHalt01, and Willhalt02 are identical in every
> way, except that they reside in separate memory space.
>

So WillHalt02 checks if LoopIfHalts halts when given as input the source to
LoopIfHalts? But LoopIfHalts takes two parameters so how are you breaking
up LoopIfHalts into ProgramSourceFile and InputData?

l8r, Mike N. Christoff

Relevant Pages