Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations correctly determine non-halting ---Ben's
 10/2022 analysis
Date: Sat, 8 Jun 2024 02:25:09 +0200
Organization: CCCP
Lines: 9
Message-ID: <v408d5$29or2$1@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
 <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
 <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <v3nkqr$h7f9$3@dont-email.me> <v3p4ka$sk6h$1@dont-email.me>
 <v3pp7p$v133$8@dont-email.me> <v3s27e$1f9kd$1@dont-email.me>
 <v3sf1n$1gra7$11@dont-email.me> <v3sjo9$1ialb$1@dont-email.me>
 <v3skoo$1iedv$1@dont-email.me> <v3u9ej$1v7rn$1@dont-email.me>
 <v3v6i7$23l33$1@dont-email.me> <v3vse5$3ao52$5@i2pn2.org>
 <v401dt$287qb$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 08 Jun 2024 02:25:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e26b4907274667b4dae29b5571bdc722";
	logging-data="2417506"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18SuGHwt8G5aZHWfB36YJE8"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fhdg4sgRKdhC6MS8znNo8tI5PQc=
In-Reply-To: <v401dt$287qb$8@dont-email.me>
Content-Language: en-US
Bytes: 1935

Le 08/06/2024 à 00:26, olcott a écrit :
....
> No actual Turing machine can be the input to any other actual
> Turing machine. Turing machines only take finite string inputs.

Any Turing Machine can be represented by a finite strint inpput.