non-deterministic finite automaton: niedeterministyczny automat skończony > Dodaj do ulubionych Abstrakcyjny model maszyny o skończonej liczbie stanów, która z każdego stanu może przejść do zera, jednego lub więcej innych stanów w odpowiedzi na dane wejściowe.