X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
Delivered-To: barryleiba.mailing.lists@gmail.com
Received: by 10.59.3.41 with SMTP id bt9csp139659ved;
        Wed, 2 Jan 2013 09:48:24 -0800 (PST)
X-Received: by 10.66.88.129 with SMTP id bg1mr138303358pab.71.1357148903945;
        Wed, 02 Jan 2013 09:48:23 -0800 (PST)
Return-Path: <abnf-discuss-bounces@ietf.org>
Received: from mail.ietf.org (mail.ietf.org. [2001:1890:126c::1:1e])
        by mx.google.com with ESMTP id j9si45464687paw.96.2013.01.02.09.48.23;
        Wed, 02 Jan 2013 09:48:23 -0800 (PST)
Received-SPF: pass (google.com: domain of abnf-discuss-bounces@ietf.org designates 2001:1890:126c::1:1e as permitted sender) client-ip=2001:1890:126c::1:1e;
Authentication-Results: mx.google.com; spf=pass (google.com: domain of abnf-discuss-bounces@ietf.org designates 2001:1890:126c::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 EFC9521F8700;
	Wed,  2 Jan 2013 09:48:22 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1;
	t=1357148902; bh=N+u07xsPwGSLgs83JdBZlqvn+ELEssuyNThAY06tMyg=;
	h=Date:From:To:In-Reply-To:Message-ID:References:MIME-Version:Cc:
	 Subject:List-Id:List-Unsubscribe:List-Archive:List-Post:List-Help:
	 List-Subscribe:Content-Type:Content-Transfer-Encoding:Sender;
	b=JqrMzZOVJcZXpnuS26RxoG0rz2OKl7SvJtzMaKTwMTpcYWRjwMhkop0/uJSaiENju
	 X00U7QT8mAeS/Hv4mqw1vLHkptCNVwkuA1pI5aDz8ObLqbDesGDxfH0XppnvetOc0K
	 jX6iaZ1roB5P3scMObxKqN5ka1GJIo3pZ5fz9k/w=
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 E35E021F86FF
	for <abnf-discuss@ietfa.amsl.com>; Wed,  2 Jan 2013 09:48:21 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.108
X-Spam-Level: 
X-Spam-Status: No, score=-4.108 tagged_above=-999 required=5
	tests=[AWL=-1.509, BAYES_00=-2.599]
Received: from mail.ietf.org ([64.170.98.30])
	by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id foEDndqN08b2 for <abnf-discuss@ietfa.amsl.com>;
	Wed,  2 Jan 2013 09:48:21 -0800 (PST)
Received: from ppsw-43.csi.cam.ac.uk (ppsw-43.csi.cam.ac.uk [131.111.8.143])
	by ietfa.amsl.com (Postfix) with ESMTP id 247B121F86F8
	for <abnf-discuss@ietf.org>; Wed,  2 Jan 2013 09:48:21 -0800 (PST)
X-Cam-AntiVirus: no malware found
X-Cam-SpamDetails: not scanned
X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/
Received: from hermes-1.csi.cam.ac.uk ([131.111.8.51]:37437)
	by ppsw-43.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.159]:25)
	with esmtpa (EXTERNAL:fanf2) id 1TqSQM-0003w4-pL (Exim 4.72)
	(return-path <fanf2@hermes.cam.ac.uk>); Wed, 02 Jan 2013 17:48:18 +0000
Received: from fanf2 by hermes-1.csi.cam.ac.uk (hermes.cam.ac.uk)
	with local id 1TqSQM-0006Hb-T8 (Exim 4.72)
	(return-path <fanf2@hermes.cam.ac.uk>); Wed, 02 Jan 2013 17:48:18 +0000
Date: Wed, 2 Jan 2013 17:48:18 +0000
From: Tony Finch <dot@dotat.at>
X-X-Sender: fanf2@hermes-1.csi.cam.ac.uk
To: Dave Crocker <dcrocker@gmail.com>
In-Reply-To: <50E460D0.1020308@gmail.com>
Message-ID: <alpine.LSU.2.00.1301021743310.15409@hermes-1.csi.cam.ac.uk>
References: <50DCD850.3020106@alum.mit.edu>
	<alpine.LSU.2.00.1301021022570.15409@hermes-1.csi.cam.ac.uk>
	<50E45623.9060607@gmail.com>
	<alpine.LSU.2.00.1301021552190.15409@hermes-1.csi.cam.ac.uk>
	<50E45B21.20509@gmail.com>
	<alpine.LSU.2.00.1301021611070.15409@hermes-1.csi.cam.ac.uk>
	<50E460D0.1020308@gmail.com>
User-Agent: Alpine 2.00 (LSU 1167 2008-08-23)
MIME-Version: 1.0
Cc: abnf-discuss@ietf.org, Paul Kyzivat <pkyzivat@alum.mit.edu>
Subject: Re: [abnf-discuss] Some thoughts about how to make ABNF more
 convenient to use
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

Dave Crocker <dcrocker@gmail.com> wrote:
> On 1/2/2013 8:24 AM, Tony Finch wrote:
> >
> > Hmm, well I would describe those as sub-languages whereas I thought we
> > were talking about independent languages. But in both cases they can be
> > defined / identified using the transitive closure from the starting rule,
> > without revising ABNF.
>
> I don't think so.  The parsing rules for a date field are quite different than
> for an an address field, in 822.  They share some lexical constructs, of
> course, but I don't find that very significant for the current topic.

The reason I say they are sub-languages is that the starting rule for
messages in RFC 5322 is

   message         =   (fields / obs-fields)
                       [CRLF body]

and from there you can get to various sublanguages via rules like

   orig-date       =   "Date:" date-time CRLF

   sender          =   "Sender:" mailbox CRLF

All the ABNF in RFC 5322 is in the transitive closure of the message rule.

Tony.
-- 
f.anthony.n.finch  <dot@dotat.at>  http://dotat.at/
Forties, Cromarty: East, veering southeast, 4 or 5, occasionally 6 at first.
Rough, becoming slight or moderate. Showers, rain at first. Moderate or good,
occasionally poor at first.
_______________________________________________
abnf-discuss mailing list
abnf-discuss@ietf.org
https://www.ietf.org/mailman/listinfo/abnf-discuss

