解释上下文无关文法，推导，最左推导，最右推导，句型，语言，文法等价，语法树，二义文法，LL（1）文法，归约，规范规约，句柄，短语，最左素短语，活前缀，项目

上下文无关文法是一种形式语言，由一组产生式规则组成，每个规则都表示一种语言结构的生成方式，其中非终结符表示语言结构，终结符表示语言中的实际单词。推导是指通过产生式规则将一个符号序列转换为另一个符号序列的过程。最左推导是指在推导过程中总是选择最左边的非终结符进行替换，最右推导则是选择最右边的非终结符进行替换。

句型是指由终结符和非终结符组成的符号序列，可以通过一系列的推导得到。语言是指一组句子的集合，可以通过上下文无关文法来描述。文法等价是指两个文法可以相互转换，生成相同的语言。

语法树是一种树形结构，用于表示一句话的语法结构，其中非终结符表示节点，终结符表示叶节点。二义文法是指存在多种解析方式的文法。LL(1)文法是指一种特殊的上下文无关文法，可以通过一次向前查看一个符号来进行预测分析。

归约是指将一个符号序列替换为另一个符号的过程，规范规约是指在归约过程中选择最右边的句柄进行替换。句柄是指在一个产生式规则的右侧出现的一个非终结符序列。短语是指由一个或多个词组成的句子部分，最左素短语是指在一次推导中最左边的短语。

活前缀是指在一个项目中，还未匹配的部分。项目是指一个产生式规则左部和右部之间的分界线，可以用来表示语法分析器的状态。