Re: Can Pascal be parsed by LR(1) parsing algorithm?

In article <9010091533.AA02386@apple.com> A. Michael Burbidge <amb@apple.com> writes:
>After struggling for some time to write a yacc description for the
>Pascal language and after reading the description of the modifier yacc
>contained in the UCB Pascal source directory I am beginning to wonder
>if an LR(1) parsing algorithm can parse Pascal. ...


Pascal is generally defined using a set of syntax diagrams which, by
definition, means the language can be recognized using LL(1). This
does not mean, however, that a particular Pascal dialect is LR(1);
there may be extensions or error handling states, etc., which cause
the language to not be LR(1).


Also, YACC builds LALR(1) parsers, not LR(1). I vaguely recall one of
Johnson's own papers saying something about a YACC-generated parser
not being able to parse YACC input because YACC input is LALR(2)...
so I'm not so sure that LALR(1) is equivalent to LALR(k). Or perhaps
the "convolutions" are VERY "unpleasant"?


-hankd@ecn.purdue.edu
--

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