[论文解读] Dyck-based characterizations of Indexed Languages

Séverine Fratani, El Makki Voundy|arXiv (Cornell University)|Sep 22, 2014

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

一句话总结

本文将上下文无关语言的关键特征——有理转换、Chomsky-Schützenberger 表示以及逻辑可定义性——推广至索引语言。通过将 Nivat 的转换框架、Chomsky-Schützenberger 定理以及 Lautemann 等人的逻辑方法扩展至索引语言，作者建立了一个基于 Dyck 语言的基础结构，通过在 Dyck 字符串上的下推自动机捕捉索引语言的结构，从而实现统一的代数与逻辑表征。

ABSTRACT

Indexed languages are a generalization of context-free languages and form a proper subset of context-sensitive languages. We propose to generalize to indexed languages several well known characterizations of context-free languages: namely, the characterization by rational transductions defined by Nivat, the Chomsky-Schützenberger theorem, and the logical characterization proved by Lautemann et al.

研究动机与目标

• 将上下文无关语言的著名表征——有理转换、Chomsky-Schützenberger 定理与逻辑可定义性——推广至索引语言。
• 通过以 Dyck 语言作为结构骨干，建立索引语言的统一框架。
• 通过 Dyck 字符串变换，将 Nivat 的有理转换表征推广至索引语言。
• 证明索引语言可表示为 Dyck 语言在有理转换下的逆像。
• 提供一种类似于 Lautemann 等人对上下文无关语言结果的索引语言逻辑表征。

提出的方法

• 通过在 Dyck 字符串上定义转换，将 Nivat 的有理转换框架适配至索引语言。
• 通过在 Dyck 字符串上的下推自动机，构建基于 Dyck 语言的索引语言表示。
• 通过将索引语言表示为有理转换下 Dyck 语言的逆像，应用 Chomsky-Schützenberger 定理。
• 引入一种基于带嵌套结构的单词上的单元二阶逻辑的形式化语言，以捕捉索引语言。
• 利用有理转换的代数封闭性质，确保在变换下索引语言结构得以保持。
• 建立基于 Dyck 的表示与索引语言标准生成定义之间的等价性。

实验结果

研究问题

• RQ1 能否将用于上下文无关语言的有理转换扩展至表征索引语言？
• RQ2 是否存在类似于上下文无关语言 Chomsky-Schützenberger 定理的基于 Dyck 的代数表示，用于索引语言？
• RQ3 能否使用带嵌套依赖关系的结构化单词上的单射二阶逻辑来逻辑定义索引语言？
• RQ4 Dyck 语言的结构性质如何促成上下文无关语言表征向索引语言的推广？
• RQ5 有理转换、Dyck 语言与索引语法的生成能力之间存在何种关系？

主要发现

• 索引语言可表征为 Dyck 语言在有理转换下的逆像，推广了 Nivat 对上下文无关语言的结果。
• 为索引语言建立了基于 Dyck 的 Chomsky-Schützenberger 表示，表明其作为有理转换下 Dyck 语言的同态原像而产生。
• 通过在带嵌套括号结构的单词上使用单射二阶逻辑，扩展了索引语言的逻辑表征，与 Lautemann 等人对上下文无关语言的结果相呼应。
• 该框架通过 Dyck 字符串语义，统一了索引语言的代数、自动机理论与逻辑表征。
• 研究结果表明，Dyck 语言的结构性质为将上下文无关语言理论推广至索引语言提供了自然基础。
• 所提出的表征被证明在有理转换下封闭，从而保持了索引语言的代数结构。