Ce logiciel a pour but d'expliciter le processus par lequel un interpréteur permet l'exécution de phrases (ou si l'on préfère de formules) complexes. Pour cela, il faut décomposer cette machine qu'est un interpréteur en plusieurs parties. Pour l'instant nous distinguerons deux parties dans notre interpréteur (plus tard nous affinerons notre analyse).