| changeset 399 | 5c1fbb39c93e |
| parent 261 | 24531cfaa36a |
| 398:c8ce95067c1a | 399:5c1fbb39c93e |
|---|---|
1 def OPT(r: Rexp) = ALT(r, EMPTY) |
1 def OPT(r: Rexp) = ALT(r, ONE) |
2 |
2 |
3 def NTIMES(r: Rexp, n: Int) : Rexp = n match { |
3 def NTIMES(r: Rexp, n: Int) : Rexp = n match { |
4 case 0 => EMPTY |
4 case 0 => ONE |
5 case 1 => r |
5 case 1 => r |
6 case n => SEQ(r, NTIMES(r, n - 1)) |
6 case n => SEQ(r, NTIMES(r, n - 1)) |
7 } |
7 } |
8 |
8 |