-
-
Notifications
You must be signed in to change notification settings - Fork 3
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
Description
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.
Reactions are currently unavailable
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