Could somebody help me how to resolve the following BNF definition ?


CheckParameter ::= PortReceiveOp | PortGetCallOp | PortGetReplyOp | PortCatchOp |

[FromClause] [PortRedirectSymbol SenderSpec]

1)
CheckParameter ::= (
PortReceiveOp |
PortGetCallOp |
PortGetReplyOp |
PortCatchOp |
(
[ FromClause ]
[ PortRedirectSymbol SenderSpec ]
)
)

or
2)
CheckParameter ::= (
(
PortReceiveOp |
PortGetCallOp |
PortGetReplyOp |
PortCatchOp
)
[ FromClause ]
[ PortRedirectSymbol SenderSpec ]
)

BR
Mariusz Kupiec