From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.6 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI autolearn=ham autolearn_force=no version=3.4.4 Received: from minnie.tuhs.org (minnie.tuhs.org [IPv6:2600:3c01:e000:146::1]) by inbox.vuxu.org (Postfix) with ESMTP id E2B04223C6 for ; Mon, 27 May 2024 15:03:26 +0200 (CEST) Received: from minnie.tuhs.org (localhost [IPv6:::1]) by minnie.tuhs.org (Postfix) with ESMTP id 6A03C43325; Mon, 27 May 2024 23:03:19 +1000 (AEST) Received: from mout2.fh-giessen.de (mout2.fh-giessen.de [212.201.18.46]) by minnie.tuhs.org (Postfix) with ESMTPS id 66C01415F0 for ; Mon, 27 May 2024 23:03:13 +1000 (AEST) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mni.thm.de; s=s2024011601; h=References:In-Reply-To:Date:To:From:Subject:Message-ID: Reply-To:Cc; bh=vQ6nmmxmO2Xf5mJmyhAlpf98vTJJha/0G6a8bb/xJhc=; t=1716814993; x=1717678993; b=OK/LecvBP5svsxaO01wSFQNV1hDPqQj9MBXzLFJJZUlgwTCtWW8G/uNgUAGUJ Vm5z4n0qWhmTTtLrn5M3iyWAXAw3sUXDuHvnDVB+xzVxuyvzuprs+VSmSxLOZKXod2ZeAMF0FCC7o VLdb/um/rgGLPWhLEWM+Im610Q60wnWCqderYNc4BjmNi7Y1Newt+OhNo1vPb8KFKbjqQwHrZ3wy+ p/eBl96PbmyIAHZDCu2lwsE2kQovGsbYq7mozniONEbz/Opb5nKwGTrWkL81UWoanqQpxRe5XxOSD 3At01v6U+xxKiKM3hw/rhzA/nXtoXzzGGiIaU9UuatbFzATH2Q==; Received: from mx2.fh-giessen.de ([212.201.18.41]) by mout2.fh-giessen.de with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1sBa0N-000rvL-0X for tuhs@tuhs.org; Mon, 27 May 2024 15:03:11 +0200 Received: from mailgate-3.its.fh-giessen.de ([212.201.18.34]) by mx2.fh-giessen.de with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1sBa0N-00CZH6-2y for tuhs@tuhs.org; Mon, 27 May 2024 15:03:11 +0200 Received: from p5deb5a65.dip0.t-ipconnect.de ([93.235.90.101] helo=papa2.fritz.box) by mailgate-3.its.fh-giessen.de with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1sBa0M-0002Ar-T1 for tuhs@tuhs.org; Mon, 27 May 2024 15:03:10 +0200 Message-ID: <2fa56390518c73b7f8e4563b5bae0fc48e374b03.camel@mni.thm.de> From: Hellwig Geisse To: TUHS Date: Mon, 27 May 2024 15:03:09 +0200 In-Reply-To: <20240527093909.91CAD21F18@orac.inputplus.co.uk> References: <20240527093909.91CAD21F18@orac.inputplus.co.uk> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.44.4-0ubuntu2 MIME-Version: 1.0 Message-ID-Hash: ZBCQG23F6VB4KSLCGVYESN26O4EMGBUE X-Message-ID-Hash: ZBCQG23F6VB4KSLCGVYESN26O4EMGBUE X-MailFrom: hellwig.geisse@mni.thm.de X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header X-Mailman-Version: 3.3.6b1 Precedence: list Subject: [TUHS] Re: Testing an RE recogniser exhaustively. (Was: A fuzzy awk) List-Id: The Unix Heritage Society mailing list Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hi, On Mon, 2024-05-27 at 10:39 +0100, Ralph Corderoy wrote: >=20 > Which reminded me of Doug's paper. >=20 > =C2=A0=C2=A0=C2=A0 Enumerating the strings of regular languages, > =C2=A0=C2=A0=C2=A0 J. Functional Programming 14 (2004) 503-518 >=20 Thanks for the pointer. That's a nice paper, turned into an equally nice testing method. Hellwig