In the process of applying our algorithm for determining dis
In the process of applying our algorithm for determining distinguishability of states, which of the following is true for the FA shown below?
possible answers
1) q1 and q3 will be distinguished on the third pass.
2) q1 and q3 will be found to indistinguishable.
3) q1 and q3 will be distinguished on the second pass.
4) q1 and q3 will be distingushed on the first pass.
q0 q2 q 5 ba 3 a a 4Solution
First pass will have {q0 q1 q3 q5 } { q2 q4}
 Second pass will have {q0 q1 q3 } { q5 } { q2 } { q4}
 Third pass will have {q0 q1} { q3 } { q5 } { q2 } { q4}
 
 
 So q1 and q3 and distinguished in Third Pass.

