La première syntaxe contient les éléments essentiels pour la définition des textes :
| [1] | (1) | env ::= ε | trm env |
| (2) | trm ::= def | ref | |
| (3) | def ::= <nom> env rep | |
| (4) | ref ::= <nom> env | |
| (5) | rep ::= ε | atm rep | |
| (6) | atm ::= <string> | use | |
| (7) | use ::= <nom> env |
| (1) | un environnement est une liste de termes |
| (2) | un terme est une définition def ou une référence ref |
| (3) | une définition est : un nom <nom>, un environnement, une représentation |
| (4) | une référence est : un nom <nom>, un environnement |
| (5) | une représentation est une liste d'atomes |
| (6) | un atome est une chaîne de caractères <string> ou une utilisation use |
| (7) | une utilisation est : un nom <nom>, un environnement |