推导(Derivations)和规约(Reductions)
给定文法 G = { V T , V N , P , S } G=\{V_T,V_N,P,S\} G={ VT,VN,P,S},如果 α → β ∈ P \alpha \rightarrow{\beta} \in P α→β∈P,那么可以将符号串 γ α δ \gamma \alpha \delta γαδ中的 α \alpha α替换成 β \beta β,也就是说,将 γ α δ \gamma \alpha \delta γαδ重写 为 γ β δ \gamma \beta \delta γβδ,记作 γ α δ ⇒ γ β δ \gamma \alpha \delta \Rightarrow {\gamma \beta \delta} γαδ⇒γβδ。此时,称文法中的符号串 γ α δ \gamma \alpha \delta γαδ直接推导出 γ β δ \gamma \beta \delta