复习：程序语言的语法描述 ■形式语言鸟瞰 ◆0型（短语文法，图灵机）： 产生式形如：Q→B 其中：∈(VUVW且至少含有一个非终结符；B∈ VOVN) ◆1型（上下文有关文法，线性界限自动机）： 产生式形如：→阝 其中：I侧≤βl,仅S→ε例外。 国防科技大学计算机系602教研室国防科技大学计算机系602教研室 复习：程序语言的语法描述 ◼ 形式语言鸟瞰  0型(短语文法，图灵机)： 产生式形如：  →  其中： (VT  VN) *且至少含有一个非终结符； (VT  VN) *  1型(上下文有关文法，线性界限自动机)： 产生式形如：  →  其中：||  ||，仅 S→ 例外