Sujet : Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theoryDate : 18. May 2025, 23:18:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <87ecwl1s2p.fsf@bsb.me.uk>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Gnus/5.13 (Gnus v5.13)
Richard Heathfield <
rjh@cpax.org.uk> writes:
...
If they know C they should know that it's
u32 HHH(void (*P)()), according to Halt7.c.
>
It takes a pointer to a function that accepts no arguments and returns no
value.
Yes, but I am surprised that you are being so modern!! You used to
favour C90 and didn't really care for anything more recent.
Empty ()s in a declarator were made obsolete in C17 and made equivalent
to (void) in C23. Prior to C23 a parameter that is pointer to a
function taking no arguments would have to have been written as
u32 HHH(void (*P)(void))
and after C23 the (probable) intended meaning would have to be written
as
u32 HHH(void (*P)(...))
(Caveat: I'm not properly up to date anymore and, this not being
comp.lang.c, I may not be corrected by People Who Really Know.)
-- Ben.