Chengsong [Sat, 16 Mar 2019 15:00:43 +0000] rev 6
random test failed
on the new simplification function. ("super_blexing_simp")
Chengsong [Sat, 16 Mar 2019 14:14:42 +0000] rev 5
correctness test with enumeration
Chengsong [Fri, 15 Mar 2019 12:27:12 +0000] rev 4
:test whether bsimp(bders(r, s)) == ders_simp(r,s)
This does not hold. As illustrated by the output of the example where string is abaa and regex is (a* + ab)*
this property still holds when s = aba
but after the derivative of the last character a, the result is negative.
However this seems easily fixable as the difference is relatively small, it might be possible to find where the difference happens
and by taking that difference into accound we have some function f s.t.
f(bsimp(r,s)) = ders_simp(r,s)
and mkeps(f(r)) = mkeps(r)
This will complete the correctness proof.
Even if finding such f is hard, it would still provide insights for the real difference between simp(der(simp(der(simp(der...... and simp(ders