20120918 可計算性

程式特性規定：

1 程式開始執行時，自認為一切變元的值為0

2 轉向無定義符號，執行程式的最後一條指令 時 自動認為停機

y=x+3

y=x+1

y=x+1
y=x+1
y=x

n(x)=0

x=x+1

y=x1+x2

y=x1

[b] to a if x2 !=0
to e
[a] x2 = x2 -1
y=y+1
to b

y=2x

to c if x!=0

to e
[c] to a if x!=0
[b] y=y+1
z=z-1
to b if z!=0
to e
[a]x=x-1
y=y+1
z=z+1
to c

y=x1*x2

[b]to a if x2 != 0

to e
[a]x2=x2-1
y=y+x1
to b

[a] to b if x1 != 0

to e 
[b] to c if x2!=0
to e
[c] y=y+x1
z=z+1
x2=x2-1
to b

y=[x1/x2]

演算法思想：

輸入x1,連續的減去x2,若x1-x2 還有餘，則輸出y=y+1.若恰好減完，則輸出y。減完後x2之後，若x1仍可以減，重複操作，知道x1剩餘小於x2，不再同步減

z1=z1+1

.......執行x2次，進行賦值
to a if x1 != 0
to e
[a] z2=z1
y=y+1
[b]x1=x1-1
z2=z2-1
to c if z2 != 0
to a if x1 != 0
[c]to b if x1 != 0
y=y-1
to e

y=根號x

演算法思想：

x-(2y+1)-(2y+1)......每次分步執行   x-y1-y1-1

to a if x!=0

to e 
[a] z1= z1+1
z1=z1+1
[f] to b if z1 != 0
x=x-1
to g if x!=0
y=y+1
to e 
[b] z2 =y
to c if z2 != 0
z1 = z1 -1
to f
[c] x= x-1
z2 = z2 -1
to d if x != 0
to e 
[g] y= y+1
to a

可計算性總結

能夠想到的 圖靈機形式簡潔且功能強大，但是圖靈機形式化表示乙個演算法非常複雜，lambda演算則通過考察函式給出了計算的純數學表示，使人折服於這簡單之中蘊含的深刻哲理與美。等價 規約 等價，層層的抽象，劍指問題本質 最簡潔的數學表達。大而至道的理論研究我輩不敢觸碰，通過理論學習指導實際中的程式設計可...

信用的可計算性

區塊鏈是作為位元幣底層技術與基礎架構而誕生的。位元幣是乙個可以點對點進行支付 不依賴任何第三方的電子現金系統。借助密碼學技術，位元幣的發明者中本聰構造了乙個極為巧妙的經濟系統，解決了在去中心化的結構 下，如何創造乙個可信的價值傳輸系統這個難題。夏農作為資訊理論的開創者，解決了 如何用數學方法定義資訊...

使用者可計算型出題程式

此次程式是對上次程式的再次開發，我將自己視作另乙個在開發者，在對自己前面程式進行再次審視時，有了別樣的感受，自己寫的程式，一定要為別人 也有可能是自己 留一條活路。閒話不多說，進入大家最喜歡的 環節。要求 每個同學選乙個方向，把程式擴充套件一下讓程式能接受使用者輸入答案，並判定對錯。最後給出總共對 ...