Definition: Let M = (Q, S, R, s, F) be a WSFA, and let p, q Î Q, p ¹ q. States p and q are distinguishable if there
exists w Î S* such
that:
pw |–*
p’ and qw |–*
q’, where p’, q’ Î Q and
((p’ Î F and q’ Ï F) or (p’ Ï F and q’ Î F));
otherwise, states p and q are indistinguishable