state machine

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

A computational model that transitions between a finite set of states in response to inputs. In distributed systems, services are often modelled as deterministic state machines: given the same initial state and the same ordered sequence of commands, every replica reaches the same state. Consensus algorithms such as Raft and Paxos are used to replicate the command log across nodes, ensuring all replicas apply identical transitions.