#fsm-toolkit Tools for finite state machines (FSM): creating a deterministic finite automaton (DFA) creating non-deterministic finite automaton (NFA) converting NFA to DFA minimization of DFA