Sujet : Re: Turing Machine computable functions apply finite string transformations to inputs
De : vallor (at) *nospam* cultnix.org (vallor)
Groupes : comp.theoryDate : 28. Apr 2025, 06:22:31
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vun3an$2hlca$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Pan/0.162 (Hmm4; 100b1318; Linux-6.14.4)
On Sun, 27 Apr 2025 21:06:29 -0400, Richard Damon
<
richard@damon-family.org> wrote in
<
8d96b4dc99c7e8643b6fda45f200891d920b2acd@i2pn2.org>:
Which is just an admission that your HHH's are not actual correct
emulator, and you can only apply that statement in the version of your
claims where you retract your claim about Halt7.c being part of the
system (as then then is one and only one HHH), and thus your DD just is
not a program unless you include HHH as part of it, and thus each is a
DIFFFERENT input.
Sorry to butt in...
Where does one find this Halt7.c?
-- -v