一、文法和语言

定义-文法 可以被定义为一个四元组 $G=$

$V_n$: 非终结符号集

$V_t$ : 终结符号集

$P$ : 规则集合，其中规则为 $U::=x\ \ ,\ \ U\in V_n\ \ ,\ \ x\in V^*\ \ ,\ \ V=V_n\cup V_t$

$Z$ : 文法的识别符号 $Z\in V_n$

定义-直接推导