LOGCFL的描述性复杂性方法
摘要：LOGCFL的一阶通用量词描述已知，我们为深入研究打下了基础。具体来说，我们研究了由于组合量词的arity和嵌套而产生的LOGCFL子类。我们的工作扩展了将monoidal量词与NC1及其子类相关联的复杂理论。在没有BIT谓词的情况下，我们解决了主要问题：特别地，我们证明了没有单个最外层的一元组合量词可以用FO捕捉所有的上下文无关语言，并且我们得到了一个令人惊讶的结果，即Greibach的“最难的上下文无关语言”的一种变体在没有量词的BIT-free投影下是LOGCFL完全的。然后我们证明了具有一元组合量词的FO在有BIT谓词时比没有更加表达能力。考虑到特定的组合量词，我们证明了具有大多数对的一阶逻辑比具有大多数个体的一阶逻辑更加表达能力。作为一个独立感兴趣的技术工具，我们定义了非周期非确定有限自动机的概念，并证明了FO翻译正是由单值非周期非确定有限传感器计算的映射。
作者：Clemens Lautemann and Pierre McKenzie and Thomas Schwentick and Heribert Vollmer
论文ID：cs/9809114
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23