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

/* 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 */

/* 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 t[N]={1,3,4,190,-34};
    int pas_trouve = TRUE;
    int x; /* nombre recherche */
    int i = 0; /* var. de boucle */
 
    /* Demander le nombre recherche a l'utilisateur */
    printf("Donner un nombre entier\n");
    scanf("%d", &x);
 
    /* parcourir le tableau tant qu'une case contenant ce nombre n'est
     * pas trouvée */
    while( (i < N) && pas_trouve )
    {
	if (t[i] == x) /* la case contient x */
	{	    
	    pas_trouve = FALSE;
	}
	i = i + 1;
    }
 
    /* Afficher le resultat de la recherche */
    if (pas_trouve)
    {
	printf("Le nombre %d n'est pas dans le tableau\n", x);
    }
    else
    {
	printf("Le nombre %d est dans le tableau\n", x);
    }
 
    /* Valeur fonction */
    return EXIT_SUCCESS;
}
 
/* Definition des fonctions utilisateur */