5. (5 marks) Is the following specification implementable? Justify your answer (please see the note on...

 

Transcribed Image Text:

5. (5 marks) Is the following specification implementable? Justify your answer (please see the note on next page). bool HaltsOnSelf (FILE *func); /* Returns true if func contains the definition of an int function with one FILE parameter, and that function terminates if applied to a file containing its own definition; otherwise HaltsOnSelf returns false. */ Question 5 is Exercise 12.3 on page 249 in the text. As mentioned in the textbook, the argument is similar to the one used for the specification of halts. However, you are expected to give a detailed argument, that is, you should write a program analogous to Program 12.1 (page 248) and then explain why it necessarily results in a contradiction. EXERCISE 12.3 Is the following specification implementable? bool HaltsOnSelf (FILE *func); /* Returns true if func contains the definition of an int function with one FILE parameter, and that function terminates if applied to a file containing its own definition; otherwise, halts returns false. 5. (5 marks) Is the following specification implementable? Justify your answer (please see the note on next page). bool HaltsOnSelf (FILE *func); /* Returns true if func contains the definition of an int function with one FILE parameter, and that function terminates if applied to a file containing its own definition; otherwise HaltsOnSelf returns false. */ Question 5 is Exercise 12.3 on page 249 in the text. As mentioned in the textbook, the argument is similar to the one used for the specification of halts. However, you are expected to give a detailed argument, that is, you should write a program analogous to Program 12.1 (page 248) and then explain why it necessarily results in a contradiction. EXERCISE 12.3 Is the following specification implementable? bool HaltsOnSelf (FILE *func); /* Returns true if func contains the definition of an int function with one FILE parameter, and that function terminates if applied to a file containing its own definition; otherwise, halts returns false.

Answer rating: 100% (QA)

To understand that the given specification is implementable or ... View the full answer