S0=>DB|CC|BA|AB|ε

A=>DB|CC|BA|AB

B=>CC

C=>0

D=>BA