История изменений

Объекты инкапсулирующие fsm по определению нетождественны, т.к. их состояние определяется уникальной последовательностью переходов.

Это справедливо, если у тебя автомат хранит _ВСЕ_ свои состояния, в которых он побывал, т.е. всю историю переходов. Если же состояние автомата зависит, например, только от текущего состояния и сигнала на входе, то два разных автомата могут перейти в одинаковое состояние при разных входных последовательностях. И при этом они будут тождественны друг другу. Так что я бы не был столь категоричен.

Объекты инкапсулирующие fsm по определению нетождественны, т.к. их состояние определяется уникальной последовательностью переходов.

Это справедливо, если у тебя автомат хранит _ВСЕ_ свои состояния, в которых он побывал, т.е. всю историю переходов. Если же состояние автомата зависит, например, только от текущего состояния и сигнала на входе, то два разных автомата могут перейти в одинаковое состояния при разных входных последовательностях. И при этом они будут тождественны друг другу. Так что я бы не был столь категоричен.