Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: nnymous109@gmail.com (nnymous109)
Newsgroups: comp.theory
Subject: Re: Yet another contribution to the P-NP question
Date: Sun, 29 Sep 2024 15:35:58 +0000
Organization: RetroBBS
Message-ID: <a2983083522e7111ae128290c08b22ea@www.rocksolidbbs.com>
References: <85955d539da522cf777ab489101c0e2a@www.rocksolidbbs.com> <4b415dd5a91ac648bee8224fc3c28aa19706e06f.camel@gmail.com> <a4cacd3261a32cb9a769fbfe6ed1cd15@www.rocksolidbbs.com> <87cykqgfax.fsf@bsb.me.uk> <MWqdnZDONIeEjWv7nZ2dnZfqnPudnZ2d@brightview.co.uk> <877cawhg6g.fsf@bsb.me.uk> <793e0d649cf836d3b0bbdf9c1f946091@www.rocksolidbbs.com> <87v7yffh5h.fsf@bsb.me.uk> <3f36b24ff7a1d155688df8517ffc4032@www.rocksolidbbs.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: i2pn2.org;
	logging-data="4021327"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="rrhMWBcDAx1rC5+om1CWMH+W6SvwsR4AkzPL9w80GDY";
User-Agent: Rocksolid Light
X-Rslight-Posting-User: 997a80a59f36bca0d6daf54c90c3284ff767f4d5
X-Spam-Checker-Version: SpamAssassin 4.0.0
X-Rslight-Site: $2y$10$WqCq7GGCBDg0flJYxKEk2usTy05i/u1W8TP//cOpPiBcYmwOrFZn.
Bytes: 1519
Lines: 4

> If U_M is the set of symbols over which M recurses over, a property, P,
> of M is a subset of U_M. S.(M(x)) satisfies P if some substring of some
> element of it is in P.

I meant that P is a subset of (U_M)*