State minimisation

In digital systems, two states $S_i$ and $S_j$ are equivalent if for any input sequence the output sequence is the same, no matter which state we start from.