| changeset 882 | ccb28148bdf3 |
| parent 879 | f712b16df8a2 |
| child 919 | d16037caa8fd |
| 881:0d23793ba9cb | 882:ccb28148bdf3 |
|---|---|
61 case (r1s, ONE) => r1s |
61 case (r1s, ONE) => r1s |
62 case (r1s, r2s) => SEQ(r1s, r2s) |
62 case (r1s, r2s) => SEQ(r1s, r2s) |
63 } |
63 } |
64 case r => r |
64 case r => r |
65 } |
65 } |
66 |
|
66 |
67 |
67 |
68 |
68 // the derivative w.r.t. a string (iterates der) |
69 // the derivative w.r.t. a string (iterates der) |
69 def ders(s: List[Char], r: Rexp) : Rexp = s match { |
70 def ders(s: List[Char], r: Rexp) : Rexp = s match { |
70 case Nil => r |
71 case Nil => r |