约束文法的能力再探

顺序约束文法（SCG）（Karlsson, 1990）及其扩展一直缺乏与形式语言理论的清晰联系。本文旨在通过简化文法所处理字符串的定义，并通过证明非单调SCG是不可判定的以及存在类似于生成音系学的推导，为这些联系奠定基础。当前研究提出了资源边界，将SCG的生成能力限制到上下文有关语言的一个子集，并给出了针对文法整体的强有限状态条件。我们证明，如果文法由运行时间为 o(n log n) 的图灵机实现，则该文法等价于一个有限状态转换器。这一条件开启了受有限状态音系学启发的、对SCG实例进行更深入分析的新有限状态假设和途径。