Can someone please write a tool that takes a BNF for an LALR parser with shift/reduce or reduce/reduce conflicts as input and produces minimal inputs for how the conflict can be triggered? That would be super helpful, thanks! (Also: Let me know if such a thing exists. :)
-
Have a look at BISON and FLEX!
I am using bison and flex. I don't think bison has such a feature. All you get from bison is the .output file "bison -r" generates. That includes a complete dump of the state machine, but no path to the conflict state.