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
Supposons que l'on ait la séquence suivante :fonction exemple(val n:entier;ref m: entier):vide; début n=5; m=7; fin finFonction
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