deterministic finite automaton: deterministyczny automat skończony > Dodaj do ulubionych Abstrakcyjny model maszyny o skończonej liczbie stanów, która z każdego stanu może przejść dokładnie do jednego innego stanu w odpowiedzi na dane wejściowe.