[論文レビュー] Algorithms for weighted multi-tape automata

André Kempe, Franck Guingne+1 more|arXiv (Cornell University)|Jun 2, 2004

semigroups and automata theory参考文献 20被引用数 11

ひとこと要約

本稿では、重み付き多テープオートマトン（WMTA）における多テープ積集合を、原子的演算としてではなく、基本的演算の連鎖として扱う、新しいモジュラーなアプローチを提案する。この手法により、従来の方法では失敗する非本質的テープを含む交差や循環的依存関係を伴う複雑なトランスducer交差のコンパイルが可能となり、トランスductionカスケード内での中間結果の保持にも実用的である。

ABSTRACT

This report defines various operations for weighted multi-tape automata (WMTAs) and describes algorithms that have been implemented for those operations in the WFSC toolkit. Some algorithms are new, others are known or similar to known algorithms. The latter will be recalled to make this report more complete and self-standing. We present a new approach to multi-tape intersection, meaning the intersection of a number of tapes of one WMTA with the same number of tapes of another WMTA. In our approach, multi-tape intersection is not considered as an atomic operation but rather as a sequence of more elementary ones, which facilitates its implementation. We show an example of multi-tape intersection, actually transducer intersection, that can be compiled with our approach but not with several other methods that we analysed. To show the practical relavance of our work, we include an example of application: the preservation of intermediate results in transduction cascades.

研究の動機と目的

• 重み付き多テープオートマトン（WMTA）における既存の多テープ交差手法の限界、特に特定のトランスducer交差を処理できないことへの対処。
• 古典的なトランスducer合成では欠落している、カスケード変換における中間トランスduction結果の保持と再アクセスを可能にする。
• 交差、射影、合成を含むWMTAにおける操作の一般的で拡張可能なフレームワークの開発により、複雑なNLP応用を支援する。
• WFSCツールキットにおける実装を通じて、提案されたアルゴリズムの実現可能性と効率性を示す。
• 先行研究で用いられる同一長関係や本質的テープの仮定に縛られない、トランスducer交差の一般化。

提案手法

• 重み付き遷移と操作をサポートするため、半環を用いてWMTAをモデル化し、重み付き関係の代数的取り扱いを可能にする。
• 多テープ交差を、クロス積、自己交差、単一テープ交差の順序付き操作として定義し、問題を管理可能な基本的演算に分解する。
• 中間段階でのε遷移を除去するためにMohriのεフィルターアルゴリズムを用い、正しさと効率性を保証する。
• 特定のテープからの分離を可能にするために、射影および補完的射影を適用し、中間結果への選択的アクセスを実現する。
• 特定のテープ同士のアラインメント（例：1台目のオートマトンのテープ1と2台目のオートマトンのテープ1）を繰り返し用いてWMTAを段階的に交差させ、構造と重みを保持する。
• 合成と射影を用いて、多テープWMTAから最終的な単一テープ結果を構築し、エンドツーエンド処理を可能にする。

実験結果

リサーチクエスチョン

• RQ1 多テープ交差を原子的演算としてではなく、より柔軟に実装可能であり、従来では不可能だった交差を可能にするか？
• RQ2 非本質的テープや循環的依存関係を含むトランスducer交差を、提案手法が処理できるか？
• RQ3 トランスductionカスケードからの中間結果をWMTAを用いて保持・再利用できるか？
• RQ4 基本的演算への交差のモジュラー分解が、実際の実装性と正しさを向上させるか？
• RQ5 2つのテープしか使わない状況でも、WMTAベースのカスケードは古典的トランスducerカスケードよりもより複雑なトランスダクション関係を表現できるか？

主な発見

• 提案手法は、2つの先行手法で失敗するトランスducer交差の例を正常にコンパイルでき、より広範な適用可能性を示した。
• 中間結果をWMTAの別々のテープにエンコードすることで、トランスductionカスケード内での中間結果の保持が可能となり、後続段階での再アクセスが可能になった。
• 後続段階が非連続な以前の結果（例：最初と最後の出力）に依存するトランスダクションカスケードをサポートするが、これは古典的カスケードでは表現できない。
• WFSCツールキットにおける実装により、クロス積や自己交差などの演算について、アルゴリズムの実現可能性と効率性が確認された。
• カスケードから構築された最終的なWMTAは、2つのテープに簡略化されても、完全な記述的表現力を保持しており、複雑な依存関係がコンパクトに符号化可能であることを示した。
• 半環重み付き操作の使用により、正しさが保証され、既存の重み付きオートマトン理論およびツールと互換性がある。