、长度为n(n≥1)的推导
和长度为n(n≥0)的推导
定义4.2如α→β是文法G=(Vn，VT，P，S)的规则(或说是P中的一产生式)，γ和δ是V*中的任意符号，若有符号串v，w满足：
v=γαδ，w=γβδ
则说v(应用规则α→β)直接产生w，或者说，w是v的直接推导，也可以说，w直接归约到v，记作v
w| 为定义文法所产生的语言，我们还需要引入推导的概念，即定义V*中的符号之间的关系：直接推导、长度为n(n≥1)的推导和长度为n(n≥0)的推导
定义4.2 如α→β是文法G=(Vn，VT，P，S)的规则(或说是P中的一产生式)，γ和δ是V*中的任意符号，若有符号串v，w满足： v=γαδ，w=γβδ 则说v(应用规则α→β)直接产生w，或者说，w是v的直接推导，也可以说，w直接归约到v，记作v w |