equal
deleted
inserted
replaced
127 size(ders("aaa".toList, EVIL2)) // 8 |
127 size(ders("aaa".toList, EVIL2)) // 8 |
128 size(ders("aaaa".toList, EVIL2)) // 8 |
128 size(ders("aaaa".toList, EVIL2)) // 8 |
129 size(ders("aaaaa".toList, EVIL2)) // 8 |
129 size(ders("aaaaa".toList, EVIL2)) // 8 |
130 |
130 |
131 |
131 |
132 // test: ("a" | "aa")* |
|
133 val EVIL3 = STAR(ALT(CHAR('a'), SEQ(CHAR('a'), CHAR('a')))) |
|
134 |
|
135 for (i <- 1 to 29 by 1) { |
|
136 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL3, "a" * i))) + |
|
137 " size: " + size(ders(("a" * i).toList, EVIL3))) |
|
138 } |
|
139 |
132 |
140 |
133 |
141 |
134 |