Définition 2.1. Un type abstrait est un triplet composé :Les types abstrait de bases de l'algorithmique sont :
- d'un nom,
- d'un ensemble de valeurs,
- d'un ensemble d'opérations définies sur ces valeurs.
Définition 2.2. Une variable est un triplet composéOn écrit en EXALGO
- d'un type (déjà défini),
- d'un nom (a priori toute chaîne alphanumérique),
- d'une valeur.
var NomDeVariable: Type;
Type est à prendre pour l'instant dans l'ensemble {entier,car,booléen,réél}
Définition 2.3. Les Expressions sont constituées à l'aide de variables déjà déclarées, de valeurs, de parenthèses et d'opérateurs du (des)type(s) des variables concernées.
Définition 2.4. L'affectation est l'instruction qui permet de stocker une valeur dans une variable.On écrit
NomDeVariable=ExressionDuTypeDeLaVariable;
Toute variable doit être déclarée et recevoir une valeur initiale.



début
instruction1
instruction2
.............
fin
si ExpressionBooléenne alors
BlocInstruction1
sinon
BlocInstruction2
finsi;
selon que
cas cas1 : BlocInstruction1
cas cas2 : BlocInstruction2
.............
autrement : BlocInstruction
finselonque
tant queExpressionBooléenne faire
BlocInstruction
fintantque;
pour VariableIndicatrice
allant de ValeurInitiale à ValeurFinale
par pas de ValeurPas faire
BlocInstruction
finpour;
répéter
BlocInstruction
jusqu'à ExpressionBooléenne finrépéter;
fonction NomDeFonction (ListeParamètres):TypeRésultat;
//déclarations des variables ou fonctions locales autres que les paramètres
début
// partie instruction qui contient l'appel à retourne
fin
finFonction
fonction exemple(val n:entier;ref m: entier):vide;
début
n=5;
m=7;
fin
finFonction
Supposons que l'on ait la séquence suivante :
Après éxécution p contiendra 1 et q contiendra 7 (Animation ici).var p,q:entier; début p=1; q=2; exemple(p,q); fin