yacc语法树系列（一）

yacc语法树系列（一）

yacc语法树是一种用于表示计算机程序语法结构的树形数据结构，它可以用来生成编译器和解释器。yacc语法树由一个根节点和一组子节点组成，根节点表示程序的起始符号，子节点表示程序的组成部分。

yacc语法树的基础知识

词法分析器

词法分析器是yacc语法树的第一部分，它负责将输入的源代码分解成一系列的词素（token）。词素是程序中最小的有意义的单位，例如标识符、和标点符号。词法分析器将源代码中的字符逐个扫描，并根据词法规则将它们组合成词素。

语法分析器

语法分析器是yacc语法树的第二部分，它负责分析词法分析器生成的词素流，并根据语法规则将它们组合成语法树。语法树是一种树形数据结构，它可以用来表示程序的语法结构。语法分析器通过递归的方式将词素流解析成语法树。

Yacc语法

Yacc语法是一种用于上下文无关文法的形式语言。Yacc语法由一系列产生式组成，每个产生式由一个左部和一个右部组成。左部是一个非终结符，右部是一个终结符或非终结符的序列。Yacc语法可以用来各种各样的编程语言的语法。

语法分析

语法分析是yacc语法树的第三部分，它负责将语法树转换为中间代码或目标代码。中间代码是一种介于源代码和目标代码之间的代码，它通常由编译器生成。目标代码是一种可以直接由计算机执行的代码，它通常由汇编器生成。

语法树

语法树是一种树形数据结构，它可以用来表示程序的语法结构。语法树的根节点表示程序的起始符号，子节点表示程序的组成部分。语法树可以用来生成编译器和解释器。

词法分析

词法分析是yacc语法树的第一部分，它负责将输入的源代码分解成一系列的词素（token）。词素是程序中最小的有意义的单位，例如标识符、关键字和标点符号。词法分析器将源代码中的字符逐个扫描，并根据词法规则将它们组合成词素。

BNF

BNF（Backus-Naur Form）是一种用于描述上下文无关文法的形式语言。BNF语法由一系列产生式组成，每个产生式由一个左部和一个右部组成。左部是一个非终结符，右部是一个终结符或非终结符的序列。BNF语法可以用来描述各种各样的编程语言的语法。

非终结符

非终结符是yacc语法中的一个术语，它表示一个可以被其他符号替换的符号。非终结符通常用大写字母表示。例如，在算术表达式的语法中，表达式是一个非终结符，它可以被数字、变量或表达式括起来的表达式替换。

LL(1)语法

LL(1)语法是一种上下文无关文法，它具有以下两个特性：

• 对于任何一个非终结符，它的所有产生式都可以被唯一地确定。
• 对于任何一个非终结符，它的所有产生式都不存在左递归。

LL(1)语法可以用来生成编译器和解释器。

总结

yacc语法树是一种用于表示计算机程序语法结构的树形数据结构，它可以用来生成编译器和解释器。yacc语法树由一个根节点和一组子节点组成，根节点表示程序的起始符号，子节点表示程序的组成部分。yacc语法树的基础知识包括词法分析器、语法分析器、Yacc语法、语法分析、语法树、词法分析、BNF、非终结符和LL(1)语法。