2. (a) Let A be a set and r,y be strings i. Give the definition of the quotient set A/x. ii. Give the definition of: x, y are indistinguishable by A. iii. Give the definition of the index of A iv. Give a formal proof of the following statement: If A is recognized by a DFA with at most k states, then the index of A is at most k
OR
OR