复习：程序语言的语法描述 ■形式语言鸟瞰 ◆2型（上下文无关文法，非确定下推自动机）： 产生式形如：A→阝 其中：A∈VN;B∈VTUVN). ◆3型（正规文法，有限自动机）： 产生式形如：A→B或A→o 其中：∈Vr;A,B∈VN 产生式形如：A→B0或Ao 其中：o∈VT；A,B∈VN 国防科技大学计算机系602教研室 国防科技大学计算机系602教研室 复习：程序语言的语法描述 ◼ 形式语言鸟瞰  2型(上下文无关文法，非确定下推自动机)： 产生式形如： A →  其中：A VN； (VT  VN) * 。  3型(正规文法，有限自动机)： 产生式形如：A → B 或 A →  其中：  VT * ；A，BVN 产生式形如：A → B 或 A →  其中：  VT * ；A，BVN