task1 (92B)
1 (c|b+)a* 2 3 s1 = s2(c), s3(b) 4 (s2) = done, s4(a) 5 (s3) = done, s3(b), s4(a) 6 (s4) = done, s4(a)
