From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Michael Heerdegen <michael_heerdegen@web.de>
Newsgroups: gmane.emacs.help
Subject: Re: How to get a concatenation of the negations with rx (ex:
 [^a][^b])?
Date: Sun, 12 Nov 2023 12:53:33 +0100
Message-ID: <871qcvnq6a.fsf@web.de>
References: <1417367556.377258.1699733869853@fidget.co-bxl>
 <87leb3o3m1.fsf@web.de> <ZVB+IsDJQnmokcrR@tuxteam.de>
 <CAP_d_8U3euLr5Bh-mRvYUqVJGiXBCGZZq=9k_3ghRZsa_+U+AA@mail.gmail.com>
 <ZVCrJbkdmP6oJ8dX@tuxteam.de>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="23487"; mail-complaints-to="usenet@ciao.gmane.io"
User-Agent: Gnus/5.13 (Gnus v5.13)
To: help-gnu-emacs@gnu.org
Cancel-Lock: sha1:un/0F1ar6TR3bom5YQza10gEXtg=
Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Sun Nov 12 12:54:11 2023
Return-path: <help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org>
Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org>)
	id 1r292Y-0005sE-R8
	for geh-help-gnu-emacs@m.gmane-mx.org; Sun, 12 Nov 2023 12:54:10 +0100
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <help-gnu-emacs-bounces@gnu.org>)
	id 1r291w-0000nO-V8; Sun, 12 Nov 2023 06:53:33 -0500
Original-Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <geh-help-gnu-emacs@m.gmane-mx.org>)
 id 1r291v-0000n9-LY
 for help-gnu-emacs@gnu.org; Sun, 12 Nov 2023 06:53:31 -0500
Original-Received: from ciao.gmane.io ([116.202.254.214])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <geh-help-gnu-emacs@m.gmane-mx.org>)
 id 1r291t-0000bX-Vz
 for help-gnu-emacs@gnu.org; Sun, 12 Nov 2023 06:53:31 -0500
Original-Received: from list by ciao.gmane.io with local (Exim 4.92)
 (envelope-from <geh-help-gnu-emacs@m.gmane-mx.org>)
 id 1r291r-00054n-Tw
 for help-gnu-emacs@gnu.org; Sun, 12 Nov 2023 12:53:27 +0100
X-Injected-Via-Gmane: http://gmane.org/
Received-SPF: pass client-ip=116.202.254.214;
 envelope-from=geh-help-gnu-emacs@m.gmane-mx.org; helo=ciao.gmane.io
X-Spam_score_int: -13
X-Spam_score: -1.4
X-Spam_bar: -
X-Spam_report: (-1.4 / 5.0 requ) BAYES_00=-1.9,
 FREEMAIL_FORGED_FROMDOMAIN=0.249, FREEMAIL_FROM=0.001,
 HEADER_FROM_DIFFERENT_DOMAINS=0.249, SPF_HELO_NONE=0.001, SPF_PASS=-0.001,
 T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no
X-Spam_action: no action
X-BeenThere: help-gnu-emacs@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Users list for the GNU Emacs text editor <help-gnu-emacs.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-gnu-emacs>,
 <mailto:help-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/help-gnu-emacs>
List-Post: <mailto:help-gnu-emacs@gnu.org>
List-Help: <mailto:help-gnu-emacs-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-gnu-emacs>,
 <mailto:help-gnu-emacs-request@gnu.org?subject=subscribe>
Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org
Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org
Xref: news.gmane.io gmane.emacs.help:145487
Archived-At: <http://permalink.gmane.org/gmane.emacs.help/145487>

tomas@tuxteam.de writes:

> > The regexp thus obtained is often not a pretty sight, either.
>
> I believe you right away on that!

I guess the result could involve huge `or' specs that simply list all
possibilities of a finite but huge number of remaining character
combinations not fulfilling a certain requirement.  At least that's what
I would guess how the conversion result of the negated automaton would
look like.

Michael.