基于边的图文法产生式选择无关条件的判断

？为了降低归约算法的时间复杂度,在基于边的上下文相关图文法(egg)形式化的基础上,通过对产生式形式的适当约束,提出了egg的产生式选择无关条件的判断方法。通过此方法可有效判断egg产生式的选择无关性。对于选择无关的产生式,由于归约过程中产生式的使用顺序不会影响归约的结果,从而避免了回溯,能够有效地降低归约算法的时间复杂度。