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 en instructions machine.