845     }

   845     }

   846     )

   846     )

   847   println("the total number of terms is")

   847   println("the total number of terms is")

   848   //println(refSize)

   848   //println(refSize)

   849   println(pderSTAR.size)

   849   println(pderSTAR.size)

   851     val prog0 = "a" * i

   851     val prog0 = "a" * i

   852     //println(s"test: $prog0")

   852     //println(s"test: $prog0")

   853     println(s"testing with $i a's" )

   853     println(s"testing with $i a's" )

   854     val bd = bdersSimp(prog0, STARREG)//DB

   854     val bd = bdersSimp(prog0, STARREG)//DB

   855     val sbd = bdersSimpS(prog0, STARREG)//strongDB

   855     val sbd = bdersSimpS(prog0, STARREG)//strongDB

   858     

   858     

   859     println(s"subterms of regex with strongDB: ${subTerms.length}, standard DB: ${subTermsLarge.length}")

   859     println(s"subterms of regex with strongDB: ${subTerms.length}, standard DB: ${subTermsLarge.length}")

   860     println("the number of distinct subterms for bsimp with strongDB and standardDB")

   860     println("the number of distinct subterms for bsimp with strongDB and standardDB")

   861     println(subTerms.distinct.size)

   861     println(subTerms.distinct.size)

   862     println(subTermsLarge.distinct.size)

   862     println(subTermsLarge.distinct.size)

   863 

   864 

   864 

   865 

   865     // println(shortRexpOutput(erase(sbd)))

   866     // println(shortRexpOutput(erase(sbd)))

   866     // println(shortRexpOutput(erase(bd)))

   867     // println(shortRexpOutput(erase(bd)))

   867     

   868     

   869     println(refSize, size(STARREG),  asize(sbd), asize(bd))

   870     println(refSize, size(STARREG),  asize(sbd), asize(bd))

   870 

   871 

   871     // val vres = strong_blexing_simp( STARREG, prog0)

   872     // val vres = strong_blexing_simp( STARREG, prog0)

   872     // println(vres)

   873     // println(vres)

   873   }

   874   }