path: root/comp/work/44/task1

(c|b+)a*

s1 = s2(c), s3(b)
(s2) = done, s4(a)
(s3) = done, s3(b), s4(a)
(s4) = done, s4(a)