西北工业大学编译原理课件第二章 前后文无关文法和语言2.pptVIP

2.3 句型的分析 句型的分析：构造一算法，用以判断所给的符号串是否为某文法的句型（句子） 常见分析方法有自顶向下分析和自底向上分析两类； 自顶向下 从开始符出发试图推导出给定的符号串； 自底向上 推导的逆过程（称归约）：从已给的符号串出发，试图将其归约为开始符。 2.3.1 规范推导和规范归约 对于一文法而言，从开始符到某句型的推导过程可能不唯一。例如，文法G[E]中从 E 到 i+i*i 的推导有： (1)E? E+T? E+T*F? T+T*F? T+T*i? F+T*i? ?i+T*i? i+F*i?i+i*i (2)E? E+T? T+T? F+T? i+T? i+T*F? i+F*F? ?i+i*F ? i+i*F? i+i*i (3)E? E+T? E+T*F? E+T*i? E+F*i? E+i*i ? ?T+i*i? F+i*i? i+i*i (4) … … 规范推导 为了让计算机自动地进行推导，通常我们只考虑最左或最右推导。 最左（右）推导：在推导序列的每一步直接推导中，被替换的总是当前句型中最左（右）的非终结符。 例如，上页中的（2）、（3）分别是最左、最右推导。 形式上，从符号串?到符号串?的推导序列 ? ?* xUy ? xuy ?* ? 总有 x?VT* (y?VT*) 时，称为最左（右）推导 定义：最左（右）推导所得句型称为左（