Definition of the Optimal IO Sequence
An optimal IO sequence for the state j and state k of a protocol, denoted as IO(j,k) is a shortest sequence of inputs which cause the protocol implementation in these two different states to generate a different sequence of outputs