equal
deleted
inserted
replaced
98 (end - start) / (i * 1.0e9) |
98 (end - start) / (i * 1.0e9) |
99 } |
99 } |
100 |
100 |
101 |
101 |
102 // test: (a?{n}) (a{n}) |
102 // test: (a?{n}) (a{n}) |
|
103 @main |
103 def test1() = { |
104 def test1() = { |
104 println("Test (a?{n}) (a{n})") |
105 println("Test (a?{n}) (a{n})") |
105 |
106 |
106 for (i <- 0 to 20 by 2) { |
107 for (i <- 0 to 20 by 2) { |
107 println(f"$i: ${time_needed(2, matcher(EVIL1(i), "a" * i))}%.5f") |
108 println(f"$i: ${time_needed(2, matcher(EVIL1(i), "a" * i))}%.5f") |
108 } |
109 } |
109 } |
110 } |
110 |
111 |
111 // test: (a*)* b |
112 // test: (a*)* b |
|
113 @main |
112 def test2() = { |
114 def test2() = { |
113 println("Test (a*)* b") |
115 println("Test (a*)* b") |
114 |
116 |
115 for (i <- 0 to 20 by 2) { |
117 for (i <- 0 to 20 by 2) { |
116 println(f"$i: ${time_needed(2, matcher(EVIL2, "a" * i))}%.5f") |
118 println(f"$i: ${time_needed(2, matcher(EVIL2, "a" * i))}%.5f") |
159 size(ders("aaaaaaaaaaaa".toList, BIG)) // 536 |
161 size(ders("aaaaaaaaaaaa".toList, BIG)) // 536 |
160 |
162 |
161 |
163 |
162 size(ders(("a" * 30).toList, BIG)) // 31010539 |
164 size(ders(("a" * 30).toList, BIG)) // 31010539 |
163 |
165 |
164 |
166 @main |
165 def test3() = { |
167 def test3() = { |
166 println("Test (a + aa)*") |
168 println("Test (a + aa)*") |
167 |
169 |
168 for (i <- 0 to 30 by 5) { |
170 for (i <- 0 to 30 by 5) { |
169 println(f"$i: ${time_needed(2, matcher(BIG, "a" * i))}%.5f") |
171 println(f"$i: ${time_needed(2, matcher(BIG, "a" * i))}%.5f") |
171 } |
173 } |
172 |
174 |
173 @main |
175 @main |
174 def all() = { test1(); test2() ; test3() } |
176 def all() = { test1(); test2() ; test3() } |
175 |
177 |
176 //all() |
178 |
|
179 |
|
180 |