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