nifty (cargo): A library for generating Deterministic Finite State Automata (DFA).
Keywords: machine|finite|state|automaton|dfa