文法生成的语言 设文法G=<VTS,P>,O,λ∈(UT)*, →:存在a→∈P和,∈(UUT*,使得 0=5a,= 称直接派生出入 =:存在O1,O2, gwm 使得 Q=01→02→∴→n=2 称派生出λ 恒有O→0(当m=1时) 乡是→的自反传递闭包11 文法生成的语言 设文法 G = <V,T,S,P>, ω, λ∈(V∪T) * , ω λ: 存在α→β∈P和ξ,η∈(V∪T)*, 使得 ω= ξαη, λ= ξβη 称ω直接派生出λ. ω λ: 存在ω1 , ω2 , … , ωm, 使得 ω= ω1  ω2  …  ωm= λ 称ω派生出λ. 恒有ω ω (当m=1时) 是  的自反传递闭包 * * *