Uma linguagem de programação que expresse operações e endereços em símbolos convenientes para os seres humanos em vez de linguagem de máquina. Exemplos são a linguagem assembly, linguagem de alta ordem.