ブール代数(可補分配束)の非可換であるようなものを考えます。 自由モノイド 集合 で生成される自由モノイドを または とします。 は文字の集合 から作られる文字列全体の集合と見ることができます。空文字列が単位元となります。 の元を1つの文字からなる文…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。