Questions et réponses pour le abstract-machine :

Un modèle d'un système informatique (matériel ou logiciel) construit pour permettre une analyse détaillée et précise du fonctionnement du système informatique. Il consiste généralement en une entrée, de la sortie et du jeu d'opérations.