2006-07-03 自由構成 形式言語理論 トレース/コンパクト閉圏 自由構成(クリーネ圏、コォゼン圏含む): モノイド 圏 デカルト圏 アルファベットΣ 単純多ソート指標Σ 多ソート指標Σ 自由モノイドΣ* 自由圏Σ~ 自由デカルト圏Σ~× ベキモノイドPow(Σ*) ベキ圏PowCat(Σ~) ベキデカルト圏PowCCat(Σ~×) Kleene半環K(Σ) Kleene圏KC(Σ) Conway圏ConwC(Σ) 正規表現 ソート付き正規表現 - (うれしくない)