编译原理--文法和语言

一、逐渐对产生式施加限制                四种类型：0型，1型，2型，3型 0型：（短语结构文法）     G=(VT,VN,S,P)，对任一产生式α→β，都α∈(VN∪VT)+，       β∈(VN∪VT)*  1型（上下文有关） ：     对任一产生式α→β，都有|β|≥|α|， 仅仅 S→ε除外 （即产生一个更长的序列） 2型（上下文无关）：      对任一产生式α→β

>>阅读原文<<