Full-LR(1) Parser Generators

Based on the research I am doing I was looking for an ftp site for a
full-LR(1) parser generator. Several added features that would be useful
would be one which displays closure items in addition to kernel items in a
state and also an option which displays the lookahead sets which complete
an LR(1) item. I need it to compare/contrast the output from a pure
LALR(1) parse (ie. YACC) which does nothing to resolve: (1) strict LALR
conflict (beyond choosing the first reduce item in a state over a later
one) or (2) the loss of immediate error detection. It seems state
splitting has been a general resolution to LALR conflict which leads to a
discussion of minimal state machines, however, I haven't seen any
methodologies which address the issue of immediate error detection in
minimal machines.


Any comments or references sent directly to me (in addition to the net)
would be greatly appreciated: georgev@fiu.edu


Thanks.


Vince.
--
Vincent A. George | Florida International University
Graduate Student | School of Computer Science
Email: georgev@fiu.edu | Miami, FL, USA
Voice: (407) 575-0353 |
--

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