Types:
Abc
RegEx
DFA
NFA
CFG
Objects:
Create
New Regex
New DFA
New NFA
New CFG
Refresh
Rename
Operation
Edit
Save as
Delete
Create a new object
Type:
Abc
RegEx
DFA
NFA
CFG
Name:
Enter the Alphabet
Alphabet:
Enter the Regular Expression
Alphabet:
Regex:
Enter the DFA
Abc:
DFA:
Enter the NFA
Abc:
NFA:
Enter the Grammar
Save as a new object
Type:
Abc
RegEx
DFA
NFA
Name:
Rename object
Name:
Choose operation to perform
On:
Operation:
Minimize
Invert
Iterate
Reverse
Difference
Symmetric difference
Intersect
Concatenate
Union
Equivalence check
With:
Save as: