Email List: Xaustin-group-lX
[All Lists]

Re: RE-ASSOC: a question about the associativity of RE concatenation

To: Paul Eggert <yyyyyy@xxxxxxxxxxx>
Subject: Re: RE-ASSOC: a question about the associativity of RE concatenation
From: Isamu Hasegawa <yyyyy@xxxxxxxxxxxxxx>
Date: Fri, 12 Apr 2002 17:28:47 +0900
Cc: yyyyy@xxxxxxxxxxxxxx, yyyy@xxxxxxxxxxx, yyyyyyyyyyyyyy@xxxxxxxxxxxxx, yyyyy@xxxxxxxxxx
References: <200204091857.OAA35259@raptor.research.att.com><200204092229.g39MTeX00802@shade.twinsun.com><200204092254.PAA02436@morrowfield.home><200204092340.g39Neua00876@shade.twinsun.com><uelho8ehm.wl@AMBER.yamato.ibm.com><200204100453.VAA03344@morrowfield.home><ubscs855m.wl@AMBER.yamato.ibm.com><200204120718.g3C7I0k02170@sic.twinsun.com>
Date: Fri, 12 Apr 2002 00:18:00 -0700 (PDT)
From: Paul Eggert <yyyyyy@xxxxxxxxxxx>

> But the syntax is determined by the grammar in combination with other
> rules (e.g., lexical rules).  So the standard is saying that you can't
> implement only the grammar; you must also implement the other
> syntactic rules.
> 
> The intent of that quote is that one need not use C-language actions
> in a Yacc-generated LALR(1) parser to implement regular expressions
> and the like.  I wouldn't read too much into this freedom, though.
> Yes, you can use Bison or ML or Ruby if you want to, but you must
> still implement behavior that conforms to all the syntactic and
> semantic requirements imposed by the standard.

Well, let me confirm one point:

I wrote:

> Then RE implementations may use the grammar except BNF notation.
> For example the interpretation (1c) which Paul said is also valid.
> And RE implementations may also use Right-associative grammar, since
> they describe the same syntax.

You mean the syntax of (1a), (1b), and (1c) are different each other?

Thanks,
-- 
Isamu Hasegawa
IBM Japan, Ltd.

<Prev in Thread] Current Thread [Next in Thread>