m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ ミニマンダラ 形式言語理論 Ψをアルファベットとする。（Σは総和に使うので） NΨ をN係数でΨから生成された可換モノイドとして、これをパリク格子と呼ぶことにする。パリク・ベクトル空間と呼ぶことが多いが、混乱の危険があるから。 Ψのクリーネスター＝自由モノイドからΨのパリク格子に出現を勘定する写像が定義できる、これがパリク写像。 パリク写像はモノイドの準同型になる。 総和完備な半環Kを係数とする畳み込み多元環を作る関手は共変関手となる。 パリク写像をその共変関手で移すと、Σ上の言語をパリク格子言語に写す写像となる。 言語を畳み込み多元環の元と考える、言語クラスを多元環の部分集合と考える。 正規言語のクラスは、埋め込まれた… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160420%2F1461117804" title="パリク写像 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-04-20 11:03:24 rich https://m-hiyama-memo.hatenablog.jp/entry/20160420/1461117804 1.0 100%