Distinguishing Sequence (CloudMonk.io)

distinguishing sequence - a sequence of salient operations that, when applied to two objects of the same type having initially distinct platonic values — whose observable salient attributes might not be distinguishable — will eventually produce objects whose respective observable salient attributes are not the same. In other words, two value semantic objects of a given type do not have the same value if there exists a distinguishing sequence for them. Note that this sequence might vary depending on the initial values of the respective objects, which differs from the classical definition in finite automata theory in which the distinguishing sequence must be the same for all pairs of FSM states." (EMCppSfe 2021)