cadt-logo
Back
Transitions
Features
Test if this FA is deterministic or non-deternimistic
dfa or nfa
Test if a string is accepted.
NFA to DFA
Construct an equivalent DFA from an NFA
Minimize DFA
Reduce states from a given DFA