equal
deleted
inserted
replaced
92 for (i <- 1 to 8001 by 1000) { |
92 for (i <- 1 to 8001 by 1000) { |
93 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i)))) |
93 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i)))) |
94 } |
94 } |
95 |
95 |
96 //test: (a*)* b |
96 //test: (a*)* b |
97 for (i <- 1 to 5000001 by 500000) { |
97 for (i <- 1 to 6000001 by 500000) { |
98 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i)))) |
98 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i)))) |
99 } |
99 } |
100 |
100 |
101 for (i <- 1 to 5000001 by 500000) { |
101 for (i <- 1 to 6000001 by 500000) { |
102 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i)))) |
102 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i)))) |
103 } |
103 } |
104 |
104 |
105 |
105 |
106 val r0 = simp(der('a', EVIL3)) |
106 val r0 = simp(der('a', EVIL3)) |
110 val r4 = simp(der('a', r3)) |
110 val r4 = simp(der('a', r3)) |
111 val r5 = simp(der('a', r4)) |
111 val r5 = simp(der('a', r4)) |
112 val r6 = simp(der('a', r5)) |
112 val r6 = simp(der('a', r5)) |
113 |
113 |
114 //test: (a|aa)* b |
114 //test: (a|aa)* b |
|
115 /* |
115 for (i <- 1 to 7001 by 500) { |
116 for (i <- 1 to 7001 by 500) { |
116 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL3, "a" * i ++ "c")))) |
117 println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL3, "a" * i ++ "c")))) |
117 } |
118 } |
|
119 */ |
118 |
120 |