f(0)", "f(1)", ...将包含"B"的所有元素。因为在自然数上的每个有限关系都可以被识别为对应的自然数的有限序列的集合，可计算关系和计算可枚举关系的概念可以从它们的集合类似物来定义。
形式语言.在计算机科学的可计算性理论中，经常考虑形式语言。它包括任意集合的一个字母表，在字母表上的字是来自字母表的符号的有限序列；同一个符号可以出现多于一次。例如，二进制字符串精确的是在字母表formula_11上的字。语言是在固定字母表上的所有字的搜集的子集。例如，精确的包含三个字母