You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thanks for getting in touch. I wouldn't say this is an error per se, it's
just that we don't have a rule that does this specific minimization.
Finding minimal length regular expressions is (I believe) PSPACE-hard so
what we do instead is implement a bunch of simplification rules that are
then applied. So we could add a rule like (A+BA_) => (A+B)_ for any
language pair A and B, but that still wouldn't minimize some other
"obviously non-minimal" regexes.
The Regex Gym won't simplify
(a+ba*)*
any further, but I believe it should simplify to just(a+b)*
The text was updated successfully, but these errors were encountered: