search

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Grammar Definition Simplifications #2

Closed kjcjohnson closed 3 years ago

kjcjohnson commented 3 years ago

Starting a thread to discuss potential simplifications of the Semgus.g4 grammar definition. @WileyCorning mentioned that there was some potential to remove redundant terms in the grammar, so let's discuss and see what can be simplified.

kjcjohnson commented 3 years ago

We can probably remove op : symbol; and then just have:

rhs_expression : '(' symbol rhs_atom* ')'
               | rhs_atom;

I'm a little hesitant to remove nt_name, nt_term, input_args, and output_args, because then it's not clear what the parameters actually are in the definitions. I am open to being convinced, though.

kjcjohnson commented 3 years ago

We're no longer using ANTLR with the upcoming S-expression support. Closing this as moot.