1. Let : X+-> Y. Define the Nerode machine Mis for this . Prove that the transition function and output function of Mp are well defined. Is the machine reduced? If so prove it, else give a counterexample. What is the significant of the Myhill-Nerode theorem