BROUILLON
4TABLE DES MATI `
ERES
3.2 Une petite discussion de cosm´etique . . . . . . . . . . . . . . . . 31
3.2.1 Notre ´ecriture des algorithmes . . . . . . . . . . . . . . . 31
3.2.2 Etats ´el´em´entaires . . . . . . . . . . . . . . . . . . . . . . 32
3.3 Notes bibliographiques . . . . . . . . . . . . . . . . . . . . . . . . 34
4 Qu’est-ce qu’un algorithme ? 35
4.1 Introduction.............................. 35
4.2 Premierpostulat ........................... 35
4.3 Secondpostulat............................ 36
4.4 Structures vs m´emoire . . . . . . . . . . . . . . . . . . . . . . . . 37
4.5 Mises`ajour.............................. 37
4.6 Troisi`emeposulat........................... 38
4.7 D´efinition formelle d’un d’algorithme . . . . . . . . . . . . . . . . 39
4.8 Une forme normale pour les algorithmes . . . . . . . . . . . . . . 39
4.8.1 Termes critiques . . . . . . . . . . . . . . . . . . . . . . . 39
4.8.2 Affectation .......................... 40
4.8.3 Mise en parall`ele . . . . . . . . . . . . . . . . . . . . . . . 40
4.8.4 Construction si . . .alors . . . . . . . . . . . . . . . . . . . 41
4.8.5 Formenormale ........................ 41
4.9 Notes bibliographiques . . . . . . . . . . . . . . . . . . . . . . . . 43
5 Quelques mod`eles, et leur ´equivalence 45
5.1 MachinesdeTuring ......................... 45
5.1.1 Description .......................... 45
5.1.2 Formalisation......................... 46
5.1.3 Une machine de Turing est un algorithme . . . . . . . . . 47
5.2 Machines de Turing sur une structure M.............. 48
5.2.1 Description .......................... 48
5.2.2 Formalisation......................... 49
5.2.3 Une machine de Turing sur une structure Mest un algo-
rithme............................. 50
5.2.4 Machines de Turing vs Machines de Turing . . . . . . . . 51
5.3 Machines RAM sur une structure M................ 51
5.3.1 D´efinition........................... 51
5.3.2 Equivalence avec les machines de Turing . . . . . . . . . . 51
5.4 Equivalence entre algorithmes et machines de Turing . . . . . . . 52
5.5 Automates `a k≥2 piles sur une structure M........... 52
5.5.1 D´efinitions .......................... 52
5.5.2 Equivalence avec les machines de Turing . . . . . . . . . . 52
5.6 Automates `a compteurs . . . . . . . . . . . . . . . . . . . . . . . 52
5.6.1 D´efinitions .......................... 52
5.6.2 Equivalence avec les machines de Turing . . . . . . . . . . 52
5.7 Fonctions r´ecursives `a la Kleene . . . . . . . . . . . . . . . . . . . 53
5.8 Notes bibliographique . . . . . . . . . . . . . . . . . . . . . . . . 53