399
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
1 |
def OPT(r: Rexp) = ALT(r, ONE)
|
7
|
2 |
|
261
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
def NTIMES(r: Rexp, n: Int) : Rexp = n match {
|
399
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
case 0 => ONE
|
261
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
case 1 => r
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
case n => SEQ(r, NTIMES(r, n - 1))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
7 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
8 |
|