代數語言

令 為一個字母表（即，一個有限且非空的集合），並稱其元素為字母。 上的一個詞是一個有限的字母序列 ，其中 。用 表示空詞，用 表示 中所有詞的集合。定義一個詞 與一個詞 的連線（也稱為積）為 。一般來說，連線不滿足交換律。使用符號 表示詞 中字母 的數量。那麼，語言 是 的一個子集，並且當一組遞迴應用的重寫規則形成 的所有詞且沒有其他詞時，稱 是代數的。