Java Web作業

可計算性： 假設有一個紙帶和一個打孔機，然後有一套指令，能夠控制打孔機在紙帶上移動、能夠讀取當前位置是否打了孔、能夠在當前位置打一個孔，這就是一個圖靈機（by阿蘭.圖靈），假設一個問題能夠靠這個紙帶+打孔機+指令的方式解決，那就說明這個問題是「可計算的」。 用函數組合的方式來描述計算過程，這就是Lambda演算（by阿隆佐·邱奇），假設一個問題能夠用一套函數組合的算法來表達，那就說明這個問題是可計

>>阅读原文<<