自由モノイド
自由モノイド(じゆうモノイド、free monoid)
モノイドは
演算が閉じている
半群である(結合法則)
単位元がある
定義
$ X が集合であるとき、写像$ \phi : X \times X → X のことを集合$ X 上の二項演算子が存在する
単位律
文字列の結合
確認用
Q. モノイド
Q. 自由モノイド
Q. 自由モノイドの例
参考
自由モノイド - bitterharvest’s diary
#群論 #数学