Un langage de programmation qui correspond étroitement à l'ensemble d'instructions d'un ordinateur donné, permet de nommage symbolique des opérations et des adresses et se traduit généralement par une traduction univoque des instructions de programme dans les instructions de la machine.