ある言語が計算可能であるとは、あるアルファベットにおける単語wについての計算可能関数f{\displaystylef}があり、その単語がその言語に属する場合はf(w)↓=1{\displaystylef(w)\downarrow=1}、その単語がその言語に属さない場合はf(w)↓=0{\displaystylef(w)\downarrow=0}となることをいう。
一个语言被称为是可计算的（同义词：递归的，可判定的），如果存在一个可计算函数f{\displaystylef}使得对于在字母表上的每个字w，f(w)↓=1{\displaystylef(w)\downarrow=1}如果这个字在这个语言中，并且f(w)↓=0{\displaystylef(w)\downarrow=0}如果这个字不在这个语言中。