可计算函数

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