What do you mean by "..." in formal definition? Is it the same as
<expression> ::= <sequence>{*<sequence>}
and
<sequence> ::= (<sequence element>{,<sequence element>}
or smth else?