| changeset 764 | 6718ef6143b8 |
| parent 412 | 1cef3924f7a2 |
| 763:4e628958c01a | 764:6718ef6143b8 |
|---|---|
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)) |