-
-
Notifications
You must be signed in to change notification settings - Fork 3
Implement reverse operator for regular expressions #183
Copy link
Copy link
Open
Labels
backendIssues related to Proof Objects or Code GenerationIssues related to Proof Objects or Code GenerationcheckerIssues related to Typechecking or LogicIssues related to Typechecking or LogicparserIssues related to Tokenization or ParsingIssues related to Tokenization or Parsing
Milestone
Metadata
Metadata
Assignees
Labels
backendIssues related to Proof Objects or Code GenerationIssues related to Proof Objects or Code GenerationcheckerIssues related to Typechecking or LogicIssues related to Typechecking or LogicparserIssues related to Tokenization or ParsingIssues related to Tokenization or Parsing
Type
Fields
Give feedbackNo fields configured for issues without a type.
Is your feature request related to a problem? Please describe.
It would be nice for CFG types to allow both left and right recursion. To support this, DFAs must be reversible.
Reverse of DFA is DFA
Describe the solution you'd like
Implement a simple
.reverse()operator for DFAs.