结构上下文无关语言的代数性质：旧方法和新进展
摘要：结构化上下文无关(CF)语言的代数性质的历史研究线索最近引起了人们的极大兴趣，其中包括平衡语言、可见下推自动机语言(VPDA)、同步语言和高度确定性语言。这些语言家族在不同程度上保留了正则语言的基本代数性质：布尔闭包、反转闭包、串联闭包和Kleene星闭包。我们证明VPDA家族严格包含了历史上被称为预算符优先的Floyd语法(FG)家族。已知在相同的优先级矩阵上的语言在布尔运算下封闭，并且可以通过仅由终端符号确定的堆栈上的弹出或推送操作识别。我们将VPDA的特征定位为FG的子类，该子类具有一组特殊结构的优先关系，并且平衡语法是进一步受限的情况。FG的非计数不变性属性对VPDA也有直接的影响。
作者：Stefano Crespi Reghizzi and Dino Mandrioli
论文ID：0907.2130
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-14