[論文レビュー] Parallel Replacement in Finite State Calculus

André Kempe, Lauri Karttunen|ArXiv.org|Jul 5, 1996

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

ひとこと要約

本稿では、有限状態記法に並列置換を導入し、同一入力に対して複数の干渉のない置換を同時に実行可能にする。従来の二段階規則を越える複雑な内部変化をモデル化するための表現力を高めるために、文脈制約付きの並列置換演算子を正規表現記法に拡張する。

ABSTRACT

This paper extends the calculus of regular expressions with new types of replacement expressions that enhance the expressiveness of the simple replace operator defined in Karttunen (1995). Parallel replacement allows multiple replacements to apply simultaneously to the same input without interfering with each other. We also allow a replacement to be constrained by any number of alternative contexts. With these enhancements, the general replacement expressions are more versatile than two-level rules for the description of complex morphological alternations.

研究の動機と目的

• 形態解析のためのより表現力のある置換メカニズムを正規表現記法に拡張すること。
• 複雑で重複する形態的交替を扱う際の逐次置換の限界を解消すること。
• 干渉を伴わずに複数の置換を同時に適用可能にすることで、モデル化の正確性を向上させること。
• 置換に文脈制約を導入し、周囲の構造に基づいた条件付き適用を可能にすること。
• 二段階規則を上回る表現力を有する形式的枠組みを提供すること。

提案手法

• 逐次的ではなく並列に作用する新しい置換式のクラスを導入する。
• すべての置換を入力に対して同時に適用する非干渉的演算として並列置換を定義する。
• 文脈制約を組み込み、置換が周囲のパターンに基づいて条件付きで適用可能になるようにする。
• 置換と文脈指定の両方をサポートする演算子を有限状態記法に拡張する。
• 形式言語理論を用いて、新しい演算子の正しさと閉包性を保証する。
• 複雑な形態的規則を表現するための宣言的で正規表現ベースの形式的記法を採用する。

実験結果

リサーチクエスチョン

• RQ1 同じ入力に対して並列に適用される置換操作は、どのように干渉を避けることができるか？
• RQ2 文脈制約付きの並列置換をサポートするためには、有限状態記法にどのような形式的拡張が必要か？
• RQ3 拡張された記法は、二段階規則よりも形態的交替をより効果的に表現できるか？
• RQ4 提案された並列置換演算子の閉包性および計算的性質は何か？
• RQ5 文脈制約の導入により、置換ベースの形態的規則の表現力はどのように向上するか？

主な発見

• 提案された並列置換機構は、同時に適用される複数の置換の干渉を効果的に回避している。
• 文脈制約付きの置換により、置換の適用タイミングと場所を正確に制御できる。
• 拡張された記法は、二段階規則を上回る表現力を示し、複雑な形態的現象のモデル化に優れている。
• 形式的枠組みは新しい演算子に対して閉包性を保ち、合成的解析を可能にしている。
• 本手法により、複雑な形音響的交替をコンactかつ宣言的に表現できるようになった。
• 本手法は、COLING-96で発表された計算言語学における形態的規則への応用を通じて検証された。