La v´erification du fait qu’un programme est syntaxiquement correct par
rapport `a la grammaire partielle donn´ee plus haut peut ˆetre r´ealis´ee par un
programme appel´e analyseur syntaxique. Un tel analyseur, cependant, ne
se contente pas en g´en´eral de v´erifier la correction syntaxique du programme
analys´e : il produit aussi `a partir de ce programme une repr´esentation interm
´ediaire qui va ˆetre utilis´ee pour des traitements `a effectuer sur le programme
(typage, compilation, etc.). C’est cette repr´esentatiom qu’on appelle
syntaxe abstraite du programme.
source : Université Denis Diderot
rapport `a la grammaire partielle donn´ee plus haut peut ˆetre r´ealis´ee par un
programme appel´e analyseur syntaxique. Un tel analyseur, cependant, ne
se contente pas en g´en´eral de v´erifier la correction syntaxique du programme
analys´e : il produit aussi `a partir de ce programme une repr´esentation interm
´ediaire qui va ˆetre utilis´ee pour des traitements `a effectuer sur le programme
(typage, compilation, etc.). C’est cette repr´esentatiom qu’on appelle
syntaxe abstraite du programme.
source : Université Denis Diderot
ليست هناك تعليقات:
إرسال تعليق