非確定有限自動機epsilon-NFA以狀態、input symbol或epsilon對應可能後繼集合，存在一條full-input final path即接受。atlas-nondeterministic-finite-automaton · canonical_mko非確定有限自動機前置節點確定有限自動機二元關係與集合投影子集合