| changeset 784 | 7dac4492b0e6 |
| parent 779 | 5385c8342f02 |
| child 932 | 5678414a3898 |
| 783:06cbaaad3ba8 | 784:7dac4492b0e6 |
|---|---|
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 |