equal
deleted
inserted
replaced
228 val filelines = Source.fromFile(filename).getLines.take(22).zipWithIndex |
228 val filelines = Source.fromFile(filename).getLines.take(22).zipWithIndex |
229 |
229 |
230 |
230 |
231 filelines.foreach({ case (s: String, i: Int) => process(s, i) }) |
231 filelines.foreach({ case (s: String, i: Int) => process(s, i) }) |
232 |
232 |
|
233 |
|
234 |
|
235 // test: ("a" | "aa")* |
|
236 val EVIL3 = STAR(ALT(CHAR('a'), SEQ(CHAR('a'), CHAR('a')))) |
|
237 |
|
238 for (i <- 1 to 29 by 1) { |
|
239 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL3, "a" * i))) + |
|
240 " size: " + size(ders(("a" * i).toList, EVIL3))) |
|
241 } |
|
242 |