Un lenguaje de programación que expresa las operaciones y direcciones en símbolos convenientes a los seres humanos y no en lenguaje máquina. Son ejemplos de lenguaje ensamblador, lenguaje de alto orden.