Quelle est la différence entre un Arbre de Syntaxe Abstraite et Concrète d'un Arbre de Syntaxe?

Un béton arbre de syntaxe correspond à ce que les règles de grammaire, la syntaxe. Le but de la arbre de syntaxe abstraite est d'avoir un "simple" représentation de ce qui est essentiel dans "l'arbre de syntaxe".

Une valeur réelle de l'AST à mon humble avis est qu'il est petits de la CST, et prend donc moins de temps à traiter. (Pourrait-on dire, qui s'en soucie? Mais je travaille avec un outil où nous avons
des dizaines de millions de nœuds de vivre à la fois!).

Plus parser les producteurs qui ont tout le soutien pour la construction de l'arbre de syntaxe insister pour que vous personnellement spécifier exactement la façon dont ils sont construits sous l'hypothèse que vos nœuds de l'arborescence sera plus "simple" que le CST (et en cela, ils sont généralement droit, que les programmeurs sont assez paresseux). Sans doute, cela signifie que vous avez le code moins d'arbre visiteur fonctions, et c'est précieux, aussi, en ce qu'elle réduit l'ingénierie de l'énergie. Lorsque vous avez 3500 règles (par exemple, pour COBOL) cette matière. Et ce "simple"ness conduit à la bonne propriété de "petitesse".

Mais d'avoir de tels ASTs crée un problème qui n'existait pas: il ne correspond pas à la grammaire, et maintenant vous devez mentalement piste de deux d'entre eux. Et quand il y a 1500 AST nœuds pour un 3500 règle de grammaire, cela compte beaucoup. Et si la grammaire évolue (ils le font toujours!), maintenant, vous avez deux ensembles géants de choses à garder en synchronisation.

Une autre solution est de laisser l'analyseur, il suffit de construire CST nœuds pour vous et il suffit d'utiliser ceux-ci. C'est un énorme avantage lors de la construction des grammaires: "il n'y a pas besoin d'inventer de 1500 spécial AST nœuds de modèle 3500 règles de grammaire. Il suffit de penser à l'arbre étant isomorphe à la grammaire. Du point de vue de la grammaire ingénieur, il est complètement sans cervelle, qui lui permet de se concentrer sur la grammaire droit et le piratage dans son cœur. Sans doute vous avez à écrire plus de nœud visiteur règles, mais qui peut être géré. Plus sur cela plus tard.

Ce que nous faisons avec le Logiciel DMS de Réingénierie, Trousse à outils est de construire automatiquement un CST sur la base des résultats de (GLR) analyse des processus. DMS puis construit automatiquement un "comprimé" CST pour l'espace des raisons d'efficacité, en éliminant les non-valeur comptable des terminaux (mots-clés, punctation), sémantiquement inutile unaire productions, et de faire des listes pour règle de grammaire paires liste comme:

    L = e ;
    L = L e ;
    L2 = e2 ;
    L2 = L2  ','  e2 ;

et une grande variété de variations de ces formes. Vous pensez en termes de règles de grammaire et le virtuel CST; l'outil fonctionne sur la représentation compressée. Facile sur votre cerveau, plus rapide/plus petit au moment de l'exécution.

Remarquablement, le comprimé CST construit de cette façon, ressemble beaucoup à un AST que vous pourriez avoir conçu à la main (voir le lien à la fin pour des exemples). En particulier, le comprimé CST ne pas le porter tous les nœuds qui sont juste syntaxe concrète.
Il existe quelques morceaux de maladresse: par exemple, alors que le béton nœuds '(' et ')' classiquement trouvé dans l'expression subgrammars ne sont pas dans l'arbre, un "entre parenthèses nœud" ne apparaissent dans le comprimé de la CST, et doit être traitée. Un vrai AST n'aurait pas cette. Cela semble être une très petit prix à payer pour la commodité de ne pas avoir à spécifier la construction AST, jamais. Et la documentation de l'arbre est toujours disponible et à corriger: la grammaire est la documentation.

Comment pouvons-nous éviter les "extra" visiteurs"? Nous n'avons pas entièrement, mais DMS fournit un AST de la bibliothèque, qui guide l'AST et gère les différences entre le CST et l'AST de manière transparente. DMS propose également un attribut "grammaire" de l'évaluateur (l'ÂGE), qui est une méthode de transmission de valeurs calculées à un des nœuds vers le haut et vers le bas de l'arbre; l'ÂGE gère l'ensemble de la représentation arborescente des questions et ainsi de l'outil ingénieur ne se soucie que de l'écriture des calculs de manière efficace directement sur les règles de grammaire eux-mêmes. Enfin, DMS prévoit également "la surface de la syntaxe" des motifs, ce qui permet à des fragments de code de la grammaire utilisée pour trouver des types spécifiques de sous-arbres, sans le savoir la plupart des types de nœuds impliqués.

L'une des autres réponses observe que si vous voulez construire des outils qui peut se régénérer à la source, votre AST devra correspondre à la CST. Ce n'est pas vraiment le droit, mais il est beaucoup plus facile pour régénérer la source si vous avez CST nœuds. DMS génère plus de la prettyprinter automatiquement parce qu'il a accès à la fois :- }

Ligne du bas: ASTs sont bonnes pour les petits, à la fois phyiscal et conceptuel. Automatisé de construction AST à partir de la CST fournit à la fois, et vous permet d'éviter le problème de suivi de deux ensembles différents.

MODIFIER Mars 2015: Lien vers des exemples de la CST et de "AST" construites de cette façon

Ceci est basé sur la Évaluateur D'Expression de grammaire, de Terrence Parr.

La grammaire pour cet exemple:

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(); } ;

Entrée

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

Arbre D'Analyse

L'arbre d'analyse est une représentation concrète de l'entrée. L'arbre d'analyse conserve toutes les informations de l'entrée. Les cases vides représentent les espaces, c'est à dire la fin de la ligne.

AST

L'AST est une représentation abstraite de l'entrée. Notez que les parenthèses ne sont pas présents dans l'AST parce que les associations sont dérivables à partir de la structure de l'arbre.

MODIFIER

Pour un plus au travers d'explications voir Les compilateurs et le Compilateur Générateurs pg. 23

La syntaxe concrète de l'arbre contient toutes les informations comme superflu parenthèses et les espaces et les commentaires, l'arbre de syntaxe abstraite des résumés à l'écart de cette information.

 

NB: assez drôle, quand vous mettez en place un refactoring du moteur de votre AST sera de nouveau contiennent toutes les informations concrètes, mais vous allez garder la référence à elle comme un AST parce que c'est devenu la norme terme dans le domaine (donc on pourrait dire qu'il a depuis longtemps perdu son sens originel).

Simplement, de l'AST ne contient que de la sémantique du code, arbre d'analyse/CST comprend également des informations sur la façon précise dont le code a été écrit.