---

q0 a q0,a,R
q0 b q0,b,R
q0 c q0,c,R
q0 _ q1,_,L

q1 a qa,a,R
q1 b qb,b,R
q1 c qc,c,R

qa _ q2,a,R
q2 _ qf,a,S

qb _ q3,b,R
q3 _ qf,b,S

qc _ q4,c,R
q4 _ qf,c,S