Consider the following two alternative BNF grammar fragments for defining conditional statements: :

Are these two grammars equivalent, or is one better than the other in some way? Justify your answer precisely. Hint: Think about the important properties that grammars (NOT the language) may have and argue that these two grammars share exactly the same important properties, or that one has an important property that the other one does not have.

::= | | | ... ::= if then endif ::= if then else endif ::= | | ... ::= if then ::= if then else ::= | | | ... ::= if then endif ::= if then else endif ::= | | ... ::= if then ::= if then else