0 0 votes Suppose that $p$ and $q$ are distinguishable states of a given DFA $A$ with $n$ states. As a function of $n$ what is the tightest upper bound on how long the shortest string that distinguishes $p$ from $q$ can be$?$ Theory of Computation ullman theory-of-computation finite-automata-dfa + – admin 510 views answer comment Share Follow Print 0 reply Please log in or register to add a comment.