A．(–d|d)d* E(–d|d)d* | (–d|d)d*.d*(ε| E(–d|d)d*)

B．(–d|d)dd*(.|ε)d*(ε| E(–d|d)d*)

C．(–|d)dd* E(–|d)d* | (–d|d)dd*.d*(ε| E(–|d)d*)

D．(–d|d)dd* E(–d|d)d* | (–d|d)dd*.d*(ε| E(–dd*|dd*))