Release 0.20 - New Features and Minor Improvements

Improvements

• Changed the default regular expression for state labels, such that set notation is allowed, e.g. {q1,q2}.

New features

• Added algorithms dfa_quotient and dfa_hopfcroft for DFA minimization.

gambatools-0.12

Fixes issue 1.

gambatools-0.1

prerelease-0.1

Initial commit