2.3文法和语言的形式定义p21 口规则或产生式 加文法的定义 口（直接）推导和（直接）归约 加句型和句子 口文法描述的语言 口▣文法的等价性 ☑) 6
16 2.3 文法和语言的形式定义 p21 规则或产生式 文法的定义 (直接)推导和 (直接)归约 句型和句子 文法描述的语言 文法的等价性
规则或产生式p21 o形式 0a→B或a::=B ▣a称为产生式的左部 口B称为产生式的右部 口读作“a定义为B” 口举例 oA→a这是关于A的 一条规则 〈标识符〉→〈字母〉 字母〉→ab.z 迎 17 2
17 规则或产生式 p21 形式 α→β或α::=β α称为产生式的左部 β称为产生式的右部 读作“α定义为β” 举例 A→a 这是关于A的一条规则 <标识符> →<字母> <字母> →a|b|.|z