自由モノイド

文字の集合 $\Sigma$ の上で定義される文字列の集合 $\Sigma^{*}$ のこと．

この集合には連接と呼ばれる結合的な二項演算が定義され、空列という単位元を持つので、モノイドとなる．

また、公理以外の如何なる制約もないので自由モノイドと言われる．