QCM : Introduction aux Types de Données Abstraits — 20 questions

Explication

Un TDA est une spécification centrée sur ce qu’on peut faire avec le type, sans fixer sa représentation interne. La description du stockage relève plutôt d’une structure de données.

Explication

Un TD est présenté comme un type concret, associé à des valeurs issues d’un domaine défini. Cela le distingue d’un TDA, qui est une spécification d’opérations.

Explication

La démarche suit l’enchaînement compréhension du problème, formalisation en spécification, mise en œuvre de l’algorithme, puis traduction en langage de programmation. La spécification sert de pont entre l’énoncé et l’algorithme.

Explication

La spécification formalise le problème de façon exploitable et sert d’intermédiaire entre l’énoncé et l’algorithme. Elle n’est pas encore le programme exécutable.

Explication

Un algorithme est une suite d’instructions abstraite, indépendante du langage, tandis qu’un programme est cet algorithme traduit dans un langage donné. Les autres propositions inversent ou mélangent les rôles.

Explication

Un algorithme est défini comme une suite d’instructions ordonnées qui réalisent un traitement. Le programme est la version traduite dans un langage de programmation.

Explication

La description fonctionnelle précise les opérations d’un TDA par leurs signatures, avec les ensembles de départ et d’arrivée. La description axiomatique, elle, donne la sémantique.

Explication

La description axiomatique exprime la signification des opérations par des axiomes. Elle ne fixe pas le stockage ni les fichiers d’implémentation.

Explication

Une signature {} → Booléen indique une opération sans entrée qui produit un résultat logique, comme estVide. Le booléen sert ici à tester une propriété.

Explication

Les axiomes de PEANO sont donnés comme un ensemble d’axiomes définissant les entiers naturels et leurs opérations. Ils relèvent de la description axiomatique, pas de la représentation mémoire.

Explication

Un TD simple est primitif : chaque variable ne prend qu’une valeur à la fois dans son domaine. Le tableau et l’enregistrement relèvent au contraire des TD composés.

Explication

Le tableau est cité comme TD composé, car il permet de stocker plusieurs valeurs sous un même nom. Le booléen et l’entier sont des TD simples.

Explication

La création d’un type s’appuie sur une interface abstraite reliée à des réalisations concrètes, avec une séparation nette entre niveau logique et implémentation. Cela permet plusieurs implémentations pour un même type.

Explication

L’utilisateur interagit avec le type via l’interface abstraite, indépendamment de sa réalisation interne. L’implémentation reste cachée.

Explication

L’interface en C correspond aux déclarations, souvent dans un fichier d’en-tête, des types et opérations du TDA. Le code des fonctions se trouve dans l’implémentation.

Explication

L’exemple de pile mentionne init_pile, push, pop et del_pile. Ces opérations constituent l’interface de manipulation de la pile.

Explication

L’indépendance d’implantation consiste à manipuler le TDA uniquement via ses opérations et son interface. Le code utilisateur reste valide même si l’implantation change.

Explication

Les en-têtes définissent l’interface, donc le contrat d’utilisation du TDA. Ils permettent d’utiliser le type sans connaître le code interne.

Explication

Les structures statiques basées sur des tableaux contigus imposent une taille maximale fixée à l’avance. Elles peuvent donc gaspiller de la mémoire si l’espace réservé est trop grand.

Explication

L’allocation dynamique permet de demander et de libérer de la mémoire pendant l’exécution via des pointeurs. Elle répond aux limites des tableaux statiques et aux problèmes de fragmentation.