| changeset 565 | 9c4b9bda974c |
| parent 435 | e08431a78f66 |
| 564:638663141103 | 565:9c4b9bda974c |
|---|---|
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 |