所有二进制字符串的搜集是在二进制字母表上的一个语言。形式语言的一个关键性质是对判定一个给定字是否在这个语言中的难度级别。必须开发某种编码系统来允许可计算函数来接受在语言中的任意字作为输入；这通常是要认真处置的例程。一个语言被称为是可计算的（同义词：递归的、可判定的），如果存在一个可计算函数formula_1使得对于在字母表上的每个字"w"，formula_13如果这个字在这个语言中，并且formula_14如果这个字不在这个语言中。所以一个语言在有一个过程能正确的判定任意的字是否在这个语言中的情况下是可