通过计算最大路径定义的森林语言
摘要：叶路径语言是一系列形式为$mathsf{{}^mE}^k L$的集合的布尔组合，其中$k \ge 1$，$L$是一个正则单词语言，它由那些至少有$k$个从叶子节点到根节点的路径中的节点标签组成一个属于$L$的单词的森林组成。我们研究了被叶路径语言的句法代数的迭代缠结积所识别的语言类$mathsf{*D}$。我们证明了存在一种算法，对于给定的正则森林语言，它可以在有限时间内返回一系列这样的代数；如果且仅如果这个语言属于$mathsf{*D}$，它们的缠结积被语言的句法代数除以，则属于这个类是一个可决定的问题。这个结果也适用于$mathsf{PDL}$和$mathsf{CTL^*}$的子类。
作者：Martin Beaudry
论文ID：2105.09970
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-06-15