red = terminal, green = non-termnial, black = metasymbol.

M  --->  { S }
S  --->  I  |  W  |  A  |  P  |  C  |  G
I  --->  '[' E '?' { S } ':' { S } ']'  |  '[' E '?' { S } ']'
W  --->  '{' E '?' { S } '}'
A  --->  id '=' E ';'
P  --->  '<'  E  ';'
G  --->  '>'  id ';'
C  --->  '<' ( 'B'  | 'T' | 'N' ) ';'
E  --->  T { ('+' | '-') T }
T  --->  U { ('*' | '/' | '%') U }
U  --->  F '^' U | F
F  --->   '(' E ')'  |  id  |  num
id --->  letter 
num ---> digit

red = terminal, green = non-termnial, black = metasymbol.

M  --->  { S  }
S  --->  I  |  W  |  A  |  P  |  C  |  G
I  --->  [ E ? { S } : { S } ]  |  [ E ? { S } ]
W  --->  { E ? { S } }
A  --->  id = E ;
P  --->  <  E  ;
G  --->  >  id ;
C  --->  < ( B  | T | N ) ;
E  --->  T { (+ | -) T }
T  --->  U { (* | / | %) U }
U  --->  F ^ U | F
F  --->  ( E )  |  id  |  num
id --->  letter 
num ---> digit