Re: Backtracking yacc

ipser@solomon.technet.sg (Ed Ipser) writes:
| Gary Merrill <sasghm@unx.sas.com> writes:
| >Such tests can, of course, be performed in the lexical analyzer and you
| >can use the results of these tests to drive the invocations of your parser.
|
| With all due respect, this is not correct. Throwing the problem to the
| lexical analyzer presupposes that the conlfict involves a lexeme; this, of
| course, is not the general case.


I am quite sure that you are more knowledgeable in this area than I. So
maybe I can get you to expand on this a bit. Can't any conflict
ultimately be seen as involving a lexeme? After all, it is only lexemes
that we ultimately have coming at us in the input stream and it is the
occurrence of such lexemes that determine how the parse proceeds.


If you don't feel like delivering a lecture on this topic, perhaps you
could provide some references to the literature that deal with this issue.
I would be most grateful.


(I have, by the way, looked at the literature on LADE and it appears to be
an impressive product. I hope you guys find enough of a market for it to
keep you going.)
--
Gary H. Merrill [Principal Systems Developer, C Compiler Development]
SAS Institute Inc. / SAS Campus Dr. / Cary, NC 27513 / (919) 677-8000
sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
--

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