4.第二章高级语言及其文法3.ppt

2.4.1文法与语言的分类 3型文法（或称正规文法、正则文法） 文法举例 {x|x是长度为偶数的0、1串} ——RL S→00S|01S|10S|11S|ε {0 m 1 n |m,n≥ 1} ——RL S→0S|0A A→1A|1 {0 n 1 n |n≥ 1} ——CFL S→0S1|01 例2-7：{w|w为十进制数} R →N|N.D N →1|2|3|4|5|6|7|8|9 N →N0|N1|N2|N3|N4|N5|N6|N7|N8|N9 D → 1|2|3|4|5|6|7|8|9 D →0D|1D|2D|3D|4D|5D|6D|7D|8D|9D R →0|0.D|N.0|0.0 无用产生式与无用符号 E → T | E + T | E - T T → F | T * F | T / F F → ( E ) | id E → E | H + T T → FH | TQ+PF | EQF M → ( E ) | id 单一产生式、派生不出终极符号行(H、Q、P)、从开始符号无法派生出来(M) 文法构造小结 明确描述对象──语言 合法的语言结构 确定基本符号集VT 引入非终结符 各种句子结构 定义句子的组成规则 BNF范式或产生式 值得注意的问题 文法描述 描述句子的组成规则，不涉及语义 文法正确不能保证语义正确（例） 明确目标 要描述语言的结构 确认基本符号集 合理引入非终结符（语义明确） 本章小结： 几个基本概念 文法是语言的一种有穷描述，它严格、准确、简洁。 文法的形式定义 句型、句子、语言 文法的分类 ＣＦＧ的语法树 第2章 高级语言及其文法（3） 本章主要内容 2.1 语言概述 2.2 基本定义(语言、句子、形式化方法、串、字母表、串的连接与幂、产生式) 2.3 文法(Grammar)的定义 2.4 CFG的语法(分析)树(Parse Tree) 2.5 文法的分类 2.6 文法的构造 2.４ 文法的分类(Chomsky体系) 语言结构的复杂程度（形式语言） 涉及文法的复杂程度、分析方法的选择 如果G满足文法定义的要求，则Ｇ是０型文法（短语结构文法PSG: Phrase Structure Grammar ）。 L(G)为PSL。 0型文法（或称短语文法） 特点：产生式行如α→β， α∈ (VN∪VT)*且至少包含一个非终结符，而 0型文法又称为无限制文法，有时也称为短语文法（phase structure grammar, PSG）。 0型文法对应的语言称为0型语言或称递归可枚举集，它们的识别系统为图灵机（Turing机）。 1型文法（或称上下文有关文法） 特点：限制P中的每个产生式α→β都要满足|α|≤|β| 。 1型文法相对应的语言称为1型语言或上下文有关语言，它的识别系统是线性界限自动机。 1型文法的另一种定义方法是文法G(S)的每一个产生式具有下列形式： 另一定义： 2型文法（或称上下文无关文法） 特点：每个产生式的形式限制为A →β，其中A为单个非终结符， 2型文法相对应的语言称为2型语言或上下文无关语言，它的识别系统为下推自动机(PDA)。 特点：文法中每个产生式的形式为 A→aB或 A→a，其中A、B∈VN， A、B、a都是单 个符号。 3型文法对应的语言称为3型语言或正规语言（正则语言，或正则集）。 例2-3 标识符的文法2 S →L|LT T → L|N|TL|TN L → a|b|c|d N → 0|1|2|3|4|5 S → a|b|c|d S → aT|bT|cT|dT T → a|b|c|d|0|1|2|3|4|5 T → aT|bT|cT|dT|0T T →1T|2T|3T|4T|5T 例2-4 标识符的文法3 S → a|b|c|d S → aT|bT|cT|dT T → a|b|c|d T → 0|1|2|3|4|5 T → aT|bT|cT|dT|0T T → 1T|2T|3T|4T|5T S → a|b|c|d S → Ha|Hb|Hc|Hd|H0 S → H1|H2|H3|H4|H5 H → Ha|Hb|Hc|Hd|H0 H → H1|H2|H3|H4|H5 H → a|b|c|d A→aB或A→a A→Ba或A→a 正规文法(RG) 设A、B∈VN，a∈VT∪{ ? } 右线性(Right Linear)文法：A→aB或A→a 左线性(Left Linear)文法：A→Ba或A→a 都是３型文法(正规文法 Regular Grammar -RG) L(G)为3型/正规集/正则集/正则语言（RL） 例：程序设计语言