OneS

--- a ---> S2
--- a ---> S1

S4

--- a ---> OneS

S3

--- a ---> OneS

S2

--- a ---> S4

S1

--- a ---> S3
--- b ---> S4