输出同时被传输给恰当的接受者。在本文中，状态机必须具备确定性：多个相同状态机的拷贝，从同样的“初始”状态开始，经历了相同的输入序列后，会达到同样的状态，并且输出同样的结果。通过恰当输入流，状态机可以实现任意的算法，包括完备图灵机的各种算法（参见图灵机）。通常而言，基于状态机复制的系统都会主动把它们的实现限制在有限状态机的范畴，以简化故障恢复。
容错.决定性是提供容错支持的理想特性。直观而言，假如系统存在多分拷贝，其中一个的故障会因为与其它系统的状态或者输出有差异，而变得明显