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