“配置对可行前缀有效”是什么意思?

时间:2013-11-03 14:02:52

标签: parsing lr

我正在学习LR(1)从 THE DRAGON BOOK 解析。我对这句话感到很困惑。

正式我们说配置 [A - > u•v,a] 对于可行的前缀α有效 最右边的推导 S => *βAw=> *βuvw其中α=βu并且 a 是第一个 的瓦特瓦特的符号是的一个 $ 即可。

我无法弄清楚可行前缀的配置验证如何 useful 。 它的含义是什么? intutively 以及为什么 matters ???

请帮忙......

0 个答案:

没有答案