Here is the original Problem 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. 3.7 Explain why the following is not a description of a legitimate Turing machine. IbadOn input(p), a polynomial over variables x1 , . . . 'Zg: 1. Try all possible settings ofri,... ,k to integer values 2. Evaluate p on all of these settings. 3. If any of these settings evaluates to 0, accept; otherwise, reject