Analyse avec monia

premier : exécutable obtenu avec gcc

premier.c :  code source du code premier  pour obtenir si un nombre est premier.

premier.xmo : fichier d'analyse  réalisé avec Monia

premier.pl :  fichier Pseudo Langage génèré avec Monia.

README:  Fichier décrivant le projet C

Fichier README du projet :

# Projet en Langage C : Vérification de Nombres Premiers

Ce projet implémente un programme en langage C permettant de tester si un nombre donné est un nombre premier. 

Un **nombre premier** est un entier naturel supérieur à 1 qui n'est divisible que par 1 et lui-même. Bien que ce test puisse être réalisé manuellement en effectuant des divisions successives, il devient rapidement fastidieux pour des nombres élevés. C'est ici que l'ordinateur devient particulièrement utile : il peut effectuer ce travail répétitif de manière rapide et efficace.

## Fonctionnalités

- Vérifie si un nombre donné est premier.

- Permet d'entrer un nombre directement via la ligne de commande.

## Compilation

Pour compiler le programme, utilisez la commande suivante :

```bash

gcc premier.c -o premier -g

algorigramme  proposé:

# ----------------------------------------------------------------------------

# Nom         : premier.pl

# Sujet       : 

# Version     : 0.1

#

# Auteur      : BoGt

# Création    : 14/01/2025

# Mise à jour : 14/01/2025

# ----------------------------------------------------------------------------

# source généré par MoniaOrg version 0.38

Programme premier ;

##FORWARDCOMMENT##

VAR nombre : entier ; # passé en paramètre

cpt : entier ; # entier pouvant aller jusqu'au paramètre

estpremier : entier ; # 0 ou 1

DEBUTPROG

nombre passé en paramètre doit être strictement positif ;

estpremier=1 ;

compteur=2 ;

TANT QUE ( ((cpt*cpt) <= nombre) && estPremier ) FAIRE

SI ( nombre%cpt = 0 ) ALORS

estpremier=0 ;

FINSI

cpt=cpt+1 ;

FINTQ

SI ( estpremier ) ALORS

afficher premier ;

SINON

afficher non premier ;

FINSI

FINPROG

Source C: premier.c

Solution plus rapide avec l'aide des mathématiques (prof) 

cpt <= racine carré (nombre)  , moins d'opèrations.