ある言語が計算可枚挙であるとは、計算可能関数fがあり、単語wがその言語に属するときだけf(w){\displaystylef(w)}が定義されていることをいう。
一个语言是计算可枚举的（同义词：递归可枚举的，半可判定的），如果有可计算函数f使得f(w){\displaystylef(w)}是有定义的，当且仅当字w在这个语言中。