| changeset 784 | 3bc2c370c2e3 |
| parent 779 | 1255b4dbe516 |
| child 931 | c9d6b50345d7 |
| 783:e7861cb71bfc | 784:3bc2c370c2e3 |
|---|---|
183 } |
183 } |
184 |
184 |
185 for (i <- 1 to 100 by 5) { |
185 for (i <- 1 to 100 by 5) { |
186 println(i + " " + "%.5f".format(time_needed(2, tmatches_dfa(EVIL2, "a" * i)))) |
186 println(i + " " + "%.5f".format(time_needed(2, tmatches_dfa(EVIL2, "a" * i)))) |
187 } |
187 } |
188 |
|
189 |
|
190 |
|
191 |
|
192 |