Deutsch English Français Italiano |
<vvmtsa$3d8ic$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: "Fred. Zwarts" <F.Zwarts@HetNet.nl> Newsgroups: comp.theory Subject: Re: Computing the mapping from the input to HHH(DD) --- REFUTES INCORRECT REQUIREMENTS Date: Sat, 10 May 2025 09:05:45 +0200 Organization: A noiseless patient Spider Lines: 16 Message-ID: <vvmtsa$3d8ic$1@dont-email.me> References: <vvla98$2rl0l$19@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 10 May 2025 09:05:46 +0200 (CEST) Injection-Info: dont-email.me; posting-host="6132ef5c9a5712f5fb4e052234097a74"; logging-data="3580492"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18p15zMpwhlL0kqvEN0/qF/" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:gzDC5L8JPN7kRKTDzyYAgQeeNB8= Content-Language: nl, en-GB In-Reply-To: <vvla98$2rl0l$19@dont-email.me> Bytes: 1527 Op 09.mei.2025 om 18:25 schreef olcott: > void DDD() > { > HHH(DDD); > return; > } > > When 1 or more statements of DDD are correctly > simulated by HHH then this correctly simulated > DDD cannot possibly reach its own “return statement”. > (final halt state) > A competent programmer understands that when HHH returns after the 'correct' simulation, DDD will reach its final halt state. A 'correct' simulation must take that into account.