[論文レビュー] Finite transducers for divisibility monoids

Matthieu Picantin|arXiv (Cornell University)|Jan 13, 2006

semigroups and automata theory参考文献 22被引用数 7

ひとこと要約

本稿では、左可除法的モノイドにおける右正規形を二次時間で計算する有限トランスデューサを導入し、すべてのこうしたモノイドが双自動的であることを証明する。このトランスデューサは、可除関係のラティス構造を活用して正規形計算を効率化し、クスキの自動的性に関する主張の構成的証明を提供する。

ABSTRACT

Divisibility monoids are a natural lattice-theoretical generalization of Mazurkiewicz trace monoids, namely monoids in which the distributivity of the involved divisibility lattices is kept as an hypothesis, but the relations between the generators are not supposed to necessarily be commutations. Here, we show that every divisibility monoid admits an explicit finite transducer which allows to compute normal forms in quadratic time. In addition, we prove that every divisibility monoid is biautomatic.

研究の動機と目的

• マゾルキエヴィチトレースモノイドの非可換関係を許容する一般化である左可除法的モノイドにおける正規形を効率的に計算するアルゴリズムを開発すること。
• すべての左可除法的モノイドが右正規形を計算する有限トランスデューサを備えることを確立することにより、自動的モノイド理論を拡張すること。
• すべての左可除法的モノイドが双自動的であることを、有限トランスデューサを用いた構成的証明により確認・拡張すること。
• トランスデューザの構造が、下位の可除関係のラティスを正確に模倣しており、解釈可能性と計算効率の両方を向上させること。

提案手法

• 入力アルファベット Σ、出力アルファベット Y*、および可除ラティスの要素に対応する状態を有する有限決定的トランスデューザを構築し、遷移関数 τ および出力関数 λ を用いる。
• 各可除クラスにおける右端のハイパーキューブを選択することで、左可除法的モノイドの要素に対する右正規形を定義し、一意性とラティス構造との整合性を保証する。
• トランスデューザの構造から導かれる有限オートマトンによって言語が認識されることを示し、右正規形の言語が正則であることを証明する。
• 入力語を左から右へ処理する際、各遷移が最終正規形に寄与する部分出力を生成するように、トランスデューザを用いて正規形を二次時間で計算する。
• 可除ラティスの分配法則を活用して、非可換関係がある場合でもトランスデューザの遷移が適切に定義され、有限であることを保証する。
• トランスデューザの性能と構造を古典的乗算器オートマトンと比較し、部分的関数的設計とラティスに適合したグラフトポロジーのおかげで、可読性と効率性に優れていることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての左可除法的モノイドにおいて、正規形を多項式時間で計算する有限トランスデューザを構築できるか？
• RQ2 左可除法的モノイドにおける右正規形は、正則言語として表現可能であり、オートマトンに基づく計算を可能にするか？
• RQ3 すべての左可除法的モノイドは双自動的であるか？ そして、有限トランスデューザを用いた構成的証明によってこれを確認できるか？
• RQ4 トランスデューザの構造は、下位の可除関係のラティスとどのように関係しているか？ そして、これを効率性の向上に活用できるか？
• RQ5 トランスデューザベースのアプローチは、時間的効率性と構造的明快性の点で、古典的乗算器オートマトンをどのように上回るか？

主な発見

• すべての左可除法的モノイドが、右正規形を二次時間で計算する有限トランスデューザを備えることが保証され、正規形計算のための効率的アルゴリズムが得られる。
• 右正規形の言語は正則であるため、モノイドが正規形の有限オートマトン表現を備えることが示唆される。
• トランスデューザの構造は、可除関係のラティス構造を直接反映しており、モノイドのカイリー図における解釈可能性と幾何的洞察を向上させる。
• 本稿では、すべての左可除法的モノイドが双自動的であることを証明し、クスキの主張を確認するとともに、既知の双自動的モノイドのクラスを拡張する。
• トランスデューザは部分的関数的であるため、正規形における右端のハイパーキューブを線形時間で計算可能であり、一般の乗算器オートマトンを上回る。
• 部分的関数的設計とラティスに配慮した遷移のおかげで、本手法は古典的乗算器オートマトンと比較して、可読性と効率性の両面で優れている。