Syntaxe abstraite

En informatique , la syntaxe abstraite des données est sa structure décrite comme un type de données (éventuellement, mais pas nécessairement, un type de données abstrait ), indépendamment de toute représentation ou codage particulier. Ceci est particulièrement utilisé dans la représentation de texte dans les langages informatiques , qui sont généralement stockés dans une structure arborescente sous forme d' arbre de syntaxe abstraite . La syntaxe abstraite, qui ne comprend que la structure des données, est contrastée avec la syntaxe concrète , qui comprend également des informations sur la représentation. Par exemple, la syntaxe concrète comprend des fonctionnalités telles que les parenthèses (pour le regroupement) ou les virgules (pour les listes), qui ne sont pas incluses dans la syntaxe abstraite, car elles sont implicites dans la structure.

Les syntaxes abstraites sont classées en syntaxe abstraite de premier ordre (FOAS), si la structure est abstraite mais que les noms (identifiants) sont toujours concrets (et nécessitent donc une résolution de nom ), et en syntaxe abstraite d'ordre supérieur , si les noms eux-mêmes sont abstraits.

Pour être implémentée soit pour le calcul soit pour les communications, une correspondance entre la syntaxe abstraite et des représentations et codages de machines spécifiques doit être définie ; on peut les appeler la « syntaxe concrète » (dans l'implémentation du langage) ou la « syntaxe de transfert » (dans les communications).

La représentation interne d'un programme par un compilateur sera généralement spécifiée par une syntaxe abstraite en termes de catégories telles que « instruction », « expression » et « identifiant ». Ceci est indépendant de la syntaxe source ( syntaxe concrète ) du langage en cours de compilation (bien qu'elle soit souvent très similaire). Un arbre d'analyse est similaire à un arbre de syntaxe abstraite mais il contiendra généralement également des fonctionnalités telles que les parenthèses, qui sont syntaxiquement significatives mais qui sont implicites dans la structure de l'arbre de syntaxe abstraite.

Les types de données algébriques sont particulièrement bien adaptés à la mise en œuvre de la syntaxe abstraite.