[論文レビュー] Tree Automata and Essential Input Variables

Slavcho Shtrakov|ArXiv.org|Feb 22, 2007

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

ひとこと要約

本稿では、木オートマトンにおけるr-必須（認識可能に必須な）入力変数の概念を導入し、ある入力が項とオートマトンに対してr-必須である場合、その入力が根に至る部分木の鎖において、各部分木でもr-必須のまま保たれることを証明している。主な貢献は、r-必須変数を用いた木オートマトンおよび木言語の洗練された最小化手順であり、特に最終状態が変数の割り当てに依存する非自明なオートマトンにおいて、従来の便宜的変数除去よりも強い削減が可能になる。

ABSTRACT

We introduce and study the essential inputs (variables) for terms (trees) and tree automata.

研究の動機と目的

• 木オートマトンにおけるr-必須（認識可能に必須な）入力変数の概念を定義・形式化し、古典的な必須変数理論をオートマトンに基づく認識へ拡張する。
• r-便宜的入力の特定により、言語認識に影響を及ぼさないまま安全に削除可能な変数を同定することで、木オートマトンに対するより強い削減メカニズムを確立する。
• r-必須変数を用いて、オートマトンおよび認識される木言語の両方を最小化することで、最適なオートマトン-言語ペアを構築する手順を提案する。
• 有限木言語を超える無限木言語に対しても最適なオートマトン-言語構築が可能かどうかという未解決問題に、r-必須性を活用して対処する。

提案手法

• オートマトンの挙動に基づくr-必須入力の定義：変数 $x_i$ が $(t, A)$ に対してr-必須であるとは、$x_i$ を除く変数の割り当てが同一であるが、$x_i$ の値が異なる2つの割り当てが、異なる最終状態の結果をもたらす場合を指す。
• 項間の $r$-同値関係 $\simeq_{rA}$ の導入：2つの項がすべての変数割り当てに対して同じ最終状態を出力するとき、それらは $rA$-同値であると定義する。
• r-便宜的入力に基づく削減手順の構築：オートマトンの受理に影響を及ぼさない変数の削除を可能にする。
• もし $x_i$ が $t$ および $A$ に対してr-必須であれば、$x_i$ から根に至る部分木の鎖が存在し、その各部分木においても $x_i$ はr-必須のまま保たれることを証明する。
• r-同値関係を用いて最小の木言語および最小のオートマトンを定義し、$rA$-同値性の下で言語の同値性を保証する。
• $L(A)$ が有限である場合に、$r$-便宜的入力削減と最小化アルゴリズムを組み合わせることで、最適なオートマトン-言語ペア $\langle A_{\text{min}}, L_{\text{min}} \rangle$ を計算する4段階の手順を提案する。

実験結果

リサーチクエスチョン

• RQ1 必須変数の概念を、構文的出現を超えて認識依存性を捉える形で木オートマトンへ拡張することは可能か？
• RQ2 ある変数を項から削除してもオートマトンの受理行動に影響を及ぼさないための条件は何か？
• RQ3 r-必須性の概念は、古典的な便宜的変数削減に対してどのように改善をもたらすか？
• RQ4 r-必須変数を用いて、木オートマトンおよびその認識される言語を体系的に最小化する手順は存在するか？
• RQ5 r-必須性を活用することで、無限木言語に対しても最適なオートマトン-言語ペアを構築することは可能か？

主な発見

• 入力 $x_i$ が項 $t$ およびオートマトン $A$ に対してr-必須であるとは、$x_i$ を除く変数の割り当てが同一であるが、$x_i$ の値が異なる2つの割り当てが、$A$ に対して異なる最終状態の結果をもたらす場合に限る。
• もし $x_i$ が $t$ および $A$ に対してr-必須であれば、$x_i$ から根に至る部分木の鎖が存在し、その各部分木においても $x_i$ はr-必須のまま保たれる。
• r-必須入力の集合は、古典的な必須入力の集合の部分集合である：$r\text{Ess}(t,A) \subset \text{Ess}(t,A)$ であり、r-必須性はより厳しい条件であることを示している。
• r-同値関係 $\simeq_{rA}$ は標準的な同値関係よりも強く、項およびオートマトンのより積極的な削減を可能にする。
• r-便宜的入力削減は、古典的なRFI規則よりも厳密に強い。例2では、$x_3$ は便宜的だがr-便宜的ではないが、実際には $x_3$ はr-便宜的であり、削除可能である。
• 有限木言語の場合、提案された手順により、$r$-便宜的削減とオートマトン最小化アルゴリズムを組み合わせることで、最適なオートマトン-言語ペア $\langle A_{\text{min}}, L_{\text{min}} \rangle$ が構築可能である。