Dissipation logique des implémentations d'automates — dissipation du calcul

Philippe Matherat (1) , Marc-Thierry Jaekel (2)

1 LIENS - Laboratoire d'informatique de l'école normale supérieure
2 LPTENS - Laboratoire de Physique Théorique de l'ENS [École Normale Supérieure]

La discussion de principe de la dissipation d'énergie par les ordinateurs révèle les contraintes qu'impose la logique sur les systèmes physiques devant remplir une fonction logique. Nous sommes amenés à définir une notion de dissipation logique pour un automate fini. Nous discutons les contraintes associées à l'implémentation physique et exhibons le rôle joué par la modularité dans la testabilité. Il en résulte que les machines à calculer concrètes, qui sont nécessairement modulaires, dissipent proportionnellement au temps de calcul.

Mots clés: Implémentation physique d'automate; démon de Maxwell; graphe d'automate et modularité; machine de Turing; dissipation du calcul.; dissipation du calcul

Domaines: Architectures Matérielles [cs.AR]

Philippe Matherat, Marc-Thierry Jaekel. Dissipation logique des implémentations d'automates — dissipation du calcul. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1996, 15 (8), p. 1079 à 1104. ⟨hal-00180863⟩