L'interprete di una macchina astratta esegue delle operazioni comuni a tutti gli interpreti

L'interprete di una macchina astratta \( \mathcal{M_L} \) è il componente che esegue i programmi scritti nel linguaggio di programmazione \( \mathcal{L} \).

L'interprete deve gestire le operazioni e le strutture dati tipiche di \( \mathcal{L} \).

Le strutture dati e le operazioni dei vari linguaggi di programmazione presentano di solito delle differenze.

Ne esisono però quattro tipi che, generalmente, sono comuni a tutti i linguaggi. Esse sono:

• operazioni svolte sui tipi di dato primitivi
• strutture dati e operazioni per il controllo di sequenza del flusso di esecuzione del programma
• strutture dati e operazioni per il trasferimento dei dati dalla memoria all'interprete e viceversa
• strutture dati e operazioni per la gestione della memoria

Di solito anche il flusso di esecuzione del programma è identico.