S  ::=  ASB
S  ::=  #$
S  ::=  $
A  ::=  a
A  ::=  aSbN
B  ::=  b