Cours 8 : retour sur le while et indécidabilité de l’arrêt

vendredi 27 novembre 2009, par Pierre

Les deux programmes vus au sujet du while.

/* Declaration de fonctionnalites supplementaires */
#include <stdlib.h> /* pour EXIT_SUCCESS */
#include <stdio.h> /* pour printf() */
/* Declaration des constantes et types utilisateur */
#define N 5
#define FALSE 0
#define TRUE 1
/* Declaration des fonctions utilisateur */
/* Fonction principale */
int main()
{
/* Declaration et initialisation des variables */
int x; /* saisie utilisateur */
double somme = 0;
int n = 0; /* nombre d'elements positifs */
/* mode d'emploi */
printf("Saisir une série d'entiers positifs, entrer un nombre négatif ou nul pour terminer la saisie.");
/* demander un nombre */
printf("Donner le premier nombre\n");
scanf("%d", &x);
/* tant que le nombre saisie est positif */
while (x > 0)
{
/* ajout à la somme */
somme = somme + x;
/* incremente le nombre d'elements positifs */
n = n + 1;
/* demander un nouveau nombre */
printf("Donner le nombre suivant\n");
scanf("%d", &x);
}
if (n > 0) /* il y a des elements */
{
/* calcul de la moyenne */
printf("moyenne des nombres positifs saisis : %g\n", somme / n);
}
else /* pas d'elements */
{
printf("Il n'y a pas d'elements positifs dans la serie saisie\n");
}
/* Valeur fonction */
return EXIT_SUCCESS;
}
/* Definition des fonctions utilisateur */

La preuve de l’indécidabilité de la terminaison des programmes a été présentée à l’aide des transparents en document annexe.

Documents joints