| author | cu | 
| Tue, 03 Oct 2017 23:35:16 +0100 | |
| changeset 513 | 7b9a0782a804 | 
| parent 498 | cd2d192775a4 | 
| child 546 | b2db644b7442 | 
| permissions | -rw-r--r-- | 
| 477 | 1  | 
// Simple matcher for basic regular expressions  | 
2  | 
||
| 54 | 3  | 
abstract class Rexp  | 
| 471 | 4  | 
case object ZERO extends Rexp // matches nothing  | 
5  | 
case object ONE extends Rexp // matches the empty string  | 
|
6  | 
case class CHAR(c: Char) extends Rexp // matches a character c  | 
|
7  | 
case class ALT(r1: Rexp, r2: Rexp) extends Rexp // alternative  | 
|
8  | 
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp // sequence  | 
|
9  | 
case class STAR(r: Rexp) extends Rexp // star  | 
|
| 49 | 10  | 
|
| 471 | 11  | 
// nullable function: tests whether a regular  | 
| 49 | 12  | 
// expression can recognise the empty string  | 
13  | 
def nullable (r: Rexp) : Boolean = r match {
 | 
|
| 
424
 
1129024b26d5
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
422 
diff
changeset
 | 
14  | 
case ZERO => false  | 
| 
 
1129024b26d5
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
422 
diff
changeset
 | 
15  | 
case ONE => true  | 
| 49 | 16  | 
case CHAR(_) => false  | 
17  | 
case ALT(r1, r2) => nullable(r1) || nullable(r2)  | 
|
18  | 
case SEQ(r1, r2) => nullable(r1) && nullable(r2)  | 
|
19  | 
case STAR(_) => true  | 
|
20  | 
}  | 
|
21  | 
||
| 513 | 22  | 
|
| 498 | 23  | 
|
| 49 | 24  | 
// derivative of a regular expression w.r.t. a character  | 
25  | 
def der (c: Char, r: Rexp) : Rexp = r match {
 | 
|
| 
424
 
1129024b26d5
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
422 
diff
changeset
 | 
26  | 
case ZERO => ZERO  | 
| 
 
1129024b26d5
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
422 
diff
changeset
 | 
27  | 
case ONE => ZERO  | 
| 
 
1129024b26d5
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
422 
diff
changeset
 | 
28  | 
case CHAR(d) => if (c == d) ONE else ZERO  | 
| 49 | 29  | 
case ALT(r1, r2) => ALT(der(c, r1), der(c, r2))  | 
30  | 
case SEQ(r1, r2) =>  | 
|
31  | 
if (nullable(r1)) ALT(SEQ(der(c, r1), r2), der(c, r2))  | 
|
32  | 
else SEQ(der(c, r1), r2)  | 
|
| 
440
 
e14cd32ad497
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
434 
diff
changeset
 | 
33  | 
case STAR(r1) => SEQ(der(c, r1), STAR(r1))  | 
| 49 | 34  | 
}  | 
35  | 
||
36  | 
// derivative w.r.t. a string (iterates der)  | 
|
37  | 
def ders (s: List[Char], r: Rexp) : Rexp = s match {
 | 
|
38  | 
case Nil => r  | 
|
| 54 | 39  | 
case c::s => ders(s, der(c, r))  | 
| 49 | 40  | 
}  | 
41  | 
||
42  | 
// main matcher function  | 
|
| 
261
 
24531cfaa36a
updated handouts
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
258 
diff
changeset
 | 
43  | 
def matches(r: Rexp, s: String) : Boolean = nullable(ders(s.toList, r))  | 
| 49 | 44  | 
|
| 477 | 45  | 
|
| 
424
 
1129024b26d5
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
422 
diff
changeset
 | 
46  | 
//examples from the homework  | 
| 477 | 47  | 
|
| 
343
 
539b2e88f5b9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
261 
diff
changeset
 | 
48  | 
val r = STAR(ALT(SEQ(CHAR('a'), CHAR('b')), CHAR('b')))
 | 
| 
 
539b2e88f5b9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
261 
diff
changeset
 | 
49  | 
der('a', r)
 | 
| 
 
539b2e88f5b9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
261 
diff
changeset
 | 
50  | 
der('b', r)
 | 
| 
 
539b2e88f5b9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
261 
diff
changeset
 | 
51  | 
der('c', r)
 | 
| 49 | 52  | 
|
| 477 | 53  | 
//optional regular expression (one or zero times)  | 
| 
424
 
1129024b26d5
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
422 
diff
changeset
 | 
54  | 
def OPT(r: Rexp) = ALT(r, ONE)  | 
| 49 | 55  | 
|
| 477 | 56  | 
//n-times regular expression (explicitly expanded)  | 
| 49 | 57  | 
def NTIMES(r: Rexp, n: Int) : Rexp = n match {
 | 
| 
424
 
1129024b26d5
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
422 
diff
changeset
 | 
58  | 
case 0 => ONE  | 
| 49 | 59  | 
case 1 => r  | 
60  | 
case n => SEQ(r, NTIMES(r, n - 1))  | 
|
61  | 
}  | 
|
62  | 
||
| 477 | 63  | 
|
64  | 
// Test Cases  | 
|
65  | 
||
| 
258
 
