自由モノイド

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

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

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

Vita brevis, ars longa. Omnia vincit Amor.