...est strictement équivalent au programme d'entrée.

...est un des résultats possible pour un programme donné. Il est possible d'avoir plusieurs AST différents résultant du parser pour un même programme  

...contient l'intégralité des informations présentes dans le programme d'entrée.

...est le seul AST possible comme résultat du parser pour ce programme. 

...est sémantiquement équivalent au programme d'entrée.