Mbad-"On input 2), a polynomial over variables x1, . . . , Tk: Try all possible settings of x,... , Tk to integer values. Evaluate p on all of these settings If any of these settings evaluates to 0, accept; otherwise, reject." 1. 2. 3. 6 points) Formulate the language that Mbad in Problem 2 was intended to recognize and describe a correct TM that recognizes this language. Mbad-"On input 2), a polynomial over variables x1, . . . , Tk: Try all possible settings of x,... , Tk to integer values. Evaluate p on all of these settings If any of these settings evaluates to 0, accept; otherwise, reject." 1. 2. 3. 6 points) Formulate the language that Mbad in Problem 2 was intended to recognize and describe a correct TM that recognizes this language