Re: (long) conflict resolution in action table

# My question: Is there anyway to augment Visser's conflict resolution
# so that it can be more effective when resolving a subset of the
# conflicts that occur? For example, is there a method that could
# produce a parser for my simple expression grammar that only encountered
# a ambiguity when the "^" operator was present in an input sentance?


Grrr. Arrgh.


If you want LR(k), there are LR(k) parser generators available. Two
different schemes are available, one based on not expanding
nonterminals in lookahead strings until you need to examine the
lookahead, thus avoiding that combinatorial explosion for the LR(0)
subgrammar. If you use LR(k), you don't have to cope with brain dead
LALR of yacc or bison. If the language is deterministic, it has an
LR(k) grammar without shift-reduce or reduce-reduce conflicts.


If you want to use a precedence parser, the Aho and Ullman Theory of
Parsing discusses a number of different precedence parsing schemes.


Yacc is the Microsoft of parser generators. An inadequate tool, widely
used, that crowds out better tools, and condemns generations to make
elaborate workarounds of its shortcomings that don't exist in better
tools.


--
Derk Gwen http://derkgwen.250free.com/html/index.html

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