Deterministic algorithms can be defined in terms of a state machine: a state describes what a machine is doing at a particular instant in time.
Детерміновані алгоритми можуть бути визначені в терміні кінцевого автомата: стан описує те, що машина робить в конкретний момент часу.