Un linguaggio di programmazione che corrisponde al set di istruzioni di un determinato computer, permette la denominazione simbolica delle operazioni e indirizzi e di solito si traduce in una traduzione univoca delle istruzioni del programma in istruzioni macchina.