l'ensemble de programmes corrects de façon syntaxique dans un langage de programmation donné -LRB- dont la syntaxe est habituellement définie par une grammaire sans contexte -RRB- ;
l'ensemble de programmes syntaxiquement corrects dans un langage de programmation donné ; ou