Présente les méthodes permettant à un ordinateur de comprendre un langage évolué. Traite des idées de base de syntaxe et de sémantique et du langage machine réellement généré.