代数语言

令 为一个字母表（即，一个有限且非空的集合），并称其元素为字母。 上的一个词是一个有限的字母序列 ，其中 。用 表示空词，用 表示 中所有词的集合。定义一个词 与一个词 的连接（也称为积）为 。一般来说，连接不满足交换律。使用符号 表示词 中字母 的数量。那么，语言 是 的一个子集，并且当一组递归应用的重写规则形成 的所有词且没有其他词时，称 是代数的。