equal
deleted
inserted
replaced
269 if (nullable(r)) mkeps(r) else throw new Exception("Not matched") |
269 if (nullable(r)) mkeps(r) else throw new Exception("Not matched") |
270 } |
270 } |
271 case c::cs => { |
271 case c::cs => { |
272 val rd = der(c, r) |
272 val rd = der(c, r) |
273 val (r_simp, f_simp) = simp(rd) |
273 val (r_simp, f_simp) = simp(rd) |
274 //println(s"BEFORE ${string(rd)}") |
274 println(s"BEFORE ${string(rd)}") |
275 //println(s"AFTER ${string(r_simp)}") |
275 println(s"AFTER ${string(r_simp)}") |
276 val rec = lex_simp(r_simp, cs) |
276 val rec = lex_simp(r_simp, cs) |
277 inj(r, c, f_simp(rec)) |
277 inj(r, c, f_simp(rec)) |
278 } |
278 } |
279 } |
279 } |
280 |
280 |