可計算函數

簡單地說，函數可計算的條件就是存在一個圖靈機能夠計算這個函數。