On considère alors une machine abstraite qui comprend le LDA et peut effectuer un certain nombre
d'actions.
Ce pseudo-langage doit être indépendant de toute machine (soit de tout langage lié),
compréhensible de tous (=universel) et suivre un ensemble de règles qui définissent :
1. Les objets manipulés (variables, etc...)
2. La façon dont on les manipulent (=opérateurs)
3. La façon dont on écrit les instructions, expressions, affectations
4. La façon dont on communique avec la machine et dont elle communique avec l'utilisateur,
les entrées-sorties
Un processeur est une entité capable de comprendre les opérations élémentaires énoncées et de les
exécuter.
Un processus de calculs (ou calculs) est une exécution d'un algorithme, soit une réalisation
particulière d'un enchaînement d'étapes élémentaires.
Une description finie peut entraîner l'exécution infinie d'étapes élémentaires.
Un programme est indissociable de la machine capable de le décoder, son langage est souvent peu
lisible.
Concepts de base :
I / Objets manipulés :
•Les littéraux : des nombres, des mots,...
exemple : 33, 45.2, " bonjours ", 'c',...
•Les entités nommées : 1 : Constantes = données dont la valeur ne peut pas être modifiée
2 : Variables = données dont la valeur peut être modifiée par
affectation ou par lecture
Tout les objets sont stockés dans la mémoire de l'ordinateur.
Les variables ont : Un nom ou identifiant → écrit en minuscule avec les articulations marquées par
des majuscules. Exemple : nombre, positionElément,...
Une valeur
Un type qui caractérise l'ensemble des valeurs et des opérations possibles.
Les constantes ont : Un nom ou identifiant → écrit en majuscules avec les articulations marquées
par des _. Exemple : PI, TAUX_TVA,...
Une valeur qui ne peut pas être changée et qui est spécifiée à la déclaration
(=début de l'algorithme).
II / Types :
Domaine = ensemble de valeurs
Type = Domaine + ensemble d'opérations applicables sur ces valeurs
exemple : « entier » désigne l'ensemble des entiers relatifs Z (presque), muni d'opérations
arithmétiques usuelles (+, -, *, etc...). A chaque variable on doit associer un type qu'on ne pourra
plus changer.