非奇異矩陣提示您:看後求收藏(快眼看書www.kyks.tw),接著再看更方便。

三種,接下來把它們組合在一起就行了。

我們定義一個叫“組合”的函式f,它的功能是把n個函式組合在一起:

f:Nn—N

具體的,如果每一個被組合的函式g都可以接受同一組引數x1,...,xm,那麼組合n個g函式的操作可以被表示為:

f·[g1,...,gn]:Nm—N

展開為:

f·[g1,...,gn]x1,...,xm=fg1x1,...,xm,...,gnx1,...,xm

舉個栗子:

我們構造一個函式one,onex=1,即:不論給它什麼輸入,它都輸出為1,那麼:

onex=succ0=succzerox

即:succ·[zero]=one

驗證一下:

succ·[zero]x=succzerox=succ0=1

succ和zero兩個基本函式組成了我們要的one,完美。

如果栗子再複雜一點,我們想要一個加法器add,addx,y=x+y,怎麼用那三種基本函式組合?

也很簡單,從具體輸入入手:

add3,2=succadd3,1=succsuccadd3,0=succsucc3

似乎只需要組合多個後繼函式就可以了呢。

當然,這裡面有一個毛病,在於我們在沒有定義好add的前提下,先入為主地認為add3,0=3.

所以我們不能認為自己就這麼簡單地構造了add,只能退而求其次地得到以下關係:

addx,y+1=succaddx,y,這個式子是十分嚴謹的。

更具體地,要想算出addx,y+1,就要知道addx,0=x,我們稱addx,0=x為基準條件;addx,y+1=succaddx,y為遞迴條件。

看起來就差臨門一腳了,只要我們能用三種基本函式構造出addx,0=x,就能得到addx,y+1,也就能構造出我們想要的加法器。

也很顯然,addx,0=x=proj11

於是,我們的加法器有了。

這種看起來很像左腳踩右腳登天的構造方式叫做“原始遞迴”,它的定義是這樣的:

基準函式f:Nn—N

遞迴函

歷史軍事推薦閱讀 More+
姜羨梨謝景城

姜羨梨謝景城

佚名
姜羨梨謝景城小說簡介: 一大清早,我就看到雙胞胎妹妹和我的男友睡在了一起。 我哭得肝腸寸斷,傷心欲絕。 可,我是裝的。 因為我重生了,我妹妹也重生了。 上輩子,妹妹羨慕我的婚姻,所以這輩子,她第一件事就是把男友弄上自己的床。 心機拜金女和卑鄙鳳凰男,絕配!我不恨她,甚至也有了自己的打算!
歷史 連載 178萬字
天災降臨,我在末世打造女神庇護所

天災降臨,我在末世打造女神庇護所

三百米
天災+末世+重生+囤物資+無限空間+復仇 天災降臨,全球進入末世時代,陳巖被未婚妻出賣慘死,臨死那一刻才知道,未婚妻早已出軌懷孕,自己只不過是一個可憐的接盤俠。 因空間系異能的存在,他重生末世前一個月。 開局先退婚,變賣全部家產,改造庇護所瘋狂囤積物資,開始報復所有參與殘殺他的人。 這一世,陳巖不再卑微,寧教我負天下人,也絕不再讓天下人負我!
歷史 連載 65萬字