Celle que modèle mathématique

, T. e. Un modèle algorithmique plus spécifique (généralement, comme un algorithme écrit en langage algorithmique dépendant de la machine ou orienté machine) -Un Programme dans les codes de machine (sur divers supports) comme spécification maximale (dans cette production) d’une spécification algorithmique (ainsi que bien que celle que modèle mathématique).