S1

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

S2

--- a ---> S3
--- b ---> S2
--- c ---> S1
--- f ---> S2

S3

--- b ---> S1
--- c ---> S2