计算理论基础章5.pptVIP

第5章 递归函数 杨 莹 第5章 递归函数 5.1 函数的复合算子、递归算子、取极小值算子 5.2 原始递归函数 5.3 原始递归谓词和原始递归集合 5.4 部分递归函数及其与图灵机的等价性 5.1 函数的复合算子、递归算子、取极小值算子 定义5-1 设f是m元函数，g1,g2, … ,g m是n元函数，函数h定义为 y=h(x1,x2, … ,xn)=f(g1(x1,x2, … ,xn), g2(x1,x2, … ,xn) , …, gn(x1,x2, … ,xn)) 则称函数h是函数f和g1,g2, … ,gn的复合函数，记为h = f?( g1, g2,…, gm)。 5.1 函数的复合算子、递归算子、取极小值算子 定义5-2 设g、h、f分别是n元、n+1元、n+2元函数，函数h的定义为 则称函数h是原始递归于g、f的原始递归函数。又称h是依据z用原始递归运算得到的，z是递归变量，x1,x2, … ,xn是原始递归参数。 5.1 函数的复合算子、递归算子、取极小值算子 定义5-3 设f、h是n+1元、n元函数，且f 全函数，函数h的定义为 y = h(x1,x2, … ,xn) = {z | f (x1,x2, … ,xn , z)=0} 则称函数h是取极小算子作用于函数f的结果。 5.1 函数的复合算子、递归算子、取极小值算子 定义5-4 函数 f (x1,x2, … ,xn+1 ) 是正则函数，若对于任何x1,x2, … ,xn，恒存在z（z≥0），使得 f (x1,x2, … ,xn,z )=0 5.2 原始递归函数 三个基本函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.2 原始递归函数 5.3 原始递归谓词和原始递归集合 5.3 原始递归谓词和原始递归集合 定义5-7 称谓词（集合）是原始递归的，若其特征函数也是原始递归的。 关于谓词合适公式的原始递归性，有以下四个定理。 定理5-1 若谓词P(x1,x2,…,xn)是原始递归的，则┐P(x1,x2,…, xn)也是原始递归的。 5.3 原始递归谓词和原始递归集合 定理5-2 若谓词P(x1,x2,…, xn)和Ｑ(x1,x2,…, xn)是原始递归谓词，则其合取式、析取式也是原始递归谓词。 5.3 原始递归谓词和原始递归集合 5.3 原始递归谓词和原始递归集合 【例5-13】 x=y 【例5-14】 xy 【例5-15】 x≤y 5.3 原始递归谓词和原始递归集合 定理5-5 设S和R是原始递归集合，则R∩S、R∪S、 也是原始递归集合。 定理5-6 设P(x1,x2,…,xn) 是n元原始递归谓词，h1,h2,…,hn是k元原始递归函数，则下面的谓词也是原始递归的： Q(x1,x2,…,xk)=P(h1(x1,x2,…,xk), h2(x1,x2,…,xk),…, hn(x1,x2,…,xk)) 5.3 原始递归谓词和原始递归集合 定理5-7 设f(x1,x2,…,xn) 和g(x1,x2,…,xn)是n元原始递归函数，则下面谓词也是原始递归的： f(x1,x2,…,xn) = g(x1,x2,…,xn) 5.3 原始递归谓词和原始递归集合 5.3 原始递归谓词和原始递归集合 5.3 原始递归谓词和原始递归集合 5.3 原始递归谓词和原始递归集合 5.3 原始递归谓词和原始递归集合 5.3 原始递归谓词和原始递归集合 5.4 部分递归函数及其与图灵机的等价性 5.4 部分递归函数及其与图灵机的等价性 定义5-10 由常数函数、投影函数、后继函数出发，经过复合、递归和对正则函数取极小算子运算得到的函数，称为递归函数。 阿克曼函数不是原始递归函数 Ack(0, m)=m+1 Ack(n+1,0) = Ack(n,1) Ack(n+1,m+1) = Ack(n, Ack(n+1,m)) 5.4 部分递归函数及其与图灵机的等价性 定理5-9 图灵机计算的函数是部分递归函数。 证明：首先将这个过程用数字编码。 若|Г|=l，设Г ={0,1,…,l-1}。 C(c0c1…ck)= Q(T)={0,1,2,…,k-1}， 其中0表示初始状态，1表示接受状态，2是一新补的特殊的状态：永不停机，即当在原T中，(q, a)