конечный автомат

EN: state machine

Вычислительная модель, переходящая между конечным набором состояний в ответ на входные данные. В распределённых системах сервисы часто моделируются как детерминированные конечные автоматы: при одинаковом начальном состоянии и одной и той же упорядоченной последовательности команд каждая реплика приходит к одному и тому же состоянию. Алгоритмы консенсуса Raft и Paxos используются для репликации лога команд по узлам, обеспечивая идентичные переходы на всех репликах.