progs/re3.scala
author cu
Sun, 15 Oct 2017 20:47:14 +0100
changeset 519 955d5b3b0619
parent 517 edab48a5b37e
child 523 25e74e6fe2f7
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
477
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
     1
// Version with simplification during derivatives;
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
     2
// this keeps the regular expressions small, which
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
     3
// is good for run-time
517
edab48a5b37e updated
cu
parents: 477
diff changeset
     4
 
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
422
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
     6
abstract class Rexp
407
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
     7
case object ZERO extends Rexp
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
     8
case object ONE extends Rexp
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
case class CHAR(c: Char) extends Rexp
422
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    10
case class ALT(r1: Rexp, r2: Rexp) extends Rexp 
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    11
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp 
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    12
case class STAR(r: Rexp) extends Rexp 
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    13
case class NTIMES(r: Rexp, n: Int) extends Rexp 
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
467
b5ec11e89768 fixed bug
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 458
diff changeset
    15
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
// nullable function: tests whether the regular 
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
// expression can recognise the empty string
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
def nullable (r: Rexp) : Boolean = r match {
407
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
    19
  case ZERO => false
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
    20
  case ONE => true
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    21
  case CHAR(_) => false
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    22
  case ALT(r1, r2) => nullable(r1) || nullable(r2)
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    23
  case SEQ(r1, r2) => nullable(r1) && nullable(r2)
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    24
  case STAR(_) => true
121
43c116860e47 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 93
diff changeset
    25
  case NTIMES(r, i) => if (i == 0) true else nullable(r)
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    26
}
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    27
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
// derivative of a regular expression w.r.t. a character
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    29
def der (c: Char, r: Rexp) : Rexp = r match {
407
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
    30
  case ZERO => ZERO
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
    31
  case ONE => ZERO
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
    32
  case CHAR(d) => if (c == d) ONE else ZERO
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    33
  case ALT(r1, r2) => ALT(der(c, r1), der(c, r2))
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    34
  case SEQ(r1, r2) => 
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    35
    if (nullable(r1)) ALT(SEQ(der(c, r1), r2), der(c, r2))
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    36
    else SEQ(der(c, r1), r2)
440
e14cd32ad497 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 434
diff changeset
    37
  case STAR(r1) => SEQ(der(c, r1), STAR(r1))
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
  case NTIMES(r, i) => 
477
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
    39
    if (i == 0) ZERO else SEQ(der(c, r), NTIMES(r, i - 1))
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    40
}
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
422
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    42
def simp(r: Rexp) : Rexp = r match {
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    43
  case ALT(r1, r2) => (simp(r1), simp(r2)) match {
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    44
    case (ZERO, r2s) => r2s
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    45
    case (r1s, ZERO) => r1s
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    46
    case (r1s, r2s) => if (r1s == r2s) r1s else ALT (r1s, r2s)
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    47
  }
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    48
  case SEQ(r1, r2) =>  (simp(r1), simp(r2)) match {
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    49
    case (ZERO, _) => ZERO
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    50
    case (_, ZERO) => ZERO
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    51
    case (ONE, r2s) => r2s
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    52
    case (r1s, ONE) => r1s
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    53
    case (r1s, r2s) => SEQ(r1s, r2s)
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    54
  }
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    55
  case r => r
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    56
}
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    57
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    58
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
// derivative w.r.t. a string (iterates der)
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
def ders (s: List[Char], r: Rexp) : Rexp = s match {
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
  case Nil => r
422
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    62
  case c::s => ders(s, simp(der(c, r)))
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    63
}
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    64
407
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
    65
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    66
// main matcher function
414
065ca01b62ae updated
Christian Urban <urbanc@in.tum.de>
parents: 412
diff changeset
    67
def matcher(r: Rexp, s: String) : Boolean = nullable(ders(s.toList, r))
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    69
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    70
//one or zero
407
4b454a6d1814 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 121
diff changeset
    71
def OPT(r: Rexp) = ALT(r, ONE)
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
477
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
    73
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
    74
// Test Cases
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
    75
422
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    76
//evil regular expressions
519
955d5b3b0619 updated
cu
parents: 517
diff changeset
    77
def EVIL1(n: Int) = SEQ(NTIMEemacs re3S(OPT(CHAR('a')), n), NTIMES(CHAR('a'), n))
440
e14cd32ad497 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 434
diff changeset
    78
val EVIL2 = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))
422
5deefcc8cffa updated programs
Christian Urban <urbanc@in.tum.de>
parents: 415
diff changeset
    79
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    80
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
def time_needed[T](i: Int, code: => T) = {
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
  val start = System.nanoTime()
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    83
  for (j <- 1 to i) code
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    84
  val end = System.nanoTime()
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
  (end - start)/(i * 1.0e9)
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    86
}
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    87
434
8664ff87cd77 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 422
diff changeset
    88
8664ff87cd77 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 422
diff changeset
    89
//test: (a?{n}) (a{n})
519
955d5b3b0619 updated
cu
parents: 517
diff changeset
    90
for (i <- 1 to 8001 by 1000) {
434
8664ff87cd77 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 422
diff changeset
    91
  println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))
8664ff87cd77 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 422
diff changeset
    92
}
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    93
519
955d5b3b0619 updated
cu
parents: 517
diff changeset
    94
for (i <- 1 to 8001 by 1000) {
415
4ae59fd3b174 updated
Christian Urban <urbanc@in.tum.de>
parents: 414
diff changeset
    95
  println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))
92
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    96
}
e85600529ca5 moved scala files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    97
434
8664ff87cd77 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 422
diff changeset
    98
//test: (a*)* b
477
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
    99
for (i <- 1 to 6000001 by 500000) {
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   100
  println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i))))
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   101
}
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   102
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   103
for (i <- 1 to 6000001 by 500000) {
434
8664ff87cd77 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 422
diff changeset
   104
  println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i))))
8664ff87cd77 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 422
diff changeset
   105
}
8664ff87cd77 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 422
diff changeset
   106
477
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   107
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   108
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   109
// size of a regular expressions - for testing purposes 
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   110
def size(r: Rexp) : Int = r match {
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   111
  case ZERO => 1
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   112
  case ONE => 1
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   113
  case CHAR(_) => 1
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   114
  case ALT(r1, r2) => 1 + size(r1) + size(r2)
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   115
  case SEQ(r1, r2) => 1 + size(r1) + size(r2)
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   116
  case STAR(r) => 1 + size(r)
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   117
  case NTIMES(r, _) => 1 + size(r)
415
4ae59fd3b174 updated
Christian Urban <urbanc@in.tum.de>
parents: 414
diff changeset
   118
}
4ae59fd3b174 updated
Christian Urban <urbanc@in.tum.de>
parents: 414
diff changeset
   119
477
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   120
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   121
// now the size of the derivatives grows 
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   122
// much, much slower
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   123
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   124
size(ders("".toList, EVIL2))      // 5
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   125
size(ders("a".toList, EVIL2))     // 8
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   126
size(ders("aa".toList, EVIL2))    // 8
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   127
size(ders("aaa".toList, EVIL2))   // 8
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   128
size(ders("aaaa".toList, EVIL2))  // 8
b78664a24f5d updated
Christian Urban <urbanc@in.tum.de>
parents: 467
diff changeset
   129
size(ders("aaaaa".toList, EVIL2)) // 8