Machines abstraites

 

Exemple de machine abstraite  :  Machine-caractères

 

      LIRECAR ( M, C) : Récupérer dans la variable caractère C  le prochain caractère de la machine M.

      NBRCAR(M) : Fournir le nombre total de caractères dans la machine M.