证明LR分析过程正确性的一个重要引理:由构造LR(0)项目集规范族得到的DFA,它可以也只能读进所分析文法的活前缀。需要证明两个方面:命题1所有活前缀一定都可由DFA读进,即不会错过合法的归约。命题2 DFA只能读活前缀。

时间:2023-09-21 16:35:07

相似题目