X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
Delivered-To: barryleiba.mailing.lists@gmail.com
Received: by 10.112.48.104 with SMTP id k8csp212227lbn;
        Wed, 13 Jun 2012 09:02:58 -0700 (PDT)
Received: by 10.68.197.99 with SMTP id it3mr7952191pbc.148.1339603378044;
        Wed, 13 Jun 2012 09:02:58 -0700 (PDT)
Return-Path: <abnf-discuss-bounces@ietf.org>
Received: from mail.ietf.org (mail.ietf.org. [2001:1890:123a::1:1e])
        by mx.google.com with ESMTP id ox1si2709501pbc.215.2012.06.13.09.02.57;
        Wed, 13 Jun 2012 09:02:58 -0700 (PDT)
Received-SPF: fail (google.com: domain of abnf-discuss-bounces@ietf.org does not designate 2001:1890:123a::1:1e as permitted sender) client-ip=2001:1890:123a::1:1e;
Authentication-Results: mx.google.com; spf=hardfail (google.com: domain of abnf-discuss-bounces@ietf.org does not designate 2001:1890:123a::1:1e as permitted sender) smtp.mail=abnf-discuss-bounces@ietf.org; dkim=pass (test mode) header.i=@ietf.org
Received: from ietfa.amsl.com (localhost [127.0.0.1])
	by ietfa.amsl.com (Postfix) with ESMTP id 17D3421F857D;
	Wed, 13 Jun 2012 09:02:57 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1;
	t=1339603377; bh=T7S+ThFccmhFY4mrZRhTkX8Ynazc9p2iOFNW9YMd+tA=;
	h=Date:From:Message-ID:To:In-Reply-To:References:MIME-Version:
	 Subject:List-Id:List-Unsubscribe:List-Archive:List-Post:List-Help:
	 List-Subscribe:Content-Type:Content-Transfer-Encoding:Sender;
	b=ucvt3bdbhyTX8qXSsHQIyFY0IUJLhsGi2rnBfJkis3bTm53Dn9c2Na8+P3pnC/d8P
	 0BA+5oTqvNOTgPenYDt4hAaGtjBR5lnk/ilidISRVvXnmRDn7xIM5q3WKliKPGvA51
	 UHCUdSrYvvdShkDfomf/Wq46Xb7yhyfD9pEcNy2o=
X-Original-To: abnf-discuss@ietfa.amsl.com
Delivered-To: abnf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1])
	by ietfa.amsl.com (Postfix) with ESMTP id C20FD21F8573
	for <abnf-discuss@ietfa.amsl.com>; Wed, 13 Jun 2012 09:02:55 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.599
X-Spam-Level: 
X-Spam-Status: No, score=-2.599 tagged_above=-999 required=5
	tests=[BAYES_00=-2.599]
Received: from mail.ietf.org ([12.22.58.30])
	by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id 134GriI7fQxB for <abnf-discuss@ietfa.amsl.com>;
	Wed, 13 Jun 2012 09:02:55 -0700 (PDT)
Received: from smtp.pobox.com (b-pb-sasl-quonix.pobox.com [208.72.237.35])
	by ietfa.amsl.com (Postfix) with ESMTP id 2597021F856C
	for <abnf-discuss@ietf.org>; Wed, 13 Jun 2012 09:02:55 -0700 (PDT)
Received: from smtp.pobox.com (unknown [127.0.0.1])
	by b-sasl-quonix.pobox.com (Postfix) with ESMTP id 9AAF76B55;
	Wed, 13 Jun 2012 12:02:53 -0400 (EDT)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=date:from
	:message-id:to:subject:in-reply-to:references:mime-version
	:content-type:content-transfer-encoding; s=sasl; bh=DffFje4xg+xR
	h9V66hcI2sYnIcQ=; b=yX0c7NHVRchaf+fmEaSrUbQShJ3WY66UIFteKO4NLJEa
	W8T5j186pVCFVxYiHKNiL0rim5yx5AUPpajrkygWK826Aar7epXZWQ+yaGtew3dT
	AEM22xwcDc3sG4fLxuZB6CoGjMNL+sjavxWyGJvbuEzL8ux8D/m3JOfbwak0a3c=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=date:from
	:message-id:to:subject:in-reply-to:references:mime-version
	:content-type:content-transfer-encoding; q=dns; s=sasl; b=hFwHwA
	dzahMBvPEOl07CARxWIpDJy8M0Cd9w7Kh7PXSSzbNjpPivdhUn9pzUvqedz+69c5
	eB6Q13nqXNAv/jwVq1TjxWKprQPtyU3PiCZoSHCvD9lULMyAMFHE+XVrlh0oU2Y6
	zatoC4QA67poQ7VyxYbmSXgW3LRItJ10ljQ3A=
Received: from b-pb-sasl-quonix.pobox.com (unknown [127.0.0.1])
	by b-sasl-quonix.pobox.com (Postfix) with ESMTP id 924BC6B54;
	Wed, 13 Jun 2012 12:02:53 -0400 (EDT)
Received: from BQ07NB (unknown [68.107.110.211]) by b-sasl-quonix.pobox.com
	(Postfix) with ESMTPA id 058266B50;
	Wed, 13 Jun 2012 12:02:52 -0400 (EDT)
Date: Wed, 13 Jun 2012 09:02:51 -0700
From: Bill McQuillan <McQuilWP@pobox.com>
X-Priority: 3 (Normal)
Message-ID: <125452205.20120613090251@pobox.com>
To: ABNF-Discuss <abnf-discuss@ietf.org>
In-Reply-To: <alpine.LSU.2.00.1206131151160.10149@hermes-2.csi.cam.ac.uk>
References: <2CCD27F5-B8D5-4C51-A830-54E6E2676029@lineone.net>
	<4FD79FAD.8040409@alum.mit.edu>
	<alpine.LSU.2.00.1206131151160.10149@hermes-2.csi.cam.ac.uk>
MIME-Version: 1.0
X-Pobox-Relay-ID: 3B8B9D64-B571-11E1-914A-FC762E706CDE-02871704!b-pb-sasl-quonix.pobox.com
Subject: Re: [abnf-discuss] Unordered lists with specific cardinality
X-BeenThere: abnf-discuss@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "General discussion about tools,
	activities and capabilities involving the ABNF meta-language"
	<abnf-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/abnf-discuss>,
	<mailto:abnf-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/abnf-discuss>
List-Post: <mailto:abnf-discuss@ietf.org>
List-Help: <mailto:abnf-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/abnf-discuss>,
	<mailto:abnf-discuss-request@ietf.org?subject=subscribe>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Sender: abnf-discuss-bounces@ietf.org
Errors-To: abnf-discuss-bounces@ietf.org


On Wed, 2012-06-13, Tony Finch wrote:
> Paul Kyzivat <pkyzivat@alum.mit.edu> wrote:
>>
>> It would be nice to extend ABNF with some syntax to help with this. But no
>> good syntax for this leaps into my mind.

> This would make ABNF no longer straightforwardly translatable into other
> BNF-alikes. I don't think it would be worth it.

Although my parser theory may be a little rusty, isn't this the 
equivalent of forcing a context-sensitive feature into a 
context-free grammar?

-- 
Bill McQuillan <McQuilWP@pobox.com>

_______________________________________________
abnf-discuss mailing list
abnf-discuss@ietf.org
https://www.ietf.org/mailman/listinfo/abnf-discuss

