| changeset 435 | e08431a78f66 |
| parent 422 | 5deefcc8cffa |
| child 565 | 2be8c4c77418 |
| 434:8664ff87cd77 | 435:e08431a78f66 |
|---|---|
20 case r => r |
20 case r => r |
21 } |
21 } |
22 |
22 |
23 def ders(s: List[Char], r: Rexp) : Rexp = s match { |
23 def ders(s: List[Char], r: Rexp) : Rexp = s match { |
24 case Nil => r |
24 case Nil => r |
25 case c::s => ders(s, simp(der(c, r))) (*@\label{simpline}@*) |
25 case c::s => ders(s, simp(der(c, r))) /*@\label{simpline}@*/ |
26 } |
26 } |
27 |
27 |