| author | Christian Urban <urbanc@in.tum.de> |
| Mon, 03 Apr 2017 01:10:54 +0800 | |
| changeset 482 | 0f6e3c5a1751 |
| 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 |
} |