Re: if then else shift/reduce Syndrome (Now expression parsing)

theo@engr.mun.ca (Theodore Norvell)
14 Mar 1996 17:08:57 -0500

          From comp.compilers

Related articles
Re: if then else shift/reduce Syndrome solution@gate.net (1996-02-13)
Re: if then else shift/reduce Syndrome bakul@netcom.com (1996-03-03)
Re: if then else shift/reduce Syndrome (Now expression parsing) theo@engr.mun.ca (1996-03-14)
| List of all articles for this month |

From: theo@engr.mun.ca (Theodore Norvell)
Newsgroups: comp.compilers
Date: 14 Mar 1996 17:08:57 -0500
Organization: Faculty of Engineering, Memorial University of Newfoundland.
References: 96-02-139 96-03-029
Keywords: yacc, parse

Henry Spencer <henry@zoo.toronto.edu> writes (among other things):
>The way to do it is to short-circuit the common cases, and invoke the
>full machinery only if (for example) that `1' is followed by an
>operator.


Since Mr. Spencer mentions recursive descent, I think he is refering
to the method that was `published' in comp.compilers some years ago by
Keith Clark. I've implemented it both in C and using functional
parsing combinators. Since it is elegant, hard to get wrong, easy to
extend, and since I doubt that I can explain it any better than
Prof. Clark, at the risk of being redundant, I include his post:


> >From: keithc@dcs.qmw.ac.uk (Keith Clarke;W208a)
> Subject: Re: compact recursive-descent parsing of expressions
> Date: Tue, 26 May 1992 14:14:38 GMT
> ...
> I wrote up a method I'd been teaching for a couple of years at least,
> after reading David Hanson's 1985 paper. You don't need complicated
> tables for my method, and the code is very simple too! The program can
> parse an expression using a number of procedure calls approximately equal
> to the number of nodes in its abstract syntax tree, independent of the
> number of precedence levels in the grammar. The operator symbols of any
> particular expression grammar appear only in two small functions, which
> frequently removes the need for grammar transformation before the method
> can be used. Hanson's paper shows how the number of procedure definitions
> used in a recursive descent parser can be reduced, but does not show how
> the number of procedure activations can be reduced.
>
> Two simple functions Priority and RightAssoc are used to map character
> values to numbers (representing precedences) and booleans. I give sum,
> product and exponentiation the usual behaviour.
>
> proc Priority(c) =
> case c of
> "+" : 1; "*" : 2 ; "^" : 3
> otherwise 0
> endcase
> endproc
>
> proc RightAssoc(c) =
> case c of "^": true;
> otherwise false
> endcase
> endproc
>
> Then there are two routines for doing the parsing; one does atomic things
> (factors, primaries - e.g. bracketed expressions, numbers), the other does
> infix expressions.
> proc parseE(prec) =
> initialise p:=parsePrimary();
> while Priority(input^) >= prec do begin
> let oper = get(input);
> let oprec = Priority(oper);
> p := mknode(p,
> oper,
> parseE(if RightAssoc(oper) then oprec else oprec+1))
> end;
> return p
> endproc
>
> proc parsePrimary() =
> case input^ of
> "(" :
> begin
> get(input);
> let p=E(1);
> if input^ <> ")" then fail fi;
> return p
> end;
> otherwise:
> if input^ in ['a'..'z'] then
> return mkleaf(input^)
> else
> fail
> fi
> endcase
> endproc
>
>
> The research report is available still, I think:
> K.M.Clarke (1986) "The top-down parsing of expressions", Research Report
> 383, Dept of Computer Science, QMC.
> QMC is now QMW, Mile End Rd, London, UK. I mostly do a sort of
> proof-by-transformation.
>
> >Still, like most good ideas that someone probably patented last year, this
> >one has been about for some time!
>
> My method turned out to have been used in Dave Turner's SASL compiler
> (University of St Andrews) - later 70s or early 80s?; a very similar
> method was later described in Richard O'Keefe's Prolog book. Larry
> Paulson's (1991) ML book has a similar algorithm. Still, I've never come
> across it in a compiling textbook.
> --
> Keith Clarke
> QMW, University of London.


Theo Norvell


--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.