Conception globale d'un programme

Extrait du chapitre:

 

Dans les chapitres précédents nous nous sommes initiés à la programmation, plus particulièrement à la programmation structurée, à l’aide d’un langage de programmation particulier, à savoir le langage C.

Le jeu d’instructions que nous avons introduit est suffisant pour programmer tout ce qui est programmable. La justification de cette affirmation est du ressort de ce que l’on appelle la théorie de la calculabilité, et plus spécifiquement de la thèse de Church-Turing. Toute nouvelle instruction que nous ajouterons désormais peut être émulée dans le mini langage C tel que nous l’avons défini jusqu’ici ; il suffit de le vérifier au cas par cas, ce que nous ferons de temps en temps. Il est donc temps de faire une pause. Nous allons commencer par réfléchir à la meilleure façon de concevoir les programmes.