迪克·奥尔 上下文相关节点的可接受性。 (英语) Zbl 0973.68105号 语法 3,编号2-3,275-293(2000). 摘要:麦考利引入了“节点可容许条件”的概念,作为研究生成和分析之间对偶性的一种方法,特别是对于无上下文文法。随后,Peters和Ritchie形式化了上下文敏感分析中上下文无关节点可容许性的“合理”推广,并证明了通过一组上下文相关节点可容许条件可分析的任何语言都是上下文无关语言。在本文中,我提出了一个更强的上下文敏感节点可容许性的概念,其中局部上下文依赖是公开表示的,并受全局一致性条件的约束,该条件是由上下文敏感文法的树重写系统边界中的元素之间的关系所驱动的。我证明了这个概念对于上下文敏感语法是足够的,因为一种语言相对于这个更强的概念是可分析的,当且仅当它是由上下文敏感语法生成的。 MSC公司: 2012年第68季度 语法和重写系统 关键词:节点容许条件;上下文敏感文法 PDF格式BibTeX公司 XML格式引用 \textit{D.Oehrle},《语法3》,第2--3号,275--293(2000;Zbl 0973.68105) 全文: 内政部