4 提左因子

问题:自上而下分析中,对于某个前缀重合的式子,可以通过推迟决定的方式来减少回溯操作。

比如,给定文法

  • A→\alpha\beta_1|\alpha\beta_2|\gamma

如果输入的前缀是 \alpha 推导出的某个非空串,则在看完 \alpha 的部分之前,尚不知道下一步选择 1 还是 2,但是可以选择一个 \alpha A',相当于拓长了推导链,待到看完 \alpha 之后,就可以对 A' 做选择。

  • A→\alpha A'|\gamma
  • A'→\beta_1|\beta_2
本文阅读量