diff options
Diffstat (limited to 'comp/work/44/task1')
| -rw-r--r-- | comp/work/44/task1 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/comp/work/44/task1 b/comp/work/44/task1 new file mode 100644 index 0000000..3179baa --- /dev/null +++ b/comp/work/44/task1 @@ -0,0 +1,6 @@ +(c|b+)a* + +s1 = s2(c), s3(b) +(s2) = done, s4(a) +(s3) = done, s3(b), s4(a) +(s4) = done, s4(a) |