(B) [24 pts] Answer the following questions based on your understanding to the Myhill-Nerode Theorem.
1
2 3 4 5 6 7
1
*
2
3
3
2
2
*
4
2
2
2
*
5
2
2
?
1
1
*
6
1
1
1
1
?
1
*
7
1
1
1
?
1
*
1. [2 pts] Do we need to fill the upper and the lower diagonal values? Why?
2. [8 pts] What is the actual value stored in the following cells [Justify your answer]
i) (5,3) =
ii) (4,7) =
3. [2 pts] What is the number of the equivalent classes for the above DFA?
4. [2 pts] When does the convergence occur?
5. [6 pts] Provide me with an example of two distinguishable strings X and Y?
[Do not forget to support your example with value of string z]
6. [4 pts] What are the merged states according to the above calculations?
