Zulip Chat Archive
Stream: mathlib4
Topic: RegEx/DFA/NFA equivalence
Oliver Soeser (Jan 26 2025 at 12:05):
Is there anyone working on showing the RegEx/DFA/NFA equivalence?
Yaël Dillies (Jan 26 2025 at 12:20):
See #general > dfa and regular expressions :smile:
Anthony DeRossi (Jan 26 2025 at 22:55):
I opened a PR for one direction (#20648) but wasn't aware of the earlier work.
Last updated: May 02 2025 at 03:31 UTC