DD

--- a ---> S1

S1

--- b ---> S3
--- c ---> S4