| author | Christian Urban <urbanc@in.tum.de> |
| Mon, 24 Oct 2016 14:37:46 +0100 | |
| changeset 464 | ce33d8b44fe2 |
| 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 |
} |