What is the meaning of [X [Y] ] in EBNF? My interpretations is that we are allowed to forgo both, or we can have just X, but if we choose to have a Y then we must also have an X. Is that correct?
Nested Brackets in Extended BackusNaur Form
context free;parsers