标签: parsing lr
我正在学习LR(1)从 THE DRAGON BOOK 解析。我对这句话感到很困惑。
正式我们说配置 [A - > u•v,a] 对于可行的前缀α有效 最右边的推导 S => *βAw=> *βuvw其中α=βu并且 a 是第一个 的瓦特或瓦特的符号是的∂和一个是 $ 即可。
我无法弄清楚可行前缀的配置验证如何 useful 。 它的含义是什么? intutively 以及为什么 matters ???
useful
intutively
matters
请帮忙......