| author | Christian Urban <urbanc@in.tum.de> |
| Fri, 28 Sep 2018 13:54:18 +0100 | |
| changeset 563 | bddf14e026b3 |
| parent 435 | e08431a78f66 |
| permissions | -rw-r--r-- |
| 412 | 1 |
def ders(s: List[Char], r: Rexp) : Rexp = s match {
|
|
117
25999de692b2
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
93
diff
changeset
|
2 |
case Nil => r |
|
435
e08431a78f66
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
422
diff
changeset
|
3 |
case c::s => ders(s, simp(der(c, r))) |
|
117
25999de692b2
added slides
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
93
diff
changeset
|
4 |
} |