[论文解读] A Chomsky-Sch\\"utzenberger representation for weighted multiple context-free languages

Tobias Denkinger|arXiv (Cornell University)|Jun 13, 2016

semigroups and automata theory参考文献 15被引用 4

一句话总结

本文在完全交换强双分体上建立了加权多重上下文无关语言（MCFLs）的乔姆斯基-许茨纳（CS）表示定理。通过同余关系对多重戴克语言进行代数刻画，并证明任意加权MCFL均可表示为正则语言与基于同余关系的多重戴克语言的交集在字母加权同态下的像，从而将先前仅限于可分配半环的结果推广至更广泛的结构。

ABSTRACT

We prove a Chomsky-Sch\\"utzenberger representation theorem for multiple context-free languages weighted over complete commutative strong bimonoids.

研究动机与目标

• 将乔姆斯基-许茨纳表示定理推广至完全交换强双分体上的加权多重上下文无关语言（MCFLs），突破可分配半环的限制。
• 通过同余关系提供多重戴克语言的代数化、基于同余的定义，支持通过决策算法实现高效的成员判定。
• 将权重代数与底层语法结构分离，实现加权CS表示的模块化构建。
• 通过加权同态建立加权MCFL与正则语言和基于同余的多重戴克语言交集之间的正式联系。
• 通过所推导的表示定理，为加权MCFL的解析算法奠定基础。

提出的方法

• 通过在词项代数上的同余关系定义多重戴克语言，实现对成员关系的结构性与可判定性刻画。
• 基于底层同余关系，提出一种用于判定同余多重戴克语言成员关系的决策算法。
• 通过将加权MCFL分解为无权重MCFL与加权同态，实现权重部分与语法结构的分离。
• 通过组合正则语言、基于同余的多重戴克语言与字母加权同态，构建加权CS表示。
• 采用Droste与Vogler（2013）的模块化方法，证明加权CS表示，且无需依赖可分配性。
• 证明加权同态复合保持语言结构，通过建立加权MCFG的推导树与正则语言和多重戴克语言交集中字符串之间的双射关系。

实验结果

研究问题

• RQ1 能否在不依赖可分配性的前提下，为完全交换强双分体上的加权多重上下文无关语言建立乔姆斯基-许茨纳表示？
• RQ2 如何通过同余关系对多重戴克语言进行代数定义，以支持高效的成员判定？
• RQ3 加权MCFL与正则语言和基于同余的多重戴克语言交集之间，在加权同态下的精确关系为何？
• RQ4 如何将加权MCFL中的权重代数与语法结构模块化分离，以实现对半环之外结构的推广？
• RQ5 所推导的表示定理能否用于构建加权MCFL的解析算法？

主要发现

• 本文证明，任意在完全交换强双分体上的加权MCFL，均可表示为正则语言与基于同余关系的多重戴克语言交集在字母加权同态下的像。
• 提供了基于底层同余关系的同余多重戴克语言成员判定决策算法，支持高效识别。
• 该表示定理无需依赖可分配性，将先前在完全交换半环上的结果推广至完全交换强双分体。
• 建立了加权MCFG的推导树与正则语言和其布尔版本的多重戴克语言交集中字符串之间的双射关系。
• 该构造通过先处理无权重情形，再通过同态复合将结果提升至加权情形，实现了模块化证明策略。
• 研究结果支持基于所推导表示定理设计加权MCFL的解析算法，其风格借鉴Hulden（2011）的工作。