[論文レビュー] Multi-Solid Varieties and Mh-Transducers

Slavcho Shtrakov|ArXiv.org|Feb 15, 2007

semigroups and automata theory参考文献 4被引用数 3

ひとこと要約

この論文は、各項の位置に自然数の色を割り当てる彩色項を用いて、超代入理論を拡張することで、マルチ・ソリッドな多様体とマルチ・ハイパーサブスティチューションを導入する。マルチ・ソリッド多様体のラティスは、ソリッド多様体の完全部分ラティスであることが確立され、Mhトランスデューサを用いたマルチ・ハイパーサブスティチューションのオートマトンベースの実装が行われ、マルチ・ハイパーサブスティチューションのモノイドとMhトランスデューサのモノイドとの同型性が証明される。

ABSTRACT

We consider the concepts of colored terms and multi-hypersubstitutions. Studying the multi-hypersubstitutions we find out necessary and sufficient conditions a variety to be pre-complete. Finally we give an automata realization of multi-hypersubstitutions and colored terms.

研究の動機と目的

• 超代入理論をマルチ・ハイパーサブスティチューションおよび彩色項へ拡張すること。
• 恒等式がマルチ・ハイパーサブスティチューションの下で保存されるM-マルチ・ソリッド多様体を定義し、特徴づけること。
• 木オートマトンを用いて、マルチ・ハイパーサブスティチューションとMhトランスデューサの間のカテゴリカル同型を確立すること。
• マルチ・ハイパーエクイーショナル理論の完全性とマルチ・ソリッド多様体の閉包性質を証明すること。
• Mhトランスデューサを用いたマルチ・ハイパーサブスティチューションのオートマトン的実装を提供すること。

提案手法

• 項tの非変数位置に自然数を割り当てる写像αtを用いて、彩色項をペア(t, αt)として定義する。
• Mをハイパーサブスティチューションのモノイドとするとき、ρ: ℕ → M として定義されるマルチ・ハイパーサブスティチューションを導入する。
• マルチ・ハイパーサブスティチューションを彩色項へ拡張する導出写像ρ̄を構成する。
• マルチ・ハイパーサブスティチューションの彩色項への作用を計算する木オートマトンとしてMhトランスデューサを導入する。
• Mhトランスデューサの合成を定義し、結合則を証明することでモノイド構造を確立する。
• 写像φ(ρ) = Aρを用いて、マルチ・ハイパーサブスティチューションのモノイドとMhトランスデューサのモノイドとの同型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 彩色項を用いて、ハイパーサブスティチューションの系列（マルチ・ハイパーサブスティチューション）への超代入理論の一般化はどのように可能か？
• RQ2 マルチ・ハイパーサブスティチューションはどのような代数的構造を形成し、多様体のラティスとどのように関係するか？
• RQ3 マルチ・ハイパーサブスティチューションは木オートマトンとして実装可能か？ これらのオートマトンが満たす性質は何か？
• RQ4 どのような条件下で多様体がM-マルチ・ソリッドとなるか？ これはマルチ・ハイパーサブスティチューションの下での恒等式の閉包性とどのように関係するか？
• RQ5 マルチ・ハイパーエクイーショナル理論に対して完全性定理は成り立つか？ これは標準的な等式論理とどのように比較できるか？

主な発見

• M-マルチ・ソリッド多様体のラティスは、すべてのM-ソリッド多様体のラティスの完全部分ラティスを形成する。
• 恒等式の閉包作用素χMが、ρ̄による写像を介して彩色項へ拡張され、等式の閉包が保存される。
• Mhトランスデューサのモノイドは、M上でのマルチ・ハイパーサブスティチューションのモノイドと同型であり、カテゴリカル同値性が確立される。
• Mhトランスデューサの合成は結合的であり、トランスデューサの作用は彩色項上のマルチ・ハイパーサブスティチューション写像と正確に一致する。
• Mhトランスデューサによるマルチ・ハイパーサブスティチューションのオートマトン的実装は、マルチ・ハイパーアイデンティティの計算モデルを提供する。
• マルチ・ハイパーエクイーショナル理論に対して完全性定理が確立され、すべての論理的帰結が作用素χMを介して導出可能であることが示される。