This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: of ve statements. Find the rst erroneous statement. Explain. Your answer should be precise and concise. 1 3. Here is pseudocode to enumerate INXIN : for (plane = 0; 1; plane++) for (i = 0; i <= plane; i++) for (j = 0; j <= plane; j++) if (i + j == plane) print("(i,j)"); Let C i denote the i th C program. We can use this ordering to, for example, run C i on input j for all i,j IN . (a) Write pseudocode to enumerate INXINXIN . (b) Assume halts(i,j,k) is a subroutine that runs C i on input j for up to k steps and outputs 1 if the program halts in that timeframe (outputs 0 otherwise). Write pseudocode to enumerate the language H = { 2 i 3 j  C i halts on input j } . 2...
View
Full
Document
 Spring '08
 Staff
 Computer Science

Click to edit the document details