16、逻辑程序调度与语法分析树浏览策略

逻辑程序调度与语法分析树浏览策略

1 逻辑程序调度策略

在逻辑程序处理中，存在不同的答案传播调度策略。传统的调度方式是在找到所有答案后才进行传播，而批量调度则是在找到答案后立即传播。批量调度在需要急切传播答案和/或不需要找到完整答案集的表逻辑程序中是一种有用的策略。

1.1 PAC策略介绍

PAC策略是一种将FS设计与批量调度相结合的简单而新颖的方法。它将答案表示与答案传播分离，允许答案表示在多个线程之间公开共享，而答案传播则对每个线程是私有的。

1.2 PAC策略实验结果

在最坏情况下的实验结果表明，平均而言，PAC策略似乎对性能没有太大影响，但在控制传播答案所需的额外结构方面仍有改进空间。

2 上下文无关文法的歧义性与解析

2.1 上下文无关文法的重要性

如今，上下文无关文法是指定自然语言和人工语言语法的关键工具。语言工程师可以使用它们描述语言的结构概念，并通过标准的语法分析算法检查语法的所需属性。

2.2 文法的歧义性问题

然而，由于上下文无关文法的强大表达能力，许多有趣的属性变得不可判定，其中之一就是歧义性，即文法是否能够为一个句子赋予多个替代结构（即解析树）。

2.3 处理歧义性的方法

在建模人工语言时，通常需要避免歧义性。可以通过检测和修复歧义源来解决这个问题，歧义源可能是由于形式化漏洞或语言本身的概念问题导致的。一种避免歧义的方法是将允许的文法类限制为可以确保无歧义的类，如LL或LR文法，但这些类的成员测试对歧义源的信息提供较少。

2.4 解析