📜  门|门 CS 1999 |第 58 题

📅  最后修改于: 2021-09-26 03:40:49             🧑  作者: Mango

【5分题】

假设我们有一个函数HALTS,当应用于任何任意函数f 时,如果函数f 为这些参数终止,它的参数将显示为 TRUE,否则为 FALSE。示例,给出以下函数定义。

FACTORIAL (N) = IF(N=0) THEN 1 ELSE N*FACTORIAL (N-1)
Then HALTS(FACTORIAL 4)= TRUE and HATS(FACTORIAL -5)=FLASE

Let us define the function FUNNY(f) = IF HALTS(ff) THEN not(ff) ELSE TRUE

一种。证明 FUNNY 对所有函数f终止

湾使用(一)证明(由矛盾),这是不可能有像HALTS一个函数,任意功能和输入说,它是否会终止该输入与否。回答:
解释:
这个问题的测验