2.3文法和语言的形式定义p21 n规则或产生式 n文法的定义 n(直接)推导和（直接）归约 n句型和句子 n文法描述的语言 n文法的等价性 16 ☒
16 2.3 文法和语言的形式定义 p21 n 规则或产生式 n 文法的定义 n (直接)推导和 (直接)归约 n 句型和句子 n 文法描述的语言 n 文法的等价性
规则或产生式p21 n形式 ua→B或a::=B ua称为产生式的左部 uB称为产生式的右部 u读作“a定义为B” n举例 uA→+a这是关于A的一条规则 u《标识符〉→<字母〉 u〈字母〉→ab.z 国D
17 规则或产生式 p21 n 形式 u α→β或α::=β u α称为产生式的左部 u β称为产生式的右部 u 读作“α定义为β” n 举例 u A→a 这是关于A的一条规则 u <标识符> →<字母> u <字母> →a|b|.|z