1e4da6d2490c
updated programs
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
119 
diff
changeset
 | 
66  | 
// the evil regular expression  a?{n} a{n}
 | 
| 415 | 67  | 
def EVIL1(n: Int) = SEQ(NTIMES(OPT(CHAR('a')), n), NTIMES(CHAR('a'), n))
 | 
| 422 | 68  | 
|
69  | 
// the evil regular expression (a*)*b  | 
|
| 
440
 
e14cd32ad497
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
434 
diff
changeset
 | 
70  | 
val EVIL2 = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))
 | 
| 49 | 71  | 
|
| 
258
 
1e4da6d2490c
updated programs
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
119 
diff
changeset
 | 
72  | 
//for measuring time  | 
| 
469
 
226f294987f2
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
467 
diff
changeset
 | 
73  | 
def time_needed[T](i: Int, code: => T) = {
 | 
| 49 | 74  | 
val start = System.nanoTime()  | 
| 
469
 
226f294987f2
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
467 
diff
changeset
 | 
75  | 
for (j <- 1 to i) code  | 
| 49 | 76  | 
val end = System.nanoTime()  | 
77  | 
(end - start)/(i * 1.0e9)  | 
|
78  | 
}  | 
|
79  | 
||
| 480 | 80  | 
|
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
81  | 
//test: (a?{n}) (a{n})
 | 
| 
433
 
c08290ee4f1f
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
424 
diff
changeset
 | 
82  | 
for (i <- 1 to 20) {
 | 
| 
 
c08290ee4f1f
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
424 
diff
changeset
 | 
83  | 
println(i + ": " + "%.5f".format(time_needed(2, matches(EVIL1(i), "a" * i))))  | 
| 
 
c08290ee4f1f
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
424 
diff
changeset
 | 
84  | 
}  | 
| 
 
c08290ee4f1f
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
424 
diff
changeset
 | 
85  | 
|
| 415 | 86  | 
for (i <- 1 to 20) {
 | 
87  | 
println(i + ": " + "%.5f".format(time_needed(2, matches(EVIL1(i), "a" * i))))  | 
|
| 49 | 88  | 
}  | 
| 
363
 
0d6deecdb2eb
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
343 
diff
changeset
 | 
89  | 
|
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
90  | 
//test: (a*)* b  | 
| 
440
 
e14cd32ad497
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
434 
diff
changeset
 | 
91  | 
for (i <- 1 to 20) {
 | 
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
92  | 
println(i + " " + "%.5f".format(time_needed(2, matches(EVIL2, "a" * i))))  | 
| 
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
93  | 
}  | 
| 
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
94  | 
|
| 
440
 
e14cd32ad497
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
434 
diff
changeset
 | 
95  | 
for (i <- 1 to 20) {
 | 
| 415 | 96  | 
println(i + " " + "%.5f".format(time_needed(2, matches(EVIL2, "a" * i))))  | 
97  | 
}  | 
|
| 
363
 
0d6deecdb2eb
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
343 
diff
changeset
 | 
98  | 
|
| 477 | 99  | 
|
100  | 
||
101  | 
||
102  | 
// size of a regular expressions - for testing purposes  | 
|
103  | 
def size(r: Rexp) : Int = r match {
 | 
|
104  | 
case ZERO => 1  | 
|
105  | 
case ONE => 1  | 
|
106  | 
case CHAR(_) => 1  | 
|
107  | 
case ALT(r1, r2) => 1 + size(r1) + size(r2)  | 
|
108  | 
case SEQ(r1, r2) => 1 + size(r1) + size(r2)  | 
|
109  | 
case STAR(r) => 1 + size(r)  | 
|
110  | 
}  | 
|
111  | 
||
112  | 
// the expicit expansion in EVIL1(n) increases  | 
|
113  | 
// drastically its size  | 
|
114  | 
||
115  | 
size(EVIL1(1)) // 5  | 
|
116  | 
size(EVIL1(3)) // 17  | 
|
117  | 
size(EVIL1(5)) // 29  | 
|
118  | 
size(EVIL1(7)) // 41  | 
|
| 479 | 119  | 
|
120  | 
||
121  | 
// given a regular expression and building successive  | 
|
122  | 
// derivatives might result into bigger and bigger  | 
|
123  | 
// regular expressions...here is an example for this:  | 
|
124  | 
||
125  | 
val BIG_aux = STAR(ALT(CHAR('a'), CHAR('b')))
 | 
|
126  | 
val BIG = SEQ(BIG_aux, SEQ(CHAR('a'),SEQ(CHAR('b'), BIG_aux)))
 | 
|
127  | 
||
128  | 
size(ders("".toList, BIG))              // 13
 | 
|
129  | 
size(ders("ab".toList, BIG))            // 51
 | 
|
130  | 
size(ders("abab".toList, BIG))          // 112
 | 
|
131  | 
size(ders("ababab".toList, BIG))        // 191
 | 
|
132  | 
size(ders("abababab".toList, BIG))      // 288
 | 
|
133  | 
size(ders("ababababab".toList, BIG))    // 403
 | 
|
134  | 
size(ders("abababababab".toList, BIG))  // 536
 | 
|
135  | 
||
136  | 
||
137  | 
size(ders(("ab" * 200).toList, BIG))    // 366808
 | 
|
138  |