Improvements
- Changed the default regular expression for state labels, such that set notation is allowed, e.g.
{q1,q2}.
New features
- Added algorithms
dfa_quotientanddfa_hopfcroftfor DFA minimization.
{q1,q2}.dfa_quotient and dfa_hopfcroft for DFA minimization.