NDFA

[nondeterministic finite-state automaton] недетерминированный конечный автомат, НДКА