Linguagem de programação de alto nível é como se chama, na Ciência da Computação de linguagens de programação, uma linguagem com um nível de abstração relativamente elevado, longe do código de máquina e mais próximo à linguagem humana. Desse modo, as linguagens de alto nível não estão diretamente relacionadas à arquitetura do computador. O programador de uma linguagem de alto nível não precisa conhecer características do processador, como instruções e registradores. Essas características são abstraídas na linguagem de alto nível.
Por se tratar de uma classificação subjetiva, isto é, sem limites bem definidos, não é possível afirmar que "uma determinada linguagem de programação pode ser mais humana que a outra". Apesar disso, por questão de praticabilidade e objetividade, a classificação geralmente se limita em "linguagem de alto nível" e "linguagem de baixo nível".

Fonte: Wikipedia Brasil


É possível fazer uma analogia da metalinguagem aninhada e incorporada com um algoritmo de computador  (alto nível) precisa ser interpretado numa linguagem que a máquina "compreenda" (baixo nível).
Incorporada pois em uma linguagem orientada a objetos, como na língua portuguesa são feitas atribuições adjetivas, nesse tipo de programação são atribuídas propriedades e características de um objeto. E aninhadas pois um código é compilado a partir de informações contidas em uma linguagem de alto nível necessitam ser "traduzidas" para gerar uma série de códigos, ou seja, a partir de uma simples instrução, para a linguagem de baixo nível de abstração (Assembly e códigos binários).

Por: Marcos Godoy