[论文解读] Tree Automata and Essential Input Variables

Slavcho Shtrakov|ArXiv.org|Feb 22, 2007

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

一句话总结

本文引入了树自动机中 r-essential（可识别地必要）输入变量的概念，证明若某一输入变量对某个项和自动机而言是 r-essential 的，则存在一条从该输入到根的子树链，使得在每个子树中该输入变量仍保持 r-essential。主要贡献在于提出了一种基于 r-essential 变量的树自动机与树语言的优化最小化方法，相较于传统虚构变量移除方法，能实现更强的压缩效果，尤其在最终状态依赖于变量赋值的非平凡自动机中表现更优。

ABSTRACT

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

研究动机与目标

• 定义并形式化树自动机中 r-essential（可识别地必要）输入变量的概念，将经典必要变量理论扩展至基于自动机的识别机制。
• 通过识别可安全移除而不影响语言识别的 r-虚构输入，建立树自动机的更强压缩机制。
• 提出一种构造最优自动机-语言对的程序，通过结合 r-essential 变量对自动机和所识别的树语言进行最小化。
• 通过 r-essential 性质解决有限树语言之外最优自动机-语言构造的开放问题。

提出的方法

• 通过自动机行为定义 r-essential 输入：若存在仅在 $x_i$ 上不同的两个赋值，使得其在自动机 $A$ 下导致不同的最终状态结果，则输入 $x_i$ 对 $(t, A)$ 是 r-essential 的。
• 引入项之间的 $r$-等价关系 $\simeq_{rA}$：若两个项对所有变量赋值均产生相同的最终状态，则称其为 $rA$-等价。
• 基于 $r$-虚构输入构建压缩过程，允许移除不影响自动机接受行为的变量。
• 证明若 $x_i$ 对 $t$ 和 $A$ 是 r-essential 的，则存在一条从 $x_i$ 到根的子树链，使得在每个子树中 $x_i$ 仍保持 r-essential。
• 利用 $r$-等价关系定义最小树语言与最小自动机，确保在 $rA$-等价下保持语言等价。
• 提出一个四步程序，用于在 $L(A)$ 为有限时计算最优自动机-语言对 $\langle A_{\text{min}}, L_{\text{min}} \rangle$，结合 $r$-虚构输入压缩与最小化算法。

实验结果

研究问题

• RQ1 能否将必要变量的概念扩展至树自动机，以捕捉识别依赖性关系，而不仅限于语法出现？
• RQ2 在不改变自动机接受行为的前提下，何种条件可确保从项中移除某一变量？
• RQ3 r-essential 性质相较于经典虚构变量压缩在树自动机中如何改进？
• RQ4 是否存在一种系统性程序，可利用 r-essential 变量对树自动机及其识别语言进行最小化？
• RQ5 能否利用 r-essential 性质为无限树语言构造最优自动机-语言对？

主要发现

• 当且仅当存在仅在 $x_i$ 上不同的两个赋值，使得其在自动机 $A$ 下导致不同的最终状态结果时，输入 $x_i$ 对项 $t$ 和自动机 $A$ 是 r-essential 的。
• 若 $x_i$ 对 $t$ 和 $A$ 是 r-essential 的，则存在一条从 $x_i$ 到根的子树链，使得在每个子树中 $x_i$ 仍保持 r-essential。
• r-essential 输入集合是经典必要输入集合的子集：$r\text{Ess}(t,A) \subset \text{Ess}(t,A)$，表明 r-essential 是更严格的条件。
• $r$-等价关系 $\simeq_{rA}$ 强于标准等价关系，可实现对项与自动机更激进的压缩。
• $r$-虚构输入压缩严格强于经典 RFI 规则，如示例 2 所示：$x_3$ 是虚构的但非 r-虚构的，然而 $x_3$ 实际上是 r-虚构的，可被安全移除。
• 对于有限树语言，所提出的程序通过结合 $r$-虚构压缩与自动机最小化，可构造出最优自动机-语言对 $\langle A_{\text{min}}, L_{\text{min}} \rangle$。