izuzak / noam

JavaScript library for working with automata and grammars for regular and context-free languages
http://ivanzuzak.info/noam/
Other
201 stars 32 forks source link

Gym fails to simplify b+aa*b #30

Open josephcsible opened 4 years ago

josephcsible commented 4 years ago

I expect the regex gym to simplify b+aa*b to a*b, but in fact it has no simplifications available for it.

izuzak commented 4 years ago

Thanks for opening this, @josephcsible :bow: That's a great example! I don't believe we have a simplification rule to cover that case. If you'd like, please feel free to submit a pull request to cover that case 👍