equal
deleted
inserted
replaced
248 |
248 |
249 for (i <- 1 to 4501 by 500) { |
249 for (i <- 1 to 4501 by 500) { |
250 println(i + ": " + "%.5f".format(time_needed(1, matcher(sulzmann, "ab" * i)))) |
250 println(i + ": " + "%.5f".format(time_needed(1, matcher(sulzmann, "ab" * i)))) |
251 } |
251 } |
252 |
252 |
|
253 size(ders("".toList, EVIL2)) // 5 |
|
254 size(ders("a".toList, EVIL2)) // 8 |
|
255 size(ders("aa".toList, EVIL2)) // 8 |
|
256 size(ders("aaa".toList, EVIL2)) // 8 |
|
257 size(ders("aaaa".toList, EVIL2)) // 8 |
|
258 size(ders("aaaaa".toList, EVIL2)) // 8 |
253 |
259 |
254 |
260 |
255 |
261 |
256 (((1 + 1a) ~ ((a + aa))*) + (((0 + 1) ~ ((a + aa))*) + ((1 + 1a) ~ ((a + aa))*))) |
262 (((1 + 1a) ~ ((a + aa))*) + (((0 + 1) ~ ((a + aa))*) + ((1 + 1a) ~ ((a + aa))*))) |