equal
deleted
inserted
replaced
83 (end - start)/(i * 1.0e9) |
83 (end - start)/(i * 1.0e9) |
84 } |
84 } |
85 |
85 |
86 |
86 |
87 //test: (a?{n}) (a{n}) |
87 //test: (a?{n}) (a{n}) |
|
88 println("Test (a?{n}) (a{n})") |
88 for (i <- 1 to 20) { |
89 for (i <- 1 to 20) { |
89 println(i + ": " + "%.5f".format(time_needed(2, matches(EVIL1(i), "a" * i)))) |
90 println(i + ": " + "%.5f".format(time_needed(2, matches(EVIL1(i), "a" * i)))) |
90 } |
91 } |
91 |
92 |
92 for (i <- 1 to 20) { |
93 for (i <- 1 to 20) { |
93 println(i + ": " + "%.5f".format(time_needed(2, matches(EVIL1(i), "a" * i)))) |
94 println(i + ": " + "%.5f".format(time_needed(2, matches(EVIL1(i), "a" * i)))) |
94 } |
95 } |
95 |
96 |
96 //test: (a*)* b |
97 //test: (a*)* b |
|
98 println("Test (a*)* b") |
|
99 |
97 for (i <- 1 to 20) { |
100 for (i <- 1 to 20) { |
98 println(i + " " + "%.5f".format(time_needed(2, matches(EVIL2, "a" * i)))) |
101 println(i + " " + "%.5f".format(time_needed(2, matches(EVIL2, "a" * i)))) |
99 } |
102 } |
100 |
103 |
101 for (i <- 1 to 20) { |
104 for (i <- 1 to 20) { |
140 size(ders("abababababab".toList, BIG)) // 536 |
143 size(ders("abababababab".toList, BIG)) // 536 |
141 |
144 |
142 |
145 |
143 size(ders(("ab" * 200).toList, BIG)) // 366808 |
146 size(ders(("ab" * 200).toList, BIG)) // 366808 |
144 |
147 |
|
148 for (i <- 1 to 21) { |
|
149 println(i + " " + "%.5f".format(time_needed(2, matches(BIG, "ab" * i)))) |
|
150 } |