progs/app6.scala
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 27 Sep 2013 15:43:25 +0100
changeset 116 010ae7288327
parent 93 4794759139ea
child 117 25999de692b2
permissions -rw-r--r--
updated

def deriv (r: Rexp, c: Char) : Rexp = r match {
  case NULL => NULL
  case EMPTY => NULL
  case CHAR(d) => if (c == d) EMPTY else NULL
  case ALT(r1, r2) => ALT(deriv(r1, c), deriv(r2, c))
  case SEQ(r1, r2) => 
    if (nullable(r1)) ALT(SEQ(deriv(r1, c), r2), deriv(r2, c))
    else SEQ(deriv(r1, c), r2)
  case STAR(r) => SEQ(deriv(r, c), STAR(r))
}