| changeset 764 | 9d40619bc503 |
| parent 412 | 1cef3924f7a2 |
| 763:d1c9294fff65 | 764:9d40619bc503 |
|---|---|
21 def ders(s: List[Char], r: Rexp) : Rexp = s match { |
21 def ders(s: List[Char], r: Rexp) : Rexp = s match { |
22 case Nil => r |
22 case Nil => r |
23 case c::s => ders(s, der(c, r)) |
23 case c::s => ders(s, der(c, r)) |
24 } |
24 } |
25 |
25 |
26 def matches(r: Rexp, s: String) : Boolean = |
26 def matcher(r: Rexp, s: String) : Boolean = |
27 nullable(ders(s.toList, r)) |
27 nullable(ders(s.toList, r)) |