| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Sat, 22 Oct 2016 18:29:54 +0100 | |
| changeset 460 | 6a60e5ddd548 |
| 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 |
} |