equal
deleted
inserted
replaced
1258 println(asize(bders_simp(prog0.toList, internalise(STARREG)))) |
1258 println(asize(bders_simp(prog0.toList, internalise(STARREG)))) |
1259 // println(asize(bdersStrong7(prog0.toList, internalise(STARREG)))) |
1259 // println(asize(bdersStrong7(prog0.toList, internalise(STARREG)))) |
1260 } |
1260 } |
1261 } |
1261 } |
1262 } |
1262 } |
1263 small() |
1263 // small() |
|
1264 |
|
1265 def aaa_star() = { |
|
1266 val r = STAR(("a" | "aa")) |
|
1267 for(i <- 0 to 100) { |
|
1268 val prog = "a" * i |
|
1269 println(asize(bders_simp(prog.toList, internalise(r)))) |
|
1270 } |
|
1271 } |
|
1272 aaa_star() |
|
1273 |
1264 def generator_test() { |
1274 def generator_test() { |
1265 |
1275 |
1266 test(rexp(4), 1000000) { (r: Rexp) => |
1276 test(rexp(4), 1000000) { (r: Rexp) => |
1267 // ALTS(SEQ(SEQ(ONE,CHAR('a')),STAR(CHAR('a'))),SEQ(ALTS(CHAR('c'),ONE),STAR(ZERO))))))), 1) { (r: Rexp) => |
1277 // ALTS(SEQ(SEQ(ONE,CHAR('a')),STAR(CHAR('a'))),SEQ(ALTS(CHAR('c'),ONE),STAR(ZERO))))))), 1) { (r: Rexp) => |
1268 val ss = Set("b")//stringsFromRexp(r) |
1278 val ss = Set("b")//stringsFromRexp(r) |