Classification II Patrice PORTEMANN January 2026 1 Classification ´Etendue des Machines Algorith- miques Ce chapitre propose une classification compl`ete des machines computationnelles, depuis les machines symboliques classiques jusqu’`a la nouvelle classe des Ma- chines Dynamiques Unifi´ees (MDU), dont la Machine No´etique constitue la premi`ere r´ealisation op´erationnelle. L’objectif est de situer pr´ecis´ement la Ma- chine No´etique dans le paysage algorithmique contemporain, en mettant en ´evidence les ruptures conceptuelles et les continuit´es structurelles. 1.1 1. Machines symboliques Les machines symboliques constituent la base de l’informatique th´eorique. Elles manipulent des symboles discrets selon des r`egles d´eterministes ou non-d´eterministes. • Automates finis ; • Machines de Turing ; • Syst`emes de r´e´ecriture ; • Logiques formelles ; • Lambda-calcul. Caract´eristiques principales : • manipulation de symboles ; • absence de dynamique physique ; • absence de structure g´eom´etrique ; • pas de multi-´echelle ; • pas de m´emoire interne ´evolutive. 1 1.2 2. […]