Signature(i) is Used to Verity State J When UIO(i) is Absent
IO(i,j) is a sequence of inputs that causes state I and state j to generate different outputs.
Signature(I) is a minimum-length sequence where IO(1,j),IO(2,j), ...,and IO(n,j) appears once.