直接推出与推导 定义: ①直接推出: 已知串aAβ,当A→y是一个产生式,且α、β∈(VrUV)*。 称aB直接推出aβ,即aAB→ayB ②推导: 如果a→Q2→.→αn,则称这个序列是从ax1至n的 个推导。 推导的每一步实际上是对串中的 个非终结符选择一个以其为左部的 生式的某个候选式进行替换
直接推出与推导 定义： ①直接推出： 已知串A, 当A→是一个产生式，且、 ∈（VT∪VN）* 。 称A直接推出，即A ②推导： 如果1 2 ... n，则称这个序列是从1至n的 一个推导。 推导的每一步实际上是对串中的一 个非终结符选择一个以其为左部的 产生式的某个候选式进行替换
推导 ax1→αn表示:从a1出发,经一步或若干步,可推导出 α1→αn表示:从a1出发,经0步或若干步,可推导出an
推导 + 1n表示：从1出发，经一步或若干步，可推导出 n。 * 1n表示：从1出发，经0步或若干步，可推导出n