carlosv2/fa (packagist): Nondeterministic finite automaton
Keywords: dfa|nfa|deterministic|nondeterministic|automata|automaton