青岛理工大学计算机工程学院编译原理课件 第2章(1).pptVIP

* 设A={a,;},则A≡⊙∷=∞∝!≠＝##12◆,.┍┎ 2.3.3 语言的形式定义 例如 设有文法G[E]=({E,T,F},{i,+,*,(,)},P,E) 对 i+i*i 有如下直接推导序列: 我们可记为 其中P为：E→E+T | T T→T*F | F F→(E) | i E ?E+T ?T+T ?F+T ?i+T ?i+T*F ?i+F*F ?i+i*F ?i+i*i E?i+i*i + 2.3.3 语言的形式定义 3．广义推导 我们有： ?0??n表示从?0出发，经0步或若干步， 可推导出?n。 * 也就是说?0??n意味着?0??n或者?0=?n。 * + E?E * E?i+i*i * 对上例 E→E+T | T T→T*F | F F→(E) | i 2.3.3 语言的形式定义 区别：直接推导的长度为1，推导的长度大于等于1，而广义推导的长度大于等于0。 句型和句子 4. 句型和句子 设有文法G[S]（S是文法G的开始符号） 如果S? x, x ∈(VN∪VT)* 则称符号串x 为文法G[S]的句型。 * 如果S? x, x ∈VT* 则称符号串x为文法 G[S]的句子。 * 2.3.3 语言的形式定义 例1