| author | Christian Urban <urbanc@in.tum.de> |
| Wed, 15 Nov 2017 00:17:15 +0000 | |
| changeset 533 | cdda105ca664 |
| 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 |
} |