运算符优先级ω-语言
摘要：运行中的应用程序越来越重要，目前ω语言已成为关键。最近的文献，主要是为了扩大模型检查技术的应用，将这些语言的分析从简单的正则语言扩展到具有可见语法结构的各种语言类别，如可见下推语言(VPLs)。而操作符优先语言(OPL)最初是为了支持确定性解析而定义的，尽管看似无关，但它们与这些语言类别之间存在有趣的联系：OPL严格包括VPL，具备所有相关的闭包属性，并且已经通过合适的自动机组和逻辑符号进行了特征化。在本文中，我们介绍了操作符优先的ω语言(omega OPLs)，研究了各种接受标准及其闭包属性。虽然一些属性是对正则语言成立性的自然扩展，其他属性则需要新的调查技术。应用示例显示了omega OPL相对于较小类别的更强表达性和可验证性的优势。
作者：Federica Panella, Matteo Pradella, Dino Mandrioli and Violetta Lonati
论文ID：1301.2476
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-07-03