离散数学教程-王元元-第8章 可计算函数.pptVIP

离 散 数 学 第 8 章 可计算函数 第 8 章 可计算函数 8.1 函数概念的拓广 定义8.1 设f? X?Y, 称f为X到Y的一个偏函数，如果f满足下列条件： 对任意x?X， y1，y2?Y，若x,y1?f，x,y2?f，则y1=y2 。 偏函数的定义中取消了定义域等于前域的要求，保留了单值性 要求。对于x?X，若无y?Y，使x,y?f 时，称f在x处无定义，记为 f(x)=↑或 f(x)↑。 据定义8.1可知，一切函数均为偏函数，但反之不然。 当f为偏函数却非函数时，称f为真偏函数。 8.1 函数概念的拓广 （1） y = f(x) = ， y = g(x1,x2) = 规定的f，g都是实数集合上的真偏函数。 （2）当Y= ?，X ? ?时，X到Y的空关系为一真偏函数。 8.1 函数概念的拓广 （3）以下PASCAL程序定义了一个真偏函数 function f (x:integer) : integer; var y : integer ; begin y := 1 ; while(x 0) begin x :=