| changeset 565 | 2be8c4c77418 |
| parent 435 | e08431a78f66 |
| 564:b5d57d7064bb | 565:2be8c4c77418 |
|---|---|
14 case (ONE, r2s) => r2s |
14 case (ONE, r2s) => r2s |
15 case (r1s, ONE) => r1s |
15 case (r1s, ONE) => r1s |
16 case (r1s, r2s) => SEQ(r1s, r2s) |
16 case (r1s, r2s) => SEQ(r1s, r2s) |
17 } |
17 } |
18 } |
18 } |
19 case NTIMES(r, n) => NTIMES(simp(r), n) |
|
20 case r => r |
19 case r => r |
21 } |
20 } |
22 |
21 |
23 def ders(s: List[Char], r: Rexp) : Rexp = s match { |
22 def ders(s: List[Char], r: Rexp) : Rexp = s match { |
24 case Nil => r |
23 case Nil => r |