编译原理教案- LR分析(ppt 78页)

分析：已分析过的部分在栈中的前缀不同，而且移进和归约后栈中的状态会发生变化
我们引入一个新的状态栈来表示符号栈中的符号目前状态
用LR分析表来表示不同状态下对于各输入符号应采取的动作
问题：
对于一个文法，状态集是如何确定的？
LR分析表是如何得到的？
规范句型的这种前部分符号串称为可归前缀
我们把形成可归前缀之前包括可归前缀在内的所有规范句型的前缀都称为活前缀
LR分析需要构造识别活前缀的有穷自动机
我们可以文法的终结符和非终结符都看成有穷自动机的输入符号，每次把一个符号进栈看成已识别过了该符号，同时状态进行转换，当识别到可归前缀时，相当于在栈中形成句柄，认为达到了识别句柄的终态。
……………………
..............................