a_1使得对于在字母表上的每个字"w"，formula_13如果这个字在这个语言中，并且formula_14如果这个字不在这个语言中。所以一个语言在有一个过程能正确的判定任意的字是否在这个语言中的情况下是可计算的。一个语言是计算可枚举的（同义词：递归可枚举的，半可判定的），如果有可计算函数"f"使得formula_15是有定义的，当且仅当字"w"在这个语言中。术语可枚举同自然数的计算可枚举集合有同样的语源。
例子.如果"f"和"g"是可计算的，则："f + g", "f *