7.1 具象语法树生成器

具象语法树（CST），有时被称为语法分析树（parse tree），是一种有序的有根树结构，其表示在上下文无关文法中的代码。

**分词器（tokenizer）和解析器（parser）**创建出 CST。你已经在“Python 语言和语法”章节中探索了解析器生成器。解析器生成器的输出是一张有限自动机（DFA）解析表，描述了上下文无关文法中的可能状态。

参见

Python 的原作者 Guido van Rossum 开发了一种上下文有关文法，用于 CPython 3.9 中，作为 LL(1)文法的替代方案，LL(1) 文法是 CPython 以前版本的文法。新文法被称为解析表达式文法（PEG）。

PEG 解析器在 Python 3.9 中可用。Python 3.10 将完全删除旧的 LL(1) 文法。

在“Python 语言和语法”章节中，你已经探索了一些表达式类型，如：if_stmt 和 with_stmt 。具象语法树将语法符号（如：if_stmt）作为分支，而单词和终结符号作为叶子节点。

比如：将算术表达式 “a + 1” 转换成具象语法树，如下图所示：

算术运算符在这里用三个分支来表示：左分支、操作符分支和右分支。

解析器迭代来自输入流的单词符号，并与语法中的可能状态和单词符号匹配，以构建 CST。

在上面具象语法树中展示的所有符号都已经被定义在 Grammar/Grammar 文件中：

而单词符号（token）被定义在 Grammar/Tokens 文件中：

Name 单词符号可以表示变量、函数、类或者是模块的名称。但 Python 的语法不支持 NAME 成为保留关键字之一，如：await 和 async 亦或者是数值及其他文字类型。

比如：你尝试定义一个为 1 的函数，Python 会抛出一个语法错误：

NUMBER 是一种特殊的单词符号类型，可以表示 Python 许多数值之一。Python 有一个特殊的数值语法，包含以下可能的数值：

• 八进制值，如：0o20；

• 十六进制值，如：0x10；

• 二进制值，如：0b10000；

• 复数，如：10j；

• 浮点数，如：1.01；

• 下划线作为逗号，如：1_000_000。

你可以通过 Python 中的 symbol 和 token 模块看到编译的符号和单词。