定义：称oAB直接推出oy,即 AB→0yB 仅当A→Y是一个产生式， 且o,B∈(VUVN)。 ■如果01→02→..→0n’ 则我们称这个序 列是从到a的一个推导。若存在一个从 o1到on的推导，则称可以推导出on。 ■例：对文法(1) E→(E)→(E+E)=→(+E)=→(+i) 国防科技大学计算机系602教研室国防科技大学计算机系602教研室 ◼ 定义：称A直接推出，即 A 仅当A → 是一个产生式， 且，  (VT  VN) * 。 ◼ 如果1  2   n，则我们称这个序 列是从1到n的一个推导。若存在一个从 1到n的推导，则称1可以推导出n 。 ◼ 例：对文法(1) E  (E)  (E+E) (i+E) (i+i)