解析树和AST有什么区别？

它们是在编译过程的不同阶段生成的吗？还是它们只是同一事物的不同名称？

这基于Terrence Parr 的Expression Evaluator语法。

此示例的语法：

grammar Expr002;

options 
{
    output=AST;
    ASTLabelType=CommonTree; // type of $stat.tree ref etc...
}

prog    :   ( stat )+ ;

stat    :   expr NEWLINE        -> expr
        |   ID '=' expr NEWLINE -> ^('=' ID expr)
        |   NEWLINE             ->
        ;

expr    :   multExpr (( '+'^ | '-'^ ) multExpr)*
        ; 

multExpr
        :   atom ('*'^ atom)*
        ; 

atom    :   INT 
        |   ID
        |   '('! expr ')'!
        ;

ID      : ('a'..'z' | 'A'..'Z' )+ ;
INT     : '0'..'9'+ ;
NEWLINE : '\r'? '\n' ;
WS      : ( ' ' | '\t' )+ { skip(); } ;

输入项

x=1
y=2
3*(x+y)

解析树

解析树是输入的具体表示。解析树保留输入的所有信息。空框代表空格，即行尾。

AST

AST是输入的抽象表示。请注意，因为关联可从树结构派生，所以AST中不存在括号。

有关详细的解释，请参见编译器和编译器生成器 pg。第23页
或摘要语法树。编程语言的语法和语义中的 21

据我了解，AST更加侧重于源代码组件之间的抽象关系，而解析树则侧重于该语言所使用的语法的实际实现，包括挑剔的细节。它们肯定是不一样的，因为“解析树”的另一个术语是“具体语法树”。

我发现这个页面，它试图解决这一确切的问题。

Martin Fowler 的DSL书很好地解释了这一点。AST仅包含将用于进一步处理的所有“有用”元素，而解析树包含您解析的原始文档中的所有工件（空格，方括号，...）

取Pascal作业Age：= 42;

语法树看起来就像源代码。在下面，我将括号放在节点周围。[年龄] [：=] [42] [;]

一棵抽象树看起来像这样[=] [年龄] [42]

分配成为一个节点，其中包含2个元素，即Age和42。想法是您可以执行分配。

另请注意，pascal语法消失了。因此有可能使一种以上的语言生成相同的AST。这对于跨语言脚本引擎很有用。

在解析树中，内部节点为非终端，叶子为终端。在语法树中，内部节点是运算符，叶子是操作数。