个包含两个字符串的集合，也可以被视为小写字母构成的字母表上的一个语言。而实际上研究的语言的例子则常常更为复杂，例如所有合法的C语言程序串构成的集合也可以视作ASCII上的一个语言（假定编译器只支持英文符号）。需要注意的一点是，formula_5 的空子集∅ 与只包含空串的语言 {ε} 是两个不同的语言。
语言间的运算.语言间的运算就是 Σ幂集上的运算。
语言的表示方法.不像自然语言，一个形式语言作为一个集合，需要有某种明确的标准来定义一个字符串是否是