Re: [SPOILER] Perl Quiz of the Week #24 (Turing Machine simulation)

Kevin Pfeiffer <[email protected]> Mon, 20 Sep 2004 18:05:16 +0200
Newsgroups gmane.comp.lang.perl.qotw.discuss
Organization TIROS.NET (Tiros Translations)
Message-ID <[email protected]> 
Daniel Martin writes:
[...]
> infinite-run-detection code you add, I guarantee either that there's a
> Turing Machine program that would halt but is erroneously detected as
> being stuck in an infinte loop by your code or that there's a program
> that will run forever undetected.  I'd also wager that the people on
> this list will be able to write such a counterexample to any
> infinte-loop-detection code in short order.

Wait, I think I've read this book somewhere before... G... E... B... or 
something.

-- 
Kevin Pfeiffer <[email protected]>
Freiberuflicher Übersetzer - TIROS-TRANSLATIONS <[email protected]>