diff -r 34f77b976b88 -r f9686b22db7e progs/matcher/re1.sc --- a/progs/matcher/re1.sc Tue Sep 29 21:52:52 2020 +0100 +++ b/progs/matcher/re1.sc Sat Oct 03 00:51:47 2020 +0100 @@ -128,7 +128,7 @@ } // the expicit expansion in EVIL1(n) increases -// drastically its size +// drastically its size - (a?){n} a{n} size(EVIL1(1)) // 5 size(EVIL1(3)) // 17 @@ -136,6 +136,9 @@ size(EVIL1(7)) // 41 size(EVIL1(20)) // 119 +size(ders(("a" * 20).toList, EVIL1(20))) + + // given a regular expression and building successive // derivatives might result into bigger and bigger // regular expressions...here is an example for this: