Computer Science And Engineering

Computer Science And EngineeringTheory of Computation / FLATMultiple Select (MSQ)2 Marks
Q8.

Consider the 5-state DFA MM accepting the language L(M)(0+1)L(M) \subset (0 + 1)^* shown below. For any string w(0+1)w \in (0 + 1)^*, let n0(w)n_0(w) be the number of 00's in ww and n1(w)n_1(w) be the number of 11's in ww.

[image needed to be inserted here]

Which of the following statements is/are FALSE?

A
States 2 and 4 are distinguishable in MM
B
States 3 and 4 are distinguishable in MM
C
States 2 and 5 are distinguishable in MM
D
Any string ww with n0(w)=n1(w)n_0(w) = n_1(w) is in L(M)L(M)