最大化单向系统的约束

已报告一种左角解析算法带有自上而下的过滤器，显示出对单向系统非常高效的性能。然而，由于左递归语法的解析可能无限期终止，必须削弱自上而下的约束。在本文中，提出了一种最大化自上而下约束的通用方法。该方法提供了一个程序，用于动态计算*restrictor*，即每个传播路径用于无限循环所涉及的最小特征集合；因此，最大化传播自上而下的约束。