Checking The States with the Distinguishing Sequences
A distinguishing Sequence is a sequence of inputs that generates distinct outputs for all starting states.
Distinguishing sequence= a,c,a
Output Sequence Starting State
* Weak point : only few protocols possess the distinguishing sequence