In article <879433137snz@genesis.demon.co.uk>, fred@genesis.demon.co.uk (Lawrence Kirby) writes: >In article <879381995snz@genesis.demon.co.uk> > fred@genesis.demon.co.uk "Lawrence Kirby" writes: > >... > >>Simply knowing a program is strictly conforming does not mean you can >>predict what it will output. However if you do know what input a >>strictly conforming program receives you should be able to predict from >>the standard alone what output it generates (although I'm not 100% sure of >>that). > >After sleeping on it it is fairly obvious that isn't true. Obviously, because you're talking about the halting problem. -- Boyd Roberts UTM N 31 447109 5411310 En fin, bon, bref, si tu veux, point � la ligne, voil� quoi -- Jacques SPAT: jp@gte.net