Re: MathProg grammar in EBNF

On Wed, Dec 2, 2020 at 6:29 PM Andrew Makhorin <[email protected]> wrote:

> On Wed, 2020-12-02 at 11:27 -0300, Germán Ferrari wrote:
> > Hi.
> >
> > I couldn't find the MathProg grammar in EBNF
>
> You can find all the grammar productions actually used by parsing
> routines in comments to these routines;
>
> see glpk/src/mpl/mpl1.c and mpl2.c.
>
> For example:
>
> /*----------------------------------------------------------------------
> -- object_reference - parse reference to named object.
> --
> -- This routine parses primary expression using the syntax:
> --
> -- <primary expression> ::= <dummy index>
> -- <primary expression> ::= <set name>
> -- <primary expression> ::= <set name> [ <subscript list> ]
> -- <primary expression> ::= <parameter name>
> -- <primary expression> ::= <parameter name> [ <subscript list> ]
> -- <primary expression> ::= <variable name> <suffix>
> -- <primary expression> ::= <variable name> [ <subscript list> ]
> --                          <suffix>
> -- <primary expression> ::= <constraint name> <suffix>
> -- <primary expression> ::= <constraint name> [ <subscript list> ]
> --                          <suffix>
> -- <dummy index> ::= <symbolic name>
> -- <set name> ::= <symbolic name>
> -- <parameter name> ::= <symbolic name>
> -- <variable name> ::= <symbolic name>
> -- <constraint name> ::= <symbolic name>
> -- <suffix> ::= <empty> | .lb | .ub | .status | .val | .dual */
>

It did not occur to me to look there. Thank you for the pointers.


> > so I created one. It only covers the declaration statements. Maybe
> > it's useful to somebody else.
>
> Thank you.
>
> >
> > Any comments welcome.
>
> I'd like to note that if you enclose non-terminals in < and >, then
> terminal symbols are not needed to be enclosed in quotes.
>

Noted! Thank you


>
> >
> > Thank you.
> >
> > Regards,
> > Germán.
>