Syntaxe et Semantique Flashcards
Backus-Naur Form
ensemble de catégories et de productions avec une catégorie désignée catégorie de départ
Categorie
nom d’un type de fragment de phrase
Production
regle de la forme
<cat> ::= x1 x2 . . . xn
où <cat> est une catégorie et x
est une catégorie ou un symbole
</cat></cat>
une grammaire G est ambigüe ssi…
il existe une phrase dans L(G)
qui a plusieurs arbres de derivation (pas juste plusieurs derivations)
Une implantation fidèle à la spécification est dite ______
conforme
Sucre syntaxique
Extension syntaxique superficielle
Syntaxe
representation du programme
Semantique
sens attache aux programmes
Typage dynamique
N’importe quelle variable peut contenir n’importe quelle valeur
Typage statique
Une variable ne peut contenir que des valeurs du type specifie
Dans une expression e on dit qu’une variable x est libre si…
elle est utilisee sans etre definie par e.
La portee et dite statique ou lexicale si…
elle est delimitee textuellement
La portee d’une declaration:
le region du programme ou l’identificateur refere a cette declaration
CBV
evaluer les arguments avant l’appel
CBN
evaluer les arguments apres l’appel
La portee est dite dynamique si…
elle est delimitee temporellement
En portée dynamique, le _______ n’existe pas
currying
Renommer une variable ne change pas la semantique pour autant que…
la declaration et toutes les references sont renommees ensemble
