可计算函数

简单地说，函数可计算的条件就是存在一个图灵机可以计算这个函数。