TwoS

--- tau ---> S1
--- a ---> S3

S5

None.

S4

None.

S3

None.

S2

--- tau ---> S5
--- tau ---> S1

S1

--- tau ---> TwoS
--- tau ---> S2
--- b ---> S4