§1.3 URM-可計算性函數(shù)
定義1.3.1 設(shè)f:?n→?為部分(部分有定義)函數(shù).
(a)P(a1,a2,a3,…)↓收斂于b,如果P(a1,a2,a3,…)↓且P(a1,a2,a3,…)停機時,第一個存儲單元R1中的數(shù)為b,記為P(a1,a2,a3,…)↓ b;
(b)P是URM-可計算f,如果?a1,a2,a3,…,an,b有P(a1,a2,a3,…)↓ b當(dāng)且僅當(dāng)(a1,a2,a3,…,an)∈dom(f)且f(a1,a2,a3,…,an)=b,記P計算的函數(shù)為fP,則它們的關(guān)系為

(解讀:要注意的是,一個程序P可計算函數(shù)f,指的是對f定義域中的數(shù)都是可計算的.對于f定義域外的數(shù)它是不用可計算的.)
(c)f為 URM-可計算函數(shù),如果存在一個程序P,它可以URM-可計算f.
(解讀:這段教材表明我們通常認為可計算的離散函數(shù)都可以編成一個程序,或者編成一個編碼在計算機中運行,一個無窮函數(shù)的信息與編碼的信息量是等價的.)
例1.3.1 已知初始結(jié)構(gòu)為(8,3),程序P為I1:J(3,2,5);I2:S(1);I3:S(3);I4:J(1,1,1),求fP(8,3).
解:模擬計算如下:

所以fP(8,3)=11.
程序P其實計算的是fP(x,y)=x+y.通過把y個1加到x上,就可得到x+y,將x,y分別存儲在R1,R2中,將R3做成一個計數(shù)器.即

例1.3.2

我們將x存儲在R1中,將R2做成一個計數(shù)器.即
其程序為I1:J(1,4,9);I2:S(3);I3:J(1,3,7);I4:S(2);I5:S(3);I6:J(1,1,3);I7:T(2,1).
例1.3.3

我們將x存儲在R1中,將R3做成一個計數(shù)器.即
其程序為 I1:J(1,2,7);I2:S(3);I3:S(2);I4:S(2);I5:S(2);I6:J(1,1,1);I7:T(3,1).
例1.3.4 f(x,y)=xy的程序為I1:J(1,4,10);I2:J(2,5,10);I3:J(1,4,7);I4:S(3);I5:S(4);I6:J(1,1,3);I7:S(5);I8:Z(4);I9:J(1,1,2);I10:T(3,1).
- Multisim & Ultiboard電路設(shè)計與虛擬仿真
- 上海財經(jīng)大學(xué)統(tǒng)計與管理學(xué)院432統(tǒng)計學(xué)[專業(yè)碩士]歷年考研真題(含復(fù)試)匯編
- 材料類基礎(chǔ)化學(xué)實驗
- 高級財務(wù)會計(第三版)
- 電力物聯(lián)網(wǎng)通信與信息安全技術(shù)
- 法理學(xué)
- George Yule《語言研究》(第2版)筆記和課后習(xí)題(含考研真題)詳解
- 速寫
- 北京大學(xué)政府管理學(xué)院657行政學(xué)原理歷年考研真題視頻講解【5小時高清視頻】
- 經(jīng)濟法學(xué)(法學(xué)教材)
- 大鼠心肌細胞Hsp110抗熱應(yīng)激損傷的分子病理學(xué)研究
- 大學(xué)生計算機應(yīng)用基礎(chǔ)(第2版)
- 幼兒園教育基礎(chǔ)模擬試題集
- 線性代數(shù)與線性規(guī)劃(第四版)(大學(xué)本科經(jīng)濟應(yīng)用數(shù)學(xué)基礎(chǔ)特色教材系列)
- Access2010數(shù)據(jù)庫應(yīng)用教